Courses: Theory of Computation (MATHH345B01)

Spring 2014

Introduction to the mathematical foundations of computer science: finite state automata, formal languages and grammars, Turing machines, computability, unsolvability, and computational complexity. Class will have a single lab session on Fridays from 11:30 to 1:00. Attendance required.

Prerequisites: CMSC/MATH 231. Lottery pref by Class: Srs, Jrs, Sophs, Frosh

Fulfills: NA Limit:24


Haverford, Shrp 412

Meeting Times

MW 11:30-1:00