“证明论”小课程

来自日本JAIST（Japan Advanced Institute of Science and Technology）
的Hiroakira Ono 和 Norbert Preining教授将在清华大学10月最后一个星期访问清华大学，
届时他们会集中讲授证明论的专题小课程。课程分共4次进行，具体时间安排见下。
课程阅读材料和每次报告的摘要见附件。


第一次：
10月25日（星期一） 晚 7:00-9:00
地点：清华大学新斋324 
报告人：Norbert Preining 教授
题目：证明论导引（Introduction to Proof Theory） 

第二次：
10月26日（星期二） 晚 7:00-8:30 
地点：清华大学新斋324
报告人：Hiroakira Ono 教授
题目：Substructural Logics （子结构逻辑）I

第三次：
10月28日（星期四） 晚 7:00-8:30
地点：清华大学新斋324
报告人：Hiroakira Ono 教授
题目：Substructural Logics II

第四次：
10月29日29（星期五） 晚 7:00-9:00
地点：清华大学新斋324
报告人：Norbert Preining 教授
题目：Goedel logics (哥德尔的逻辑）