Course Listings

all > UGRD > CS > CS 420

An Introduction to the Theory of Computation

Course #: CS 420

Description:
This course introduces such theoretical aspects of computing as models of computation, inherent limits on computation, and feasible computation. Topics include definition of computable functions (recursive functions, functions computable by Turing machines, functions computable in a programming language), unsolvability of the halting problem and related problems, the classes P and NP, finite automata, and context-free grammars.

Pre Requisites: Pre-requisite: CS 220 (grade of C- or better)

Offered in:

2025 Fall

Section Class Number Schedule/Time Instructor Location
01 1429 MW
4:00 - 5:15 pm
De Blois,Jane Wheatley-Peters W01-0005
Session: Regular
Class Dates: 09/02/2025 - 12/12/2025
Capacity: 50
Enrolled: 50
Status: Closed
Credits: 3/3
Class Notes:
Pre Requisites: Pre-requisite: CS 220 (grade of C- or better)
Course Attributes:
02 3573 MW
2:30 - 3:45 pm
Chang,Stephen Wheatley-Peters W01-0005
Session: Regular
Class Dates: 09/02/2025 - 12/12/2025
Capacity: 50
Enrolled: 50
Status: Closed
Credits: 3/3
Class Notes:
Pre Requisites: Pre-requisite: CS 220 (grade of C- or better)
Course Attributes:

2025 Spring

Section Class Number Schedule/Time Instructor Location
01 6611 MW
4:00 - 5:15 pm
Sepahyar,Soheil Wheatley-Peters W01-0034
Session: Regular
Class Dates: 01/27/2025 - 05/14/2025
Capacity: 40
Enrolled: 42
Status: Closed
Credits: 3/3
Class Notes:
Pre Requisites: Pre-requisite: CS 220 (grade of C- or better)
Course Attributes:
02 14457 TuTh
11:00 - 12:15 pm
Soares Cogumbreiro Garcia,Tiago Wheatley-Peters W04-0138
Session: Regular
Class Dates: 01/27/2025 - 05/14/2025
Capacity: 20
Enrolled: 20
Status: Closed
Credits: 3/3
Class Notes:
Pre Requisites: Pre-requisite: CS 220 (grade of C- or better)
Course Attributes:
03 9898 TuTh
4:00 - 5:15 pm
Sepahyar,Soheil University Hall Y04-4120
Session: Regular
Class Dates: 01/27/2025 - 05/14/2025
Capacity: 24
Enrolled: 25
Status: Closed
Credits: 3/3
Class Notes:
Pre Requisites: Pre-requisite: CS 220 (grade of C- or better)
Course Attributes: