CSE 350: Theory of Computation: Honors 

Fall 2024

Class Meetings

Lectures: Monday Wednesday 3:30PM - 4:50PM 

Recitation: Wednesday 5:00PM - 5:55PM

Location: FREY HALL 201 WEST CAMPUS (map)

Office Hour & Location: Wednesday 1:30PM - 3:30PM at NCS 151  or online (https://meet.google.com/fiv-qito-jhr)

Instructor: Supartha Podder (supartha@cs.stonybrook.edu)

Teaching Assistant(s): TBD

Piazza: https://piazza.com/stonybrook/fall2024/cse350/home

Course Description


Introduces the abstract notions of machine computation for honors students. Includes finite automata, regular expressions, and formal languages, with emphasis on regular and context-free grammars. Explores what can and cannot be computed by considering various models of computation including Turing machines, recursive functions, and universal machines.

Course Outcome:

Tentative Lesson Plan (Sipser's book):


CSE150 or CSE215; AMS 210 or MAT 211; Computer Science Honors Program or Honors College or the WISE Honors program or University Scholar.



The grading will be based on the following criteria: 

Midterm Exam: 40% 

Final Exam: 50% 

Scribe: 10% 

Surprise class test: Bonus 10% 

Class Policies

Each student must pursue his or her academic goals honestly and be personally accountable for all submitted work. Representing another person's work as your own is always wrong. Faculty is required to report any suspected instances of academic dishonesty to the Academic Judiciary. Faculty in the Health Sciences Center (School of Health Technology & Management, Nursing, Social Welfare, Dental Medicine) and School of Medicine are required to follow their school-specific procedures. For more comprehensive information on academic integrity, including categories of academic dishonesty please refer to the academic judiciary website at http://www.stonybrook.edu/commcms/academic_integrity/index.html

CSE 350 Fall 2024