形式学习理论(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.