CCR

Search

Find a course or a school.

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

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.