“2017级--小班讨论 (第一学期)”的版本间的差异
(+2017-12-18 习题课课件) |
(→2017年12月18日 (周一): +学生报告) |
||
第150行: | 第150行: | ||
[[Media:1-9-relation-II.pdf|1-9-relation-II.pdf]] ([[Media:1-9-relation-II-handout.pdf|1-9-relation-II-handout.pdf]]) | [[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 | * 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 (有限与无限) | 主题:1-11 (有限与无限) | ||
+ | |||
+ | * 选择公理 (李凯旭 姜勇刚) | ||
+ | [[Media:选择公理及其等价性命题.pptx|选择公理及其等价性命题.pptx]] [[Media:ZFC及选择公理介绍.pptx|ZFC及选择公理介绍.pptx]] | ||
+ | * 连续统假设 (戴若石 裴一凡) | ||
+ | [[Media:1-11-OT2-连续统假设.rar|1-11-OT2-连续统假设.rar]] |
2017年12月19日 (二) 10:56的版本
目录
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 (毛一鸣 董杨静)
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 (关系及其基本性质)
- 几种序关系(孙思钰 何润雨)
Binary_relation.zip 1-9-OT-1-概念辨析(II).pptx
- 实数的完备性 (谢逸 何伟)
[[Media:|Media:]] 实数完备性(completeness)(2).pptx
主题:1-10 (函数)
- 函数的复合 (刘恩萌)
[[Media:|Media:]]
2017年12月18日 (周一)
习题讲解
1-9-relation-II.pdf (1-9-relation-II-handout.pdf)
- Relational Data Model
参考资料:
- The Relational Data Model (Ullman).pdf
- RelaX - relational algebra calculator
- 导入数据库 Course-Management-System-DB (gist ID: b77ba3bbf675e0eb4ac73f41ab550dd1)
- Relational Algebra 查询语句见课件
报告
主题:1-11 (有限与无限)
- 选择公理 (李凯旭 姜勇刚)
选择公理及其等价性命题.pptx ZFC及选择公理介绍.pptx
- 连续统假设 (戴若石 裴一凡)