|
时间 |
报告人 |
评议人 |
题目 | 附件 |
|---|---|---|---|---|
| 9月6日 | 曹钦翔 |
Yet Another ZFC Set Theory Formalization in a Theorem Prover |
||
| 9月13日 | 王彦晶 | 学术写作与报告 | ||
| 9月20日 | 王一廷 | Logic for computation: an introduction to computability logic | ||
| 9月27日 | 熊明 | To be or not to be a Paradox --- That is a Question | ||
| 10月4日 | 丁一峰 |
Variations on Weakly Aggregative Modal Logic |
||
| 10月11日 | 何思源 |
说谎者悖论相关文献的初步整理 |
||
| 10月18日 | 毛翊 |
逻辑可达世界 |
||
| 10月25日 | 孙卫民 |
What is critical thinking, and how to teach it? |
||
| 11月1日 | 董惠敏 |
面向霍菲尔德法权的逻辑与计算 |
||
| 11月8日 | 王林峰 | 刘力恺 | Reverse mathematics and partial realizations of Hilbert's program | |
| 11月15日 | 刘彬 | 王林峰 | Together we know how to achieve | |
| 11月22日 | 刘冠群 | What is theoretical equivalence? | ||
| 11月29日 | 阮立清 | Tense logic: points and periods | ||
| 12月6日 | 邹婷湘 | |||
| 12月13日 | 郭美云 |