“2017级--小班讨论 (第一学期)”的版本间的差异
来自问题求解
(+ 2017年11月16日 习题课) |
小 (→报告) |
||
第51行: | 第51行: | ||
* "Goto" Paper 讲解 | * "Goto" Paper 讲解 | ||
* "if&goto" 模拟其它语句 | * "if&goto" 模拟其它语句 | ||
− | [[Media:1-4-goto-if-simulation-谢乃容.pdf|1-4-goto-if-simulation-谢乃容]] | + | ([[Media:1-4-goto-if-simulation-谢乃容.pdf|1-4-goto-if-simulation-谢乃容]], [[Media:1-4-open-topic-2-廖玺然-171860647.pptx|1-4-open-topic-2-廖玺然-171860647.pptx]]) |
− | [[Media:1-4-open-topic-2-廖玺然-171860647.pptx|1-4-open-topic-2-廖玺然-171860647.pptx]] | ||
= 2017年11月06日 (周一) = | = 2017年11月06日 (周一) = |
2017年11月19日 (日) 19:16的版本
目录
2017年10月09日 (周一)
习题讲解
(1-1作业; 无PPT)
报告
主题:1-1 (为什么计算机能解题?)
- Debug 介绍 (郑奘巍, 李顶为)
- 递归介绍 (Tower of Hanoi) (徐臣, 姜勇刚)
2017年10月16日 (周一)
习题讲解
1-2-logic-I.pdf (1-2-logic-I-handout.pdf)
UD 第2章、第3章习题选讲 (命题逻辑部分)
报告
主题:1-2 (什么样的推理是正确的?)
- 合取范式与析取范式 1-2-合取范式析取范式 (黄秉焜 张天昀)
- 形式化描述 1-2-谓词逻辑-猫论 (肖江 吕云哲)
2017年10月23日 (周一)
习题讲解
1-2-logic-II.pdf (1-2-logic-II-handout.pdf)
UD 第四章 (一阶谓词逻辑部分)
报告
主题:1-3 (常用的证明方法)
- 数学归纳法与良序原理的等价性 1-3-李博文-证明数学归纳法和良序原理等价.pptx
- Chomp Game 1-3-马常风-Chomp-Game.pptx (殷兆恒文档 待上传)
2017年10月30日 (周一)
习题讲解
1-3-proof.pdf (1-3-proof-handout.pdf)
- UD第5章 (证明方法)
- UD第17章 (数学归纳法)
- ES第24节 (鸽巢原理)
报告
主题:1-4 (基本的算法结构) [报告待上传]
- "Goto" Paper 讲解
- "if&goto" 模拟其它语句
(1-4-goto-if-simulation-谢乃容, 1-4-open-topic-2-廖玺然-171860647.pptx)
2017年11月06日 (周一)
习题讲解
1-4-program.pdf (1-4-program-handout.pdf)
- 最长单调子序列
- DH 第二章第一二单元
报告
主题:1-5 (数据与数据结构) [报告待上传]
- Union 结构
- 表达式树
2017年11月13日 (周一)
习题讲解
1-5-data-structure-I.pdf (1-5-data-structure-I-handout.pdf)
- Generating All Permutations
- Stackable Permutations
报告
主题:1-6 (如何将算法告诉计算机)
- 形式语言与自动机 (姜勇刚 郑奘巍)
( 自动机与形式语言.pptx, 正则表达式与状态自动机.pdf)
2017年11月16日 (周四)
习题讲解
- Stackable Permutations (证明;课件见 11月13日 习题课)
- Generating All Permutations Permutation Generation.pptx
报告
主题:1-6 (如何将算法告诉计算机)
- Switch 语句文法 ( Switch-BNF-韩博.pptx)