查看“2017级--学期安排 (第一学期)”的源代码
←
2017级--学期安排 (第一学期)
跳转至:
导航
、
搜索
因为以下原因,您没有权限编辑本页:
您所请求的操作仅限于该用户组的用户使用:
用户
您可以查看与复制此页面的源代码。
==基本要求== * 理解计算思维最核心的概念,了解计算的基本方法与局限。 * 接受基本的形式化训练,掌握抽象数学证明的基本方法。 * 程序设计能力。 ==指定教材== * '''DH''': David Harel et al.: [[Media:Algorithmics-the_Spirit_of_Computing,_3rd_by_David_Harel.pdf | Algorithmics - The Spirit of Computing]], 3rd ed. Addison-Wesley, 2004 * '''UD''': Ulrich Daepp et al.: [[Media:2011 Reading, Writing, and Proving - A Closer Look at Mathematics.pdf | Reading, Writing, and Proving - A Closer Look at Mathematics]], 2nd ed. Springer, 2003 * '''ES''': Edward Scheinerman: [[Media:Mathematics_A_Discrete_Introduction_(Edward_Scheinerman).pdf | Mathematics - A Discrete Introduction]], 2nd ed. Brooks/Cole, 2005 (第24节:鸽巢原理) * '''WS''': Walter Savitch: Problem Solving with C++, 7th ed. Addison Wesley, 2008 ==推荐课外读物== * Gary Shelly et al.: Discovering Computers 2011 - Living in a Digital World. Course Technology, 2011 ==学习周历== {| border=1 ! 日期 ! 论题 ! 学习目的 ! 阅读材料 ! 引导要点 ! 书面作业 ! 编程任务 |- | style="width: 75px;" | 2017-09-25 | * 1-0:[[Media:0-计算思维引导.pptx | 计算思维引导]] | | * [[Media:Computational Thinking What and Why.pdf | Computational Thinking: What and Why?.pdf]] | | | |- | 2017-09-28 | * [[Media:Lecture1-1 计算机为什么能解题.ppt | 1-1:为什么计算机能解题]] | * 理解问题求解的基本过程 * 理解计算机中简单操作为什么能解决复杂问题 | * DH第1章 * UD第1章 | * 简单操作能够解决各种复杂问题的关键是算法 | * UD第1章问题 2、3、4、5、6、8 | * 待定 |- | 2017-10-12 | * 1-2:什么样的推理是正确的 | * 掌握命题逻辑与谓词逻辑的基本推导方法 | * UD第2、3、4章 | * 计算机解题的关键是正确的推导 * 其正向是算法的设计,其反向是正确性证明 | * UD第2章问题 1、5、6、7、8、10、11 * UD第3章问题 2、6、7、8、9、10、11 * UD第4章问题 1、5、7、9、13 | * 待定 |- | 2017-10-19 | * 1-3:常用的证明方法 | * 掌握逻辑正确的常用证明方法 | * UD第5、17章 * ES第24节 | * 为什么这些方法在逻辑上是正确的? | * UD第5章问题 12 (5.21)、14 (5.24) * UD第17章问题 11 (18.11)、13 (18.15)、14 (18.20)、16 (18.22)、18 (18.24)、19 (18.25) * ES第24节练习 4、6、8 | * 待定 |}
返回至
2017级--学期安排 (第一学期)
。
导航菜单
个人工具
登录
命名空间
页面
讨论
变种
视图
阅读
查看源代码
查看历史
更多
搜索
导航
首页
最近更改
随机页面
帮助
工具
链入页面
相关更改
特殊页面
页面信息