Department of Computer Science
The George Washington University
801 22nd Street NW, Suite 704
Washington DC 20052
Voice: (202) 994-7181
Fax: (202) 994-4875
E-mail: cs@gwu.edu

CSci 220 - Theory of Computation

Narahari and Staff

Credits: 3

Theoretical foundations of computer science. Formal languages and automata; Regular languages, context-free languages, parsing; Turing machines and computability; Partial Recursive functions; Undecidability; Program Correctness; Fixed-point theory; Formal specification of software. Prerequisite: CSci 210, 212 (Spring).