[ ホーム | 講義 ]

Surveys in Mathematical Sciences IV/II (Fall 2013)

Report

Course plan

Syllabus
  1. (11/5) Turing Machine and Computability
  2. (11/12) Universal Turing Machine and undecidable problems
  3. (11/19) Lambda-calculus
  4. (11/26) Turing-completeness of lambda-calculus
  5. (12/3) Recursive functions

Last updated 2013.12.2.