• Mathematical descriptions of languages and grammars, and categorization of languages according to how they can be mathematically described. This is the underpinning of several areas of computer science, in particular the study of compilers.
• Discussions of which problems can be solved algorithmically.
• Categorization of problems according to how efficiently they can be solved.

Some of the major ideas in the course predate computers themselves, going back to Allen Turings 1937 proof that the Halting Problem is not algorithmically solvable. This is largely a mathematics course. There will be no required programming assignments. Nevertheless, there are many ways in which this material will deepen your abilities as a programmer. There are also many places in the course in which coding the algorithms we discuss might expand your understanding of them.

• Syllabus
• Assignments to hand in
  • HW1 -- due Wednesday, 2/16.
  • HW2 -- due Wednesday 2/23
  • HW3 -- due Wednesday 3/2
  • HW4 -- due Friday 3/18
  • HW5 -- due Friday 3/25
  • HW6 -- due Friday 4/8
  • HW7 -- due Friday 4/22
  • HW8 -- due Monday 5/2