The course is an introduction to the theory of information and computation as a physical phenomenon. The course covers standard formalizations of computational concepts and proofs of noteworthy implications of these formalizations. Typical topics include: finite automata, computability, reducibility, and complexity. [Effective 2164]

  • Credits: 3
  • Frequency: Every term


Requirements and Grading