B501 Slides

B501 Home

Outline

Assignments

Text

• Introduction
• DATA
  • Textual representation
  • Sets
  • Induction
  • Languages
• MACHINES
  • Automata
  • Machines with memory
• SYMBOLIC COMPUTING
  • Contex-free Languages
• Computability
  • Computability, the TC Thesis
  • Limits of computability
• Complexity
  • Feasible time complexity
  • Space complexity