2017级--小班讨论 (第一学期)

来自问题求解
Whf讨论 | 贡献2017年12月11日 (一) 14:26的版本 报告: +1-8 报告

跳转至: 导航搜索

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" 模拟其它语句

(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 (数据与数据结构)

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日 (周四)

习题讲解

报告

主题:1-6 (如何将算法告诉计算机)

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 (杨欣然 郑奘巍)

图灵机模型.pptx Turing_Machine.pdf

  • Java Safety (毛一鸣 董杨静)

Java Safety 毛一鸣.zip Java Safety 董杨静.pdf

2017年12月04日 (周一)

习题讲解

1-8-set-ops.pdf (1-8-set-ops-handout.pdf)

  • Set and Operations
  • Set Family
  • Powerset

报告

主题:1-8 (集合及其运算)

  • 使用集合刻画自然数()

[[Media:]] 如何定义加法运算.zip

  • 集合相关的悖论 (毕秋宇 谢乃荣)

布拉利-福尔蒂悖论.pptx A glimpse of Cantor’s Paradox

2017年12月11日 (周一)

习题讲解

1-9-relation.pdf (1-9-relation-handout.pdf)

  • Overview
  • Powerset (见 1-8-set-ops.pdf)
  • Pair and Cartesian product
  • Relation (Equivalence Relation)

报告

主题:1-9 (关系及其基本性质)

  • 几种序关系(孙思钰 何润雨)

[[Media:|Media:]] 1-9-OT-1-概念辨析(II).pptx

  • 实数的完备性 (谢逸 何伟)

[[Media:|Media:]] 实数完备性(completeness)(2).pptx

主题:1-10 (函数)

  • 函数的复合 (刘恩萌)

[[Media:|Media:]]