CSE 4913 creditsPrereq: Pre-Requisite: CSE 331 and MTH 309 . Computer Science, Computer Engineering, Electrical Engineering, or Bioinformatics majors only
CSE 491: Introduction to the Theory of Computation
3 public student ratings, updated Oct 2026 · no written reviews yet
Undergrad registration for Spring 2027 at UB opens Mon, Nov 2. Registrar dates
From 3 public student ratings
Ratings are mixed. It's demanding.
No written reviews yet. Yours would be the first.
Took CSE 491? How hard was it?
1 is easy, 5 is hard. Anonymous, no account.
Difficulty
What we know
- From the catalog
- This course covers standard machine models and formal specifications of the classes of computational problems they can solve. The central concepts are the Turing machine, the classes of decidable and computably enumerable languages, and subclasses of decidable problems ranked according to complexity. 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. Major topics include time and space complexity of Turing machines, reducibility between problems, NP-completeness, and completeness for other classes. Models of probabilistic computation and quantum computation are also explored.
- Ratings across the web
- 2.6 out of 5 stars2.6from 3 ratings
- Department
- Computer Science and Engineering
Written reviews
No written reviews of CSE 491 yet
Took it? Add yours when you have a couple of minutes. Anonymous, no account, no email.
Professors who have taught CSE 491
- Ken Regan
Questions students ask
Classes next to CSE 491
CSE courses at UB with the closest numbers
- CSE 486Distributed Systems3.4 out of 5 stars3.4· difficulty 84/100· 15 ratings
- CSE 487Data Intensive Computing3.0 out of 5 stars3.0· difficulty 65/100· 4 ratings
- CSE 489Modern Networking Concepts4.0 out of 5 stars4.0· difficulty 76/100· 16 ratings
- CSE 490Computer Architecture3.0 out of 5 stars3.0· difficulty 69/100· 9 ratings
- CSE 491Introduction to the Theory of ComputationThis class
- CSE 493Introduction to VLSI Electronics1.5 out of 5 stars1.5· difficulty 84/100· 14 ratings
- CSE 502Grad Studies in CS 22.6 out of 5 stars2.6· difficulty 56/100· 5 ratings
More Computer Science and Engineering at UB
- CSE 115Introduction to Computer Science I
- CSE 250Data Structures
- CSE 116Introduction to Computer Science II