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

来自问题求解
跳转至: 导航搜索
(+1-5-data-structure 习题课内容)
Whf讨论 | 贡献
2017年11月13日 (周一): +学生报告
第77行: 第77行:
 
主题:1-6 (如何将算法告诉计算机)
 
主题:1-6 (如何将算法告诉计算机)
  
* 形式语言与自动机
+
* 形式语言与自动机 (姜勇刚 郑奘巍)
 +
[[Media:自动机与形式语言.pptx | 自动机与形式语言]] [[Media:正则表达式与状态自动机.pdf|正则表达式与状态自动机.pdf]]

2017年11月13日 (一) 17:33的版本

2017年10月09日 (周一)

习题讲解

(1-1作业; 无PPT)

报告

主题:1-1 (为什么计算机能解题?)

2017年10月16日 (周一)

习题讲解

1-2-logic-I.pdf (1-2-logic-I-handout.pdf)

UD 第2章、第3章习题选讲 (命题逻辑部分)

报告

主题:1-2 (什么样的推理是正确的?)

2017年10月23日 (周一)

习题讲解

1-2-logic-II.pdf (1-2-logic-II-handout.pdf)

UD 第四章 (一阶谓词逻辑部分)

报告

主题:1-3 (常用的证明方法)

2017年10月30日 (周一)

习题讲解

1-3-proof.pdf (1-3-proof-handout.pdf)

  • UD第5章 (证明方法)
  • UD第17章 (数学归纳法)
  • ES第24节 (鸽巢原理)

报告

主题:1-4 (基本的算法结构) [报告待上传]

  • "Goto" Paper 讲解
  • "if&goto" 模拟其它语句

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 (如何将算法告诉计算机)

  • 形式语言与自动机 (姜勇刚 郑奘巍)

自动机与形式语言 正则表达式与状态自动机.pdf