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:
2024 Fall
| Section | Class Number | Schedule/Time | Instructor | Location | |
|---|---|---|---|---|---|
| 01 | 1444 | TuTh 4:00 - 5:15 pm |
Sepahyar,Soheil | Wheatley W01-0005 | |
|
Session:
Regular
Class Dates:
09/03/2024 - 12/13/2024
Capacity:
50
Enrolled:
48
Status:
Open
Credits:
3/3
Class Notes:
Pre Requisites:
Pre-requisite: CS 220 (grade of C- or better)
Course Attributes:
|
|||||
| 02 | 3790 | TuTh 11:00 - 12:15 pm |
Sepahyar,Soheil | McCormack M02-0404 | |
|
Session:
Regular
Class Dates:
09/03/2024 - 12/13/2024
Capacity:
50
Enrolled:
51
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 W01-0034 | |
|
Session:
Regular
Class Dates:
01/27/2025 - 05/14/2025
Capacity:
40
Enrolled:
0
Status:
Open
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 Y03-3380 | |
|
Session:
Regular
Class Dates:
01/27/2025 - 05/14/2025
Capacity:
20
Enrolled:
0
Status:
Open
Credits:
3/3
Class Notes:
Pre Requisites:
Pre-requisite: CS 220 (grade of C- or better)
Course Attributes:
|
|||||