Theoretical Foundations

Semester: 
Spring
Year: 
2013
Subject Name: 

Computer Science

Course Number: 
401
Institution: 
Amherst College

This course covers basic mathematical concepts that are essential in computer science, and then uses them to teach the theory of formal languages and machine models of languages. The notion of computability will be introduced in order to discuss undecidable problems. The topics covered include: regular, context-free and context-sensitive languages, finite state automata, Turing machines, decidability, and computational complexity. Offered in alternate years.

Requisite: None, although analytical aptitude is essential. Spring semester.  Professor L. McGeoch.

Linked Course: 
N
Instructor Permission Required: 
N
Schedule #: 
COSC-401-01-1213S

Course Sections

Theoretical Foundations
Sect # Credits Instructor(s) Instructor Email Meeting Times Location
01 4.0

Lyle McGeoch

lamcgeoch@amherst.edu

MWF 10:00AM-10:50AM

SMUD 006