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

来自问题求解
跳转至： 导航、 搜索
（→‎2017年10月16日 (周一)）
Whf（讨论 | 贡献）
小 （→‎报告）
 
（未显示同一用户的40个中间版本）
第27行： 第27行：
  
 
== 习题讲解 ==
 
== 习题讲解 ==
−
[[Media:1-2-logic-II.pdf ‎| 1-2-logic-II.pdf]] ([[Media:1-2-logic-II-handout.pdf | 1-2-logic-II-handout.pdf]]，无停顿版本)
+
[[Media:1-2-logic-II.pdf ‎| 1-2-logic-II.pdf]] ([[Media:1-2-logic-II-handout.pdf|1-2-logic-II-handout.pdf]])
  
 
UD 第四章 (一阶谓词逻辑部分)
 
UD 第四章 (一阶谓词逻辑部分)
第35行： 第35行：
  
 
* 数学归纳法与良序原理的等价性 [[Media:1-3-李博文-证明数学归纳法和良序原理等价.pptx | 1-3-李博文-证明数学归纳法和良序原理等价.pptx]]
 
* 数学归纳法与良序原理的等价性 [[Media:1-3-李博文-证明数学归纳法和良序原理等价.pptx | 1-3-李博文-证明数学归纳法和良序原理等价.pptx]]
−
* Chomp Game [[Media:1-3-马常风-Chomp-Game.pptx] | 1-3-马常风-Chomp-Game.pptx]] (殷兆恒文档 待上传)
+
* Chomp Game [[Media:1-3-马常风-Chomp-Game.pptx | 1-3-马常风-Chomp-Game.pptx]] (殷兆恒文档 待上传)
 +
 
 +
= 2017年10月30日 (周一) =
 +
 
 +
== 习题讲解 ==
 +
[[Media:1-3-proof.pdf ‎| 1-3-proof.pdf]] ([[Media:1-3-proof-handout.pdf|1-3-proof-handout.pdf]])
 +
 
 +
* UD第5章 (证明方法)
 +
* UD第17章 (数学归纳法)
 +
* ES第24节 (鸽巢原理)
 +
 
 +
== 报告 ==
 +
主题：1-4 (基本的算法结构)
 +
 
 +
* "Goto" Paper 讲解 [毕秋宇、陈昱名]
 +
([[Media:关于goto_statement_considered_harmful的浅陋见解.pdf|1-4-goto-paper]])
 +
* "if&goto" 模拟其它语句
 +
([[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]])
 +
 
 +
= 2017年11月06日 (周一) =
 +
 
 +
== 习题讲解 ==
 +
[[Media:1-4-program.pdf ‎| 1-4-program.pdf]] ([[Media:1-4-program-handout.pdf|1-4-program-handout.pdf]])
 +
 
 +
* 最长单调子序列
 +
* DH 第二章第一二单元
 +
 
 +
== 报告 ==
 +
主题：1-5 (数据与数据结构)
 +
 
 +
* Union 结构 ([[Media:1-5-open-topic-union-丁保荣.pdf | 1-5-open-topic-union-丁保荣.pdf]], [[Media:1-5-open-topic-union-main.pdf|1-5-open-topic-union-main.pdf]])
 +
* 表达式树 ([[Media:1-5-表达式树-张廷昊.pptx | 1-5-表达式树-张廷昊.pptx]], [[Media:1-5-表达式树构建实例与扩展-杜星亮.pptx|1-5-表达式树构建实例与扩展-杜星亮.pptx]])
 +
 
 +
= 2017年11月13日 (周一) =
 +
 
 +
== 习题讲解 ==
 +
[[Media:1-5-data-structure-I.pdf ‎| 1-5-data-structure-I.pdf 修订版]] ([[Media:1-5-data-structure-I-handout.pdf|1-5-data-structure-I-handout.pdf]])
 +
 
 +
* Generating All Permutations
 +
* Stackable Permutations
 +
 
 +
