“2022级--学期安排 (第一学期)”的版本间的差异
来自问题求解
| （未显示同一用户的2个中间版本） | |||
| 第92行： | 第92行： | ||
<tr> | <tr> | ||
<td>10.10-10.14</td> | <td>10.10-10.14</td> | ||
| − | <td>[[媒体文件:计算机问题求解-2022-10-10-基本的算法结构.pptx|1-4：基本的算法结构]</td> | + | <td>[[媒体文件:计算机问题求解-2022-10-10-基本的算法结构.pptx|1-4：基本的算法结构]]</td> |
<td> | <td> | ||
<ul> | <ul> | ||
| 第112行： | 第112行： | ||
<tr> | <tr> | ||
<td>10.17-10.21</td> | <td>10.17-10.21</td> | ||
| − | <td>[[媒体文件:计算机问题求解-2022-10-17-数据与数据结构.pptx|1-5：数据与数据结构]</td> | + | <td>[[媒体文件:计算机问题求解-2022-10-17-数据与数据结构.pptx|1-5：数据与数据结构]]</td> |
<td> | <td> | ||
<ul> | <ul> | ||
| 第132行： | 第132行： | ||
<tr> | <tr> | ||
<td>10.24-10.28</td> | <td>10.24-10.28</td> | ||
| − | <td>[[媒体文件:计算机问题求解-2022-10-24-如何将算法告诉计算机.pptx|1-6：算法的描述]</td> | + | <td>[[媒体文件:计算机问题求解-2022-10-24-如何将算法告诉计算机.pptx|1-6：算法的描述]]</td> |
<td> | <td> | ||
<ul> | <ul> | ||
| 第152行： | 第152行： | ||
<tr> | <tr> | ||
<td>10.31-11.4</td> | <td>10.31-11.4</td> | ||
| − | <td>[[媒体文件:计算机问题求解-2022-10-31-不同的程序设计方法.pptx|1-7：不同的程序设计方法]</td> | + | <td>[[媒体文件:计算机问题求解-2022-10-31-不同的程序设计方法.pptx|1-7：不同的程序设计方法]]</td> |
<td> | <td> | ||
<ul> | <ul> | ||
| 第171行： | 第171行： | ||
<tr> | <tr> | ||
<td>11.7-11.11</td> | <td>11.7-11.11</td> | ||
| − | <td>1-8：集合及其运算</td> | + | <td>[[媒体文件:计算机问题求解-2022-11-7-集合及其运算.pptx|1-8：集合及其运算]]</td> |
<td> | <td> | ||
<ul> | <ul> | ||
| 第191行： | 第191行： | ||
<tr> | <tr> | ||
<td>11.14-11.18</td> | <td>11.14-11.18</td> | ||
| − | <td>1-9：关系及其基本运算</td> | + | <td>[[媒体文件:计算机问题求解-2022-11-14-关系及其性质.pptx|1-9：关系及其基本运算]]</td> |
<td> | <td> | ||
<ul> | <ul> | ||
| 第212行： | 第212行： | ||
<tr> | <tr> | ||
<td>11.21-11.25</td> | <td>11.21-11.25</td> | ||
| − | <td>1-10：函数</td> | + | <td>[[媒体文件:计算机问题求解-2022-11-21-函数.pptx|1-10：函数]]</td> |
<td> | <td> | ||
<ul> | <ul> | ||
| 第232行： | 第232行： | ||
<tr> | <tr> | ||
<td>11.28-12.2</td> | <td>11.28-12.2</td> | ||
| − | <td>1-11：算法方法</td> | + | <td>[[媒体文件:计算机问题求解-2022-11-28-算法方法.pptx|1-11：算法方法]]</td> |
<td> | <td> | ||
<ul> | <ul> | ||
| 第251行： | 第251行： | ||
<tr> | <tr> | ||
<td>12.5-12.9</td> | <td>12.5-12.9</td> | ||
| − | <td>1-12：算法的正确性</td> | + | <td>[[媒体文件:计算机问题求解-2022-12-05-算法的正确性.pptx|1-12：算法的正确性]]</td> |
<td> | <td> | ||
<ul> | <ul> | ||
| 第271行： | 第271行： | ||
<tr> | <tr> | ||
<td>12.12-12.16</td> | <td>12.12-12.16</td> | ||
| − | <td>1-13：有限与无限</td> | + | <td>[[媒体文件:计算机问题求解-2022-12-12-有限与无限.pptx|1-13：有限与无限]]</td> |
<td> | <td> | ||
<ul> | <ul> | ||
| 第294行： | 第294行： | ||
<tr> | <tr> | ||
<td>12.19-12.23</td> | <td>12.19-12.23</td> | ||
| − | <td>1-14：算法的效率</td> | + | <td>[[媒体文件:计算机问题求解-2022-12-19-算法的效率.pptx|1-14：算法的效率]]</td> |
<td> | <td> | ||
<ul> | <ul> | ||
2023年1月2日 (一) 10:32的最新版本
基本要求
- 理解计算思维最核心的概念，了解计算的基本方法与局限。
- 接受基本的形式化训练，掌握抽象数学证明的基本方法。
注意：程序设计能力要求贯穿于整个课程，不再单列。
指定教材
- 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-Verlag, 2011
- ES: Edward Scheinerman: Mathematics - A Discrete Introduction, 2nd ed. Brooks/Cole, 2005 (第24节：鸽巢原理)
- WS: Walter Savitch: Problem Solving with C++, 9th ed. Pearson, 2015
推荐课外读物
- Tony Hey et al.: The Computing Universe: A Journey Through a Revolution. Cambridge University Press, 2015
学习周历
注意：以下日期不是指上课时间，而是以“周”为单位的学习任务分配时间，特别是由于国庆节、元旦等假期影响，上课时间可能会有微调，但任务周期不受影响。
| 日期 | 论题 | 学习目的 | 阅读材料 | 引导要点 |
|---|---|---|---|---|
| 9.19-9.23 | 1-1：为什么计算机能解题 |
|
|
|
| 9.26-9.30 | 1-2：什么样的推理是正确的 |
|
|
|
| 10.3-10.7 | 1-3：常用的证明方法 |
|
|
|
| 10.10-10.14 | 1-4：基本的算法结构 |
|
|
|
| 10.17-10.21 | 1-5：数据与数据结构 |
|
|
|
| 10.24-10.28 | 1-6：算法的描述 |
|
|
|
| 10.31-11.4 | 1-7：不同的程序设计方法 |
|
|
|
| 11.7-11.11 | 1-8：集合及其运算 |
|
|
|
| 11.14-11.18 | 1-9：关系及其基本运算 |
|
|
|
| 11.21-11.25 | 1-10：函数 |
|
|
|
| 11.28-12.2 | 1-11：算法方法 |
|
|
|
| 12.5-12.9 | 1-12：算法的正确性 |
|
|
|
| 12.12-12.16 | 1-13：有限与无限 |
|
|
|
| 12.19-12.23 | 1-14：算法的效率 |
|
|
|
| 寒假自学 | 1-15：问题的难度 |
|
|
|
| 寒假自学 | 1-16：基本计算模型与不可计算性 |
|
|
|
| 寒假自学 | 1-17：并行与并发 |
|
|
|
| 寒假自学 | 1-18：模算术与费马小定理 |
|
|
