查看“2017级--小班讨论 (第一学期)”的源代码
←
2017级--小班讨论 (第一学期)
跳转至:
导航
、
搜索
因为以下原因,您没有权限编辑本页:
您所请求的操作仅限于该用户组的用户使用:
用户
您可以查看与复制此页面的源代码。
= 2017年10月09日 (周一) = == 习题讲解 == (1-1作业; 无PPT) == 报告 == 主题:1-1 (为什么计算机能解题?) * [[Media:10.9 报告 Debug介绍.zip | Debug 介绍]] (郑奘巍, 李顶为) * [[Media:Hanoi_tower.zip | 递归介绍 (Tower of Hanoi)]] (徐臣, 姜勇刚) = 2017年10月16日 (周一) = == 习题讲解 == [[Media:1-2-logic-I.pdf | 1-2-logic-I.pdf]] ([[Media:1-2-logic-I-handout.pdf|1-2-logic-I-handout.pdf]]) UD 第2章、第3章习题选讲 (命题逻辑部分) == 报告 == 主题:1-2 (什么样的推理是正确的?) * 合取范式与析取范式 [[Media:1-2合取范式析取范式.zip | 1-2-合取范式析取范式 (黄秉焜 张天昀)]] * 形式化描述 [[Media:1-2-谓词逻辑-猫论.zip | 1-2-谓词逻辑-猫论 (肖江 吕云哲)]] = 2017年10月23日 (周一) = == 习题讲解 == [[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 第四章 (一阶谓词逻辑部分) == 报告 == 主题:1-3 (常用的证明方法) * 数学归纳法与良序原理的等价性 [[Media:1-3-李博文-证明数学归纳法和良序原理等价.pptx | 1-3-李博文-证明数学归纳法和良序原理等价.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]]
返回至
2017级--小班讨论 (第一学期)
。
导航菜单
个人工具
登录
命名空间
页面
讨论
变种
视图
阅读
查看源代码
查看历史
更多
搜索
导航
首页
最近更改
随机页面
帮助
工具
链入页面
相关更改
特殊页面
页面信息