Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Surveys in Mathematical Sciences IV/II (Fall 2013)
[go: Go Back, main page]
[ ホーム | 講義 ]

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.