形式学习理论（Formal Learning Theory）

报告人：Dick de Jongh（荷兰 阿姆斯特丹大学 教授）

课程简介：形式学习理论是关于如何获得真知识的形式的研究。本课程的第一、二次报告主要讲授形式学习理论的基本知识，之后重点讲授两个专题：“利用递归函数的学习”和“学习理论与知识更新”。本课程适合对科学哲学、语言学习和形式认识论感兴趣的学生。

上课地点：清华大学新斋335教室

上课时间：

1. 11月6日（周三） 下午 2:00-5:30

Lecture 1. Identification in the limit. Introduction to Formal learning Theory of Languages.

2. 11月7日（周四） 下午 2:00-5:30

Lecture 2. Introduction to Recursion Theory.

3. 11月13日（周三）下午 2:00-5:30

Lecture 3. Learning by recursive functions.

4. 11月14日（周四）下午 2:00-5:30

Lecture 4. Finite identifiability and knowledge update.

5. 11月15日 （周五） 下午 2:00-4:00

Lecture 5. Individual Meetings

参考文献：

For literature and the structure of a longer course, see:

http://www.ninagierasimczuk.com/flt2013/

The four lectures correspond at Tsinghua University more or less to

(1) Lecture 1 and 2, (2) lecture 3, (3) Lecture 4-10, (4) lecture 11 and 12.