“2012级--学期安排 (第一学期)”的版本间的差异

来自问题求解
跳转至： 导航、 搜索
小 （Admin移动2012级--学习周历 (第一学期)页面至2012级--学期安排 (第一学期)，不留重定向）
第18行： 第18行：
 
   <li>Gary Shelly et al.: Discovering Computers 2011 - Living in a Digital World. Course Technology, 2011</li>
 
   <li>Gary Shelly et al.: Discovering Computers 2011 - Living in a Digital World. Course Technology, 2011</li>
 
</ul>
 
</ul>
 +
 +
==学习周历==
 +
<table border="1px">
 +
    <th>日期</th>
 +
    <th>论题</th>
 +
    <th>学习目的</th>
 +
    <th>阅读材料</th>
 +
    <th>引导要点</th>
 +
    <th>编程任务</th>
 +
  </tr>
 +
  <tr>
 +
    <td>9.24--9.28</td>
 +
    <td>1-1：为什么计算机能解题</td>
 +
    <td>
 +
      <ul>
 +
        <li>理解问题求解的基本过程</li>
 +
        <li>理解计算机中简单操作为什么能解决复杂问题</li>
 +
      </ul>
 +
    </td>
 +
    <td>
 +
      <ul>
 +
        <li>DH第1章</li>
 +
        <li>UD第1章</li>
 +
      </ul>
 +
    </td>
 +
    <td>
 +
      <ul>
 +
        <li>简单操作能够解决各种复杂问题的关键是算法</li>
 +
      </ul>
 +
    </td>
 +
    <td>
 +
      <ul>
 +
        <li>WS DISPLAY 1.10</li>
 +
      </ul>
 +
    </td>
 +
  </tr>
 +
  <tr>
 +
    <td>10.8--10.12</td>
 +
    <td>1-2：什么样的推理是正确的</td>
 +
    <td>
 +
      <ul>
 +
        <li>掌握命题逻辑与谓词逻辑的基本推导方法</li>
 +
      </ul>
 +
    </td>
 +
    <td>
 +
      <ul>
 +
        <li>UD第2、3、4章</li>
 +
      </ul>
 +
    </td>
 +
    <td>
 +
      <ul>
 +
        <li>计算机解题的关键是正确的推导</li>
 +
        <li>其正向是算法的设计，其反向是正确性证明</li>
 +
      </ul>
 +
    </td>
 +
    <td>
 +
      <ul>
 +
        <li>WS 第2章PP3</li>
 +
        <li>WS 第2章PP10</li>
 +
      </ul>
 +
    </td>
 +
  </tr>
 +
  <tr>
 +
    <td>10.15--10.19</td>
 +
    <td>1-3：常用的证明方法</td>
 +
    <td>
 +
      <ul>
 +
        <li>掌握逻辑正确的常用证明方法</li>
 +
      </ul>
 +
    </td>
 +
    <td>
 +
      <ul>
 +
        <li>UD第5、17章</li>
 +
        <li>ES第24节</li>
 +
      </ul>
 +
    </td>
 +
    <td>
 +
      <ul>
 +
        <li>为什么这些方法逻辑上是正确的</li>
 +
      </ul>
 +
    </td>
 +
    <td>
 +
      <ul>
 +
        <li>WS 第2章PP14</li>
 +
        <li>WS 第3章PP1</li>
 +
      </ul>
 +
    </td>
 +
  </tr>
 +
</table>

2012年9月24日 (一) 12:21的版本

基本要求

  • 理解计算思维最核心的概念，了解计算的基本方法与局限。
  • 接受基本的形式化训练，掌握抽象数学证明的基本方法。

注意：程序设计能力要求贯穿于整个课程，不再单列。

指定教材

  • DH: David Harel et al.: Algorithmics - The Spirit of Computing, 3rd ed. Addison-Wesley, 2004
  • ES: Edward Scheinerman: Mathematics - A Discrete Introduction, 2nd ed. Brooks/Cole, 2005 (第24节：鸽巢原理)
  • UD: Ulrich Daepp et al.: Reading, Writing, and Proving - A Closer Look at Mathematics, 1st ed. Springer, 2003
  • 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

学习周历

 </tr>
日期 论题 学习目的 阅读材料 引导要点 编程任务
9.24--9.28 1-1：为什么计算机能解题
  • 理解问题求解的基本过程
  • 理解计算机中简单操作为什么能解决复杂问题
  • DH第1章
  • UD第1章
  • 简单操作能够解决各种复杂问题的关键是算法
  • WS DISPLAY 1.10
10.8--10.12 1-2：什么样的推理是正确的
  • 掌握命题逻辑与谓词逻辑的基本推导方法
  • UD第2、3、4章
  • 计算机解题的关键是正确的推导
  • 其正向是算法的设计，其反向是正确性证明
  • WS 第2章PP3
  • WS 第2章PP10
10.15--10.19 1-3：常用的证明方法
  • 掌握逻辑正确的常用证明方法
  • UD第5、17章
  • ES第24节
  • 为什么这些方法逻辑上是正确的
  • WS 第2章PP14
  • WS 第3章PP1
取自“http://cslabcms.nju.edu.cn/problem_solving/index.php?title=2012级--学期安排_(第一学期)&oldid=270”