“2017级--学期安排 (第一学期 寒假补课)”的版本间的差异

来自问题求解
跳转至： 导航、 搜索
（→‎寒假补课安排： +注意）
Whf（讨论 | 贡献）
（→‎寒假补课安排）
 
（未显示同一用户的5个中间版本）
第1行： 第1行：
 
==寒假补课安排==
 
==寒假补课安排==
  
−
* '''注意: UD 指的是 UD 1st edition (不是 2nd edition).'''
+
* [[2017级--学期安排 (第一学期)#指定教材|<big>指定教材</big>]]
 +
* <big>'''注意: UD 指的是 UD 1st edition (不是 2nd edition).'''</big>
 +
* [https://github.com/hengxin/latex-templates/tree/master/hw-latex-template <big>LaTeX Template for Homework</big>] ([https://www.sharelatex.com/learn/Learn_LaTeX_in_30_minutes Learn LaTeX in 30 Minutes])
  
  
第13行： 第15行：
 
! 编程任务
 
! 编程任务
 
|-
 
|-
−
| style="width: 75px;" | 2017-09-25
+
| style="width: 75px;" | 2018-02-@@
 
|
 
|
 
* [[Media:0-计算思维引导.pptx | 1-0：计算思维引导]]
 
* [[Media:0-计算思维引导.pptx | 1-0：计算思维引导]]
第23行： 第25行：
 
|
 
|
 
|-
 
|-
−
| 2017-09-28
+
|  
 
|
 
|
 
* [[Media:Lecture1-1 计算机为什么能解题.ppt | 1-1：为什么计算机能解题]]
 
* [[Media:Lecture1-1 计算机为什么能解题.ppt | 1-1：为什么计算机能解题]]
第40行： 第42行：
 
|-
 
|-
 
|
 
|
−
2017-10-12
+
 
 
|
 
|
 
* [[media:1-2什么样的推理是正确的.pptx|1-2：什么样的推理是正确的]]
 
* [[media:1-2什么样的推理是正确的.pptx|1-2：什么样的推理是正确的]]
第51行： 第53行：
 
* 其正向是算法的设计，其反向是正确性证明
 
* 其正向是算法的设计，其反向是正确性证明
 
|
 
|
−
* UD第2章问题 1(a,b,e,g)、5、6(a,c,d,f,h)、11
+
* UD第2章问题 1(a,b,e,g)、6(a,c,d,f,h)、11
 
* UD第3章问题 2(c)、6、8、9、11
 
* UD第3章问题 2(c)、6、8、9、11
−
* UD第4章问题 1(a,c,d)、5(a,f,h,j,k)、7、13(a,b,e,g)
+
* UD第4章问题 1(a,c,e)、5(a,f,h,j,k; 要求先"符号化")、7(a,c)、13(a,b,g)
 
|
 
|
 
* 待定
 
* 待定
 
|-
 
|-
 
|
 
|
−
2017-10-19
+
 
 
|
 
|
 
* [[media:1-3常用证明方法.pptx ‎|1-3：常用的证明方法]]
 
* [[media:1-3常用证明方法.pptx ‎|1-3：常用的证明方法]]
第75行： 第77行：
 
|-
 
|-
 
|
 
|
−
2017-10-26
+
 
 
|
 
|
 
* [[media:1-4算法的基本结构.pptx ‎|1-4: 基本的算法结构]]
 
* [[media:1-4算法的基本结构.pptx ‎|1-4: 基本的算法结构]]
第92行： 第94行：
 
|-
 
|-
 
|
 
|
−
2017-11-02
+
 
 
|
 
|
 
* [[Media:1-5-数据与数据结构.pptx |1-5: 数据与数据结构]]
 
* [[Media:1-5-数据与数据结构.pptx |1-5: 数据与数据结构]]
第108行： 第110行：
 
|-
 
|-
 
|
 
|
−
2017-11-23
+
 
 +
|
 +
* [[Media:1-6-如何将算法告诉计算机.pptx | 1-6: 如何将算法告诉计算机]]
 +
|
 +
* 理解程序设计语言的基本概念
 +
* 了解程序在计算机中的执行方式
 +
|
 +
* DH第3章第1单元
 +
|
 +
* 程序设计语言如何体现算法的基本要素与结构
 +
|
 +
* 无
 +
|
 +
* 待定
 +
|-
 +
|
 +
 
 +
|
 +
* [[Media:计算机问题求解-论题1-7-不同的程序设计方法.pptx|1-7: 不同的程序设计方法]]
 +
|
 +
* 了解不同的程序设计方法：函数式、命令式、对象式、逻辑式
 +
|
 +
* DH第3章第2、3单元
 +
|
 +
* 为什么会出现不同的风范
 +
|
 +
* 无
 +
|
 +
* 待定
 +
|-
 +
|
 +
 
 
|
 
|
 
* [[media:计算机问题求解-论题1-8.pptx ‎|1-8: 集合及其运算]]
 
* [[media:计算机问题求解-论题1-8.pptx ‎|1-8: 集合及其运算]]
第120行： 第153行：
 
|
 
|
 
* UD第6章问题 16
 
* UD第6章问题 16
−
* UD第7章问题 1(16,20)、9、11
+
* UD第7章问题 1(16,19)、9
 
* UD第8章问题 1、4、8
 
* UD第8章问题 1、4、8
 
* UD第9章问题 2、4、13、14(a)、16
 
* UD第9章问题 2、4、13、14(a)、16
第127行： 第160行：
 
|-
 
|-
 
|
 
|
−
2017-11-30
+
 
 
|
 
|
 
* [[media:2017计算机问题求解论题1-9.pptx ‎|1-9: 关系及其基本性质]]
 
* [[media:2017计算机问题求解论题1-9.pptx ‎|1-9: 关系及其基本性质]]
第146行： 第179行：
 
|-
 
|-
 
|
 
|
−
2017-12-07
+
 
 
|
 
|
 
* [[media:2017计算机问题求解-论题1-10.pptx ‎|1-10: 函数]]
 
* [[media:2017计算机问题求解-论题1-10.pptx ‎|1-10: 函数]]
第157行： 第190行：
 
* 映射与计算机问题求解 --- 从问题空间到解空间
 
* 映射与计算机问题求解 --- 从问题空间到解空间
 
|
 
|
−
* UD第13章问题 4、11、13
+
* UD第13章问题 3(g)、4、11、13
 
* UD第14章问题 12、15
 
* UD第14章问题 12、15
 
* UD第15章问题 11、12、14、20
 
* UD第15章问题 11、12、14、20
第165行： 第198行：
 
|-
 
|-
 
|
 
|
−
2017-12-14
+
 
 
|
 
|
 
* [[media:2017计算机问题求解-论题1-11.pptx|1-11: 有限与无限]]
 
* [[media:2017计算机问题求解-论题1-11.pptx|1-11: 有限与无限]]
第177行： 第210行：
 
|
 
|
 
* UD第20章问题 10
 
* UD第20章问题 10
−
* UD第21章问题 9、16、17、18、19
+
* UD第21章问题 16、17、18、19
 
* UD第22章问题 1(b)、2(e)、3、9
 
* UD第22章问题 1(b)、2(e)、3、9
 
|
 
|
第183行： 第216行：
 
|-
 
|-
 
|
 
|
−
2017-12-21
+
 
 
|
 
|
 
* [[media:2017计算机问题求解-论题1-12.pptx|1-12: 偏序关系和格]]
 
* [[media:2017计算机问题求解-论题1-12.pptx|1-12: 偏序关系和格]]
第200行： 第233行：
 
|-
 
|-
 
|
 
|
−
2017-12-28
+
 
 
|
 
|
 
* [[Media:计算机问题求解-论题1-13-布尔代数.pptx|1-13: 布尔代数]]
 
* [[Media:计算机问题求解-论题1-13-布尔代数.pptx|1-13: 布尔代数]]
第212行： 第245行：
 
* 布尔代数
 
* 布尔代数
 
|
 
|
−
* 证明SM定理15.6
+
* 证明等势且有穷的布尔代数均同构。
−
* 证明等势(有穷)的布尔代数均同构
+
* (选做) 举例说明等势但无穷的布尔代数不一定同构。
 
|
 
|
 
* 待定
 
* 待定
 
|}
 
|}

2018年2月27日 (二) 20:16的最新版本

寒假补课安排


日期 论题 学习目的 阅读材料 引导要点 书面作业 编程任务
2018-02-@@
  • 理解问题求解的基本过程
  • 理解计算机中简单操作为什么能解决复杂问题
  • DH第1章
  • UD第1章
  • 简单操作能够解决各种复杂问题的关键是算法
  • UD第1章问题 5、8
  • 待定
  • 掌握命题逻辑与谓词逻辑的基本推导方法
  • UD第2、3、4章
  • 计算机解题的关键是正确的推导
  • 其正向是算法的设计，其反向是正确性证明
  • UD第2章问题 1(a,b,e,g)、6(a,c,d,f,h)、11
  • UD第3章问题 2(c)、6、8、9、11
  • UD第4章问题 1(a,c,e)、5(a,f,h,j,k; 要求先"符号化")、7(a,c)、13(a,b,g)
  • 待定
  • 掌握逻辑正确的常用证明方法
  • UD第5、17章
  • ES第24节
  • 为什么这些方法在逻辑上是正确的？
  • UD第17章问题 14、16
  • ES第24节练习 4
  • 待定
  • 理解基本的算法结构：顺序、分支、循环、子程序、递归
  • 理解程序最基本单元的正确性概念
  • 基本结构的组合方式及其正确性
  • DH第2章练习 2、5、7、8
  • 待定
  • 理解数据在计算机问题求解中的核心作用
  • 通过例子理解几种常用的数据结构
  • DH第2章第 3、4 单元
  • 有结构的数据对于计算以及算法设计的影响
  • DH第2章练习 11、12、13、15
  • 待定
  • 理解程序设计语言的基本概念
  • 了解程序在计算机中的执行方式
  • DH第3章第1单元
  • 程序设计语言如何体现算法的基本要素与结构
  • 无
  • 待定
  • 了解不同的程序设计方法：函数式、命令式、对象式、逻辑式
  • DH第3章第2、3单元
  • 为什么会出现不同的风范
  • 无
  • 待定
  • 掌握集合的基本概念以及基本数学性质
  • 进一步巩固数学证明能力
  • UD第6、7、8、9章
  • 集合语言是形式化方法的基础，也是算法问题表述的基本手段
  • UD第6章问题 16
  • UD第7章问题 1(16,19)、9
  • UD第8章问题 1、4、8
  • UD第9章问题 2、4、13、14(a)、16
  • 待定
  • 掌握关系的概念与基本数学性质
  • 理解等价关系与次序关系的数学性质
  • 进一步巩固数学证明能力
  • UD第10、11、12章
  • 对象及其相互之间的关系是所有数学建模的核心概念
  • UD第10章问题 4、8
  • UD第11章问题 3、7、9
  • UD第12章问题 13
  • 待定
  • 从问题求解的角度理解函数的概念及其重要的数学性质
  • 熟悉函数表述方式
  • UD第14、15、16章
  • 映射与计算机问题求解 --- 从问题空间到解空间
  • UD第13章问题 3(g)、4、11、13
  • UD第14章问题 12、15
  • UD第15章问题 11、12、14、20
  • UD第16章问题 19、20、21
  • 待定
  • 理解无限集合的重要数学性质，理解可数与不可数的差别
  • 理解有限过程与无限过程的概念与差别
  • UD第20、21、22章
  • 如何比较无限集合的大小
  • UD第20章问题 10
  • UD第21章问题 16、17、18、19
  • UD第22章问题 1(b)、2(e)、3、9
  • 待定
  • 理解集合上的序关系
  • 理解格的基本概念
  • 理解偏序集与格的联系与区别
  • SM第14章
  • 如何定义集合中元素的“序”
  • SM第14章 62(修改为 only one isomorphic mapping)、70、75
  • 待定
  • 理解布尔代数基本概念
  • 理解布尔代数与格的联系与区别
  • 布尔代数表达式的化简
  • SM第15章
  • 布尔代数
  • 证明等势且有穷的布尔代数均同构。
  • (选做) 举例说明等势但无穷的布尔代数不一定同构。
  • 待定
取自“http://cslabcms.nju.edu.cn/problem_solving/index.php?title=2017级--学期安排_(第一学期_寒假补课)&oldid=2305”