查看“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级--小班讨论 (第一学期)
。
导航菜单
个人工具
登录
命名空间
页面
讨论
变种
视图
阅读
查看源代码
查看历史
更多
搜索
导航
首页
最近更改
随机页面
帮助
工具
链入页面
相关更改
特殊页面
页面信息