[ ホーム
| 講義 ]
Surveys in Mathematical Sciences IV/II (Fall 2013)
Report
Course plan
Syllabus
- (11/5) Turing Machine and Computability
- (11/12) Universal Turing Machine and undecidable problems
- (11/19) Lambda-calculus
- (11/26) Turing-completeness of lambda-calculus
- (12/3) Recursive functions
Last updated 2013.12.2.