2017年11月27日 (一) 13:39的版本

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 结构 ( 1-5-open-topic-union-丁保荣.pdf, 1-5-open-topic-union-main.pdf)
• 表达式树 ( 1-5-表达式树-张廷昊.pptx, 1-5-表达式树构建实例与扩展-杜星亮.pptx)

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)

2017年11月27日 (周一)

习题讲解

1-5-data-structure-II.pdf (1-5-data-structure-II-handout.pdf)

• Queueable Permutations
• Treesort Algorithm on BST

报告

主题：1-7 (不同的程序设计方法)

• Turing Machine
• Java (Safety)