“2017级--学期安排 (第一学期)”的版本间的差异
来自问题求解
(→学习周历: +1-7 作业) |
小 (→学习周历) |
||
(未显示同一用户的6个中间版本) | |||
第139行: | 第139行: | ||
|- | |- | ||
| | | | ||
− | 2017-11- | + | 2017-11-xx |
| | | | ||
* 1-7: 不同的程序设计方法 | * 1-7: 不同的程序设计方法 | ||
第151行: | 第151行: | ||
* 在网上查一下,什么是 scripting language,它们和 C++ 这样的程序设计语言有什么不同? | * 在网上查一下,什么是 scripting language,它们和 C++ 这样的程序设计语言有什么不同? | ||
* 用 [https://en.wikipedia.org/wiki/Prolog Prolog] 语言编写 Tower of Hanoi 问题求解程序。 | * 用 [https://en.wikipedia.org/wiki/Prolog Prolog] 语言编写 Tower of Hanoi 问题求解程序。 | ||
− | * ( | + | * 某个企业的员工工资信息采用如下list形式存放。请你写出求该企业月工资发放总额的函数式程序。 |
+ | ** 表名:Employee_Salary | ||
+ | ** 表结构:(employee_ID salary) | ||
+ | ** 样例:((20160226001 21000) (20160226002 19800)……) | ||
+ | ** 可能用到的表操纵基本函数:first;rest | ||
+ | | | ||
+ | * 待定 | ||
+ | |- | ||
+ | | | ||
+ | 2017-11-xx | ||
+ | | | ||
+ | * 1-8: 集合及其运算 | ||
+ | | | ||
+ | * 掌握集合的基本概念以及基本数学性质 | ||
+ | * 进一步巩固数学证明能力 | ||
+ | | | ||
+ | * UD第6、7、8、9章 | ||
+ | | | ||
+ | * 集合语言是形式化方法的基础,也是算法问题表述的基本手段 | ||
+ | | | ||
+ | (纸质版) | ||
+ | * UD第6章问题 7、16、17 | ||
+ | * UD第7章问题 1、8、9、10、11 | ||
+ | * UD第8章问题 1、4、7、8、9、11 | ||
+ | * UD第9章问题 2、4、12、13、14、16 | ||
+ | | | ||
+ | * 待定 | ||
+ | |- | ||
+ | | | ||
+ | 2017-11-xx | ||
+ | | | ||
+ | * 1-9: 关系及其基本性质 | ||
+ | | | ||
+ | * 掌握关系的概念与基本数学性质 | ||
+ | * 理解等价关系与次序关系的数学性质 | ||
+ | * 进一步巩固数学证明能力 | ||
+ | | | ||
+ | * UD第10、11、12章 | ||
+ | | | ||
+ | * 对象及其相互之间的关系是所有数学建模的核心概念 | ||
+ | | | ||
+ | (纸质版) | ||
+ | * UD第10章问题 2、4、5、8 | ||
+ | * UD第11章问题 3、7、8、9 | ||
+ | * UD第12章问题 10、13b、16、20、22、23 | ||
| | | | ||
* 待定 | * 待定 | ||
|} | |} |
2017年11月16日 (四) 12:57的版本
基本要求
- 理解计算思维最核心的概念,了解计算的基本方法与局限。
- 接受基本的形式化训练,掌握抽象数学证明的基本方法。
- 程序设计能力。
指定教材
- DH: David Harel et al.: Algorithmics - The Spirit of Computing, 3rd ed. Addison-Wesley, 2004
- UD: Ulrich Daepp et al.: Reading, Writing, and Proving - A Closer Look at Mathematics, 2nd ed. Springer, 2003
- ES: Edward Scheinerman: Mathematics - A Discrete Introduction, 2nd ed. Brooks/Cole, 2005 (第24节:鸽巢原理)
- WS: Walter Savitch: Problem Solving with C++, 9th ed. Addison Wesley, 2013
推荐课外读物
- Gary Shelly et al.: Discovering Computers 2011 - Living in a Digital World. Course Technology, 2011
学习周历
日期 | 论题 | 学习目的 | 阅读材料 | 引导要点 | 书面作业 | 编程任务 |
---|---|---|---|---|---|---|
2017-09-25 | ||||||
2017-09-28 |
|
|
|
|
| |
2017-10-12 |
|
|
|
|
| |
2017-10-19 |
|
|
|
|
| |
2017-10-26 |
|
|
|
|
| |
2017-11-02 |
|
|
|
|
| |
2017-11-09 |
|
|
|
|
| |
2017-11-xx |
|
|
|
|
|
|
2017-11-xx |
|
|
|
|
(纸质版)
|
|
2017-11-xx |
|
|
|
|
(纸质版)
|
|