查看“2019级--小班讨论 (第一学期)”的源代码

== 学习周历 ==

[[Media:2019级问题求解课程第一学期学生名单-20190925-分班表.xlsx | 2019级问题求解课程第一学期学生名单-20190925-分班表]]

{| border=1
! 日期
! 论题
! Open Topics（1: 227（马）; 2: 228 (魏)）
! 扩展材料 (供感兴趣的同学自学使用)
|-
| 2019-10-10
| 1-1-why
| 
* 假币问题
# [[Media:1-1-Coin-高灏.pptx | 高灏]]
# [[Media:1-1-Coin-戴一帆.pptx | 戴一帆]]
* 汉诺塔问题
# [[Media:1-1-Hanoi-朱宇博.zip | 朱宇博]]
# [[Media:1-1-Hanoi-林海波.pptx | 林海波]]
|
* [[Media:Counterfeit Coin Problems (MAA 1977).pdf | Counterfeit Coin Problems (1977)]]
  理解解题思路，完善解题细节
|-
| 2019-10-17
| 1-2-reasoning
| 
* 命题逻辑的自然推理系统 + Coq
# 陈弘毅
# 吴煜青
* 前束范式
# 贾林杰
# 
|
|}