CSCI 4602
Automata and Formal Languages
Fall 2021


Last modified: 7/7/2021

Contents

  1. Announcements
  2. Syllabus
  3. Office hours
  4. Notes
  5. Exam dates
  6. Practice quizzes

Announcements

Syllabus

This is a course on the theory of computing. See the syllabus, which includes the following sections.

  1. Prerequisites
  2. Course objectives and outline
  3. Student competencies
  4. Office hours
  5. Grading
  6. Quizzes
  7. Final exam
  8. Practice quizzes
  9. Recommendations for success
  10. Students with disabilities
  11. Weather emergencies
  12. Student conduct

Office hours

MW 1:00–1:50pm
MW 3:00–3:50pm
or by appointment

Class notes

This class is taught from class notes rather than a textbook on the theory of computing. Proofs: A Long-Form Mathematics Textbook, by Jay Cummings, is a auxiliary text that is intended to help with proofs.

Exam dates

Quiz 1 Friday, September 24
Quiz 2 Wednesday, October 27
Quiz 3 Wedn0esday, December 1
Final exam Friday, December 10 2:00-4:30

Practice quizzes

Complete each practice quiz and bring it to class on the due date. We will go over the practice quiz. Research has shown that you will learn much more if you try to answer the questions before you see them solved for you than if you only see them solved. Try it!

Practice quiz Due
Practice quiz 1 Monday, September 20
Practice quiz 2 Friday, October 22
Practice quiz 2, part (b)
Practice quiz 3 Friday, November 19