“2019级--小班讨论 (第一学期)”的版本间的差异

来自问题求解
跳转至: 导航搜索
学习周历
Whf讨论 | 贡献
学习周历
第35行: 第35行:
 
# 贾林杰
 
# 贾林杰
 
# 张浩宇
 
# 张浩宇
 +
|
 +
|-
 +
| 2019-10-24
 +
| 1-3-proof
 +
|
 +
* Induction + Coq
 +
# 李晗
 +
#
 +
* Double Counting
 +
#
 +
# 周晓
 
|
 
|
 
|}
 
|}

2019年10月17日 (四) 10:30的版本

学习周历

2019级问题求解课程第一学期学生名单-20190925-分班表

日期 论题 Open Topics

(1: 227(马); 2: 228 (魏))

扩展材料

(供感兴趣的同学自学使用)

2019-10-10

1-1-why

  • 假币问题
  1. 高灏
  2. 戴一帆
  • 汉诺塔问题
  1. 林海波
  2. 朱宇博
 理解解题思路,完善解题细节
2019-10-17 1-2-reasoning
  • 命题逻辑的自然推理系统 + Coq
  1. 陈弘毅
  2. 吴煜青
  • 前束范式
  1. 贾林杰
  2. 张浩宇
2019-10-24 1-3-proof
  • Induction + Coq
  1. 李晗
  • Double Counting
  1. 周晓