形式学习理论（Formal Learning Theory）
报告人：Dick de Jongh （荷兰 阿姆斯特丹大学 教授）
课程简介：形式学习理论是关于如何获得真知识的形式的研究。本课程的第一、二次报告主要讲授形式学习理论的基本知识，之后重点讲授两个专题：“利用递归函数的学习”和“学习理论与知识更新”。本课程适合对科学哲学、语言学习和形式认识论感兴趣的学生。
11月6日（周三） 下午 2:00-5:30
Lecture 1. Identification in the limit. Introduction to Formal learning Theory of Languages.
11月7日（周四） 下午 2:00-5:30
Lecture 2. Introduction to Recursion Theory.
11月13日（周三）下午 2:00-5:30
Lecture 3. Learning by recursive functions.
11月14日（周四）下午 2:00-5:30
Lecture 4. Finite identifiability and knowledge update.
11月15日 （周五） 下午 2:00-4:00
Lecture 5. Individual Meetings
上课地点：清华大学新斋335教室
参考文献：
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.