
Introduction to the Theory of Computation
CSE-396LR-S1
University at Buffalo
- Semester
- Summer 2025
- Instructor
- Mostafa Mohammed
- Start Date
- 05-27-2025
- Total Credits
- 4
- Call to Register
- 716-645-5698
Take your class online with SUNY
You will learn the same curriculum as our on-campus students
Covers machine models and formal specifications of the classes of computational problems they can solve. The central concepts are the Turing machine and the classes of decidable and computably enumerable languages. The Halting Problem and other natural problems are shown to be undecidable by Turing machines, implying that they are undecidable by high-level programming languages or any other known computational model. Finite automata, which are Turing machines without external memory, are shown to correspond to the class of regular languages. The course also covers regular expressions, time and space complexity of Turing machines, reducibility between problems, and NP-completeness. Category: Theory.
Prerequisites:
CSE 191 or MTH311 and CSE 250, and MTH142 or MTH 139.
Computer Science, Computer Engineering, or Bioinformatics majors only. Students must complete a mandatory advisement session with their faculty advisor.
Course Area: Computer Science
Level: Upper Level Undergraduate
Dates: 05-27-2025 - 07-07-2025
- Find books for your online class
- Instructor: Mostafa Mohammed
- Local Course ID: 25SU_BUF_CSE396_RECS1
- Books & Supplies
-
How to Register for an Online Course
Let's put your mind at ease about online learning
-
- Search
- Search for an online course by keyword, semester, campus, area, or a combination of each.
-
- Select Course
- Select a course from the results list that fits your needs.
-
- Visit College Website
- Click “register now” to visit the college website to register as a “non-credit” or “non-matriculated” student if you are not enrolled at the campus.
-
- Contact Registrar
- Contact the registrar’s office or enrollment office to register for the course. Make sure you have the course name and course ID when you register.
-
- Transfer Credits
- If you plan to transfer credit for the course, make sure you have reviewed the course with the advisor at your current college to ensure the credits will transfer to your degree program.
-
- Locate Course Materials
- Once you register for the course, visit the campus bookstore to find the books and materials for the course. You will need the course ID to find the books.