Home» Teaching» Seminar Plans» 逻辑学讨论班» 本学期计划

2022年秋季报告

What is theoretical equivalence?Together we know how to achieve  

时间

报告人

评议人 

题目 附件
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日 郭美云