Academics

Course Catalog

UGRD > CS > 420

An Introduction to the Theory of Computation

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.

Offered in:

2015 Fall

Section Class Number Schedule/Time Instructor Location
01 1537 MW
05:30 PM - 06:45 PM
Fejer,Peter A M03-0430
Session: Regular Academic Session
Class Dates: 09/08/2015 - 12/14/2015
Capacity: 50
Enrolled: 50
Status: Closed
Credits: 3/3
Class Notes:
Pre Requisites: Pre-req = CS 320L
Course Attributes:
02 16443 MW
07:00 PM - 08:15 PM
Tran,Duc M01-0213
Session: Regular Academic Session
Class Dates: 09/08/2015 - 12/14/2015
Capacity: 35
Enrolled: 25
Status: Open
Credits: 3/3
Class Notes:
Pre Requisites: Pre-req = CS 320L
Course Attributes:

2016 Fall

Section Class Number Schedule/Time Instructor Location
01 1482 TuTh
04:00 PM - 05:15 PM
Tran,Duc M03-0617
Session: Regular Academic Session
Class Dates: 09/06/2016 - 12/14/2016
Capacity: 42
Enrolled: 21
Status: Open
Credits: 3/3
Class Notes:
Pre Requisites: Pre-req = CS 320L
Course Attributes:
02 5014 TuTh
02:00 PM - 03:15 PM
Tran,Duc M01-0209
Session: Regular Academic Session
Class Dates: 09/06/2016 - 12/14/2016
Capacity: 45
Enrolled: 28
Status: Open
Credits: 3/3
Class Notes:
Pre Requisites: Pre-req = CS 320L
Course Attributes:

2016 Spring

Section Class Number Schedule/Time Instructor Location
01 1545 MW
04:00 PM - 05:15 PM
Fejer,Peter A W01-0005
Session: Regular Academic Session
Class Dates: 01/25/2016 - 05/11/2016
Capacity: 57
Enrolled: 51
Status: Open
Credits: 3/3
Class Notes:
Pre Requisites: Pre-req = CS 320L
Course Attributes: