RIT Computer Science

Introduction to CS Theory
VCSS 380
Spring 2009

Instructor - Stanislaw Radziszowski

office 70-3657
(585) 475-5193, spr@cs.rit.edu
http://www.cs.rit.edu/~spr
office hours MW 2-3pm and 8-9pm (if nobody comes by 8:15pm I may go home), or send email

Lectures

Monday/Wednesday 12-2pm, room 70-1445

Books

Evaluation

Contents

Introduction to the classical and contemporary theory of computation covering regular, context-free and computable (recursive) languages with finite state machines, pushdown automata and Turing machines. Basis of the Chomsky hierarchy and computability theory. Overview of main ideas of Complexity Theory and Computability Theory. There are no programming assignments.