== 报告 ==
 +
主题：1-6 (如何将算法告诉计算机)
 +
 
 +
* 形式语言与自动机 (姜勇刚 郑奘巍)
 +
([[Media:自动机与形式语言.pptx | 自动机与形式语言.pptx]], [[Media:正则表达式与状态自动机.pdf|正则表达式与状态自动机.pdf]])
 +
 
 +
= 2017年11月16日 (周四) =
 +
 
 +
== 习题讲解 ==
 +
 
 +
* Stackable Permutations （证明；课件见 11月13日 习题课）
 +
* Generating All Permutations ([[Media:Permutation Generation.pptx | Permutation Generation.pptx]])
 +
 
 +
== 报告 ==
 +
主题：1-6 (如何将算法告诉计算机)
 +
 
 +
* Switch 语句文法 ([[Media:Switch-BNF-韩博.pptx | Switch-BNF-韩博.pptx]])
 +
 
 +
= 2017年11月27日 (周一) =
 +
 
 +
== 习题讲解 ==
 +
[[Media:1-5-data-structure-II.pdf|1-5-data-structure-II.pdf]] ([[Media:1-5-data-structure-II-handout.pdf|1-5-data-structure-II-handout.pdf]])
 +
* Queueable Permutations
 +
* Treesort Algorithm on BST
 +
 
 +
== 报告 ==
 +
主题：1-7 (不同的程序设计方法)
 +
 
 +
* Turing Machine （杨欣然 郑奘巍）
 +
[[Media:图灵机模型.pptx|图灵机模型.pptx]] [[Media:Turing_Machine.pdf|Turing_Machine.pdf]]
 +
* Java Safety (毛一鸣 董杨静)
 +
[[Media:Java_Safety_毛一鸣.zip|Java Safety 毛一鸣.zip]] [[Media:Java Safety 董杨静.pdf|Java Safety 董杨静.pdf]]
 +
 
 +
= 2017年12月04日 (周一) =
 +
 
 +
== 习题讲解 ==
 +
[[Media:1-8-set-ops.pdf|1-8-set-ops.pdf]] ([[Media:1-8-set-ops-handout.pdf|1-8-set-ops-handout.pdf]])
 +
* Set and Operations
 +
* Set Family
 +
* Powerset
 +
 
 +
== 报告 ==
 +
主题：1-8 (集合及其运算)
 +
 
 +
* 使用集合刻画自然数（兰兆炜 鄢振宇）
 +
[[Media:集合定义自然数.pptx|集合定义自然数.pptx]] [[Media:如何定义加法运算.zip|如何定义加法运算.zip]]
 +
* 集合相关的悖论 (毕秋宇 谢乃荣)
 +
[[Media:布拉利-福尔蒂悖论.pptx | 布拉利-福尔蒂悖论.pptx]] [[Media:OT-1-8-2-b-谢乃容.pdf|A glimpse of Cantor’s Paradox]]
 +
 
 +
= 2017年12月11日 (周一) =
 +
 
 +
== 习题讲解 ==
 +
[[Media:1-9-relation.pdf|1-9-relation.pdf]] ([[Media:1-9-relation-handout.pdf|1-9-relation-handout.pdf]])
 +
* Overview
 +
* Powerset (见 [[Media:1-8-set-ops.pdf|1-8-set-ops.pdf]])
 +
* Pair and Cartesian product
 +
* Relation (Equivalence Relation)
 +
 
 +
== 报告 ==
 +
主题：1-9 (关系及其基本性质)
 +
 
 +
* 几种序关系（孙思钰 何润雨）
 +
[[Media:Binary_relation.zip|Binary_relation.zip]] [[Media:1-9OT 1 概念辨析(II).pptx|1-9-OT-1-概念辨析(II).pptx]]
 +
* 实数的完备性 (谢逸 何伟)
 +
[[Media:实数完备性（completeness）(2).pptx|实数完备性（completeness）(2).pptx]]
 +
 
 +
主题：1-10 (函数)
 +
* 函数的复合 (刘恩萌)
 +
[[Media:Open topic 函数.pptx|Open topic 函数的复合.pptx]]
 +
 
 +
= 2017年12月18日 (周一) =
 +
 
 +
== 习题讲解 ==
 +
[[Media:1-9-relation-II.pdf|1-9-relation-II.pdf]] ([[Media:1-9-relation-II-handout.pdf|1-9-relation-II-handout.pdf]])
 +
* Relational Data Model
 +
 
 +
参考资料:
 +
* [[Media:The_Relational_Data_Model_(Ullman).pdf|The Relational Data Model (Ullman).pdf]]
 +
* [https://dbis-uibk.github.io/relax/calc.htm# RelaX - relational algebra calculator]
 +
** 导入数据库 [https://gist.github.com/hengxin/b77ba3bbf675e0eb4ac73f41ab550dd1 Course-Management-System-DB (gist ID: b77ba3bbf675e0eb4ac73f41ab550dd1)]
 +
** Relational Algebra 查询语句见课件
 +
 
 +
== 报告 ==
 +
主题：1-11 (有限与无限)
 +
 
 +
* 选择公理 (李凯旭 姜勇刚)
 +
[[Media:ZFC及选择公理介绍.pptx|ZFC及选择公理介绍.pptx]] [[Media:选择公理及其等价性命题.pptx|选择公理及其等价性命题.pptx]]
 +
* 连续统假设 (戴若石 裴一凡)
 +
[[Media:1-11-OT2-连续统假设.rar|1-11-OT2-连续统假设.rar]]
 +
 
 +
= 2017年12月25日 (周一) =
 +
 
 +
== 习题讲解 ==
 +
[[Media:1-11-infinity.pdf|1-11-infinity.pdf]] ([[Media:1-11-infinity-handout.pdf|1-11-infinity-handout.pdf]])
 +
* Finite and Infinite
 +
 
 +
== 报告 ==
 +
主题：1-12 (偏序关系和格)
 +
 
 +
* 序数与基数 (陶绍诚 周涛)
 +
[[Media:陶绍诚-序数与基数.zip|陶绍诚-序数与基数.zip]] [[Media:周涛-序数与基数.pptx|周涛-序数与基数.pptx]]
 +
* 分配格 (张博乔)
 +
[[Media:张博乔-分配格.pptx|张博乔-分配格.pptx]]

2018年1月13日 (六) 22:18的最新版本

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 讲解 [毕秋宇、陈昱名]

(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 (集合及其运算)

  • 使用集合刻画自然数（兰兆炜 鄢振宇）

集合定义自然数.pptx 如何定义加法运算.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 (关系及其基本性质)

  • 几种序关系（孙思钰 何润雨）

Binary_relation.zip 1-9-OT-1-概念辨析(II).pptx

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

实数完备性（completeness）(2).pptx

主题：1-10 (函数)

  • 函数的复合 (刘恩萌)

Open topic 函数的复合.pptx

2017年12月18日 (周一)

习题讲解

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

  • Relational Data Model

参考资料:

报告

主题：1-11 (有限与无限)

  • 选择公理 (李凯旭 姜勇刚)

ZFC及选择公理介绍.pptx 选择公理及其等价性命题.pptx

  • 连续统假设 (戴若石 裴一凡)

1-11-OT2-连续统假设.rar

2017年12月25日 (周一)

习题讲解

1-11-infinity.pdf (1-11-infinity-handout.pdf)

  • Finite and Infinite

报告

主题：1-12 (偏序关系和格)

  • 序数与基数 (陶绍诚 周涛)

陶绍诚-序数与基数.zip 周涛-序数与基数.pptx

  • 分配格 (张博乔)

张博乔-分配格.pptx

取自“http://cslabcms.nju.edu.cn/problem_solving/index.php?title=2017级--小班讨论_(第一学期)&oldid=2287”