COS 550
Theoretical Computer Science
George Markowsky

This course is typically taught in the fall and is taken primarily by entering graduate students. More details are below.

GOALS

1. To provide a comprehensive survey of the key important areas in theoretical computer science.
2. To highlight the implications of theoretical computer science for practical computer science.
3. To increase your ability to handle formal reasoning and notation.

PREREQUISITES

1. A good understanding of basic mathematics and computer science.
2. A willingness to learn something new and to work.
3. The ability to handle theoretical material at the graduate level.

Notes

• Notes On Induction

ERRATA FOR TEXTBOOK. VERY IMPORTANT. CHECK EXERCISES IN BOOK BEFORE YOU DO THEM SINCE SOME ARE INCORRECT.

• GRADES
• HW 0
• HW 1
• HW 2
• HW 3
• HW 4
• HW 5
• HW 6

SYLLABUS PDF Version