<div class="blogpost-body" id="cnblogs_post_body">
<div class="Section0">
<p align="center"> </p>
<p align="center"><span style="font-family:'Noto Sans CJK JP Regular';"><img alt="" src="https://beijingoptbbs.oss-cn-beijing.aliyuncs.com/cs/5606289-20e4528ae9f6de44b8824f397d1ef18d.jpg"></span></p>
<p align="center"><span style="font-family:'Noto Sans CJK JP Regular';">附</span> <span style="font-family:'Noto Sans CJK JP Regular';">录</span> <strong>A CS</strong><span style="font-family:'Noto Sans CJK JP Regular';">（</span> <span style="font-family:'Noto Sans CJK JP Regular';">计算机科学）知识体</span></p>
<p> </p>
<p align="justify"><span style="font-family:'Noto Sans CJK JP Regular';">计算教程</span> 2001 报告的这篇附录定义了计算机科学本科教学计划中可能讲授的知识领域。该分类方案的依据及其历史、结构和应用的其它细节包含在完整的任务组报告中。由于我们希望附录比完整的报告有更多的读者，所以任务组认为在每一篇附录中概述理解该推荐所必须的基本概念是重要的。在下面几节中我们列出了最重要的几个概念。</p>
<p> </p>
<p>知识体的结构</p>
<p align="justify">计算机科学知识体分层组织成三个层次。最高一层是领域（area），代表一个特定的学科子领域。每个领域由一个两个字母的缩写词<span style="font-family:'Noto Sans CJK JP Regular';">表示，比如</span> OS 代表操作系统，PL 代表程序设计语言，领域之下又被分割成更小的单元</p>
<p align="justify">（units），代表领域中单独的主题模块。每个单元都用一个领域名加一个数字后缀表<span style="font-family:'Noto Sans CJK JP Regular';">示，比如</span> OS3 是关于并发的单元。各个单元由被细分成主题（topics）<span style="font-family:'Noto Sans CJK JP Regular';">，这是</span> CS 知识体层次结构的最底层。</p>
<p> </p>
<p align="justify">离散结构（<strong>DS</strong>）</p>
<p align="justify"><strong>DS1. </strong>函数,<span style="font-family:'Noto Sans CJK JP Regular';">关系</span>,集合[核心]</p>
<p align="justify"><strong>DS2</strong><strong>. </strong><span style="font-family:'Noto Sans CJK JP Regular';">基本逻辑</span>[核心]</p>
<p align="justify"><strong>DS3</strong><strong>. </strong><span style="font-family:'Noto Sans CJK JP Regular';">证明技术</span>[核心]</p>
<p align="justify"><strong>DS4</strong><strong>. </strong><span style="font-family:'Noto Sans CJK JP Regular';">计算基础</span>[核心]</p>
<p align="justify"><strong>DS5. </strong><span style="font-family:'Noto Sans CJK JP Regular';">图和树</span>[核心]</p>
<p align="justify"><strong>DS6. </strong><span style="font-family:'Noto Sans CJK JP Regular';">离散概率</span>[核心]</p>
<p> </p>
<p>DS1.函数、关系、集合论[核心] 主题：</p>
<p><span style="font-family:'Noto Sans CJK JP Regular';">函数</span> <span style="font-family:'Noto Sans CJK JP Regular';">（满射、入射、逆、复合）</span></p>
<p align="justify"><span style="font-family:'Noto Sans CJK JP Regular';">关系</span> <span style="font-family:'Noto Sans CJK JP Regular';">（自反、对称、传递、等价关系）</span> <span style="font-family:'Noto Sans CJK JP Regular';">集合</span> <span style="font-family:'Noto Sans CJK JP Regular';">（文氏图、补集、笛卡尔积、幂集）</span></p>
<p align="justify">鸽洞原理</p>
<p align="justify">基数和可数性</p>
<p align="justify">学习目标：</p>
<p>1． 举例说明基本术语：函数、关系和集合。</p>
<p>2． 执行与函数、关系和集合相关的运算。</p>
<p align="justify">3． 把实例与适当的集合、函数或关系模型相联系，并在上下文中解释相关的操作和术语。</p>
<p>4． 解释基本的计算原理，包括对角化和鸽洞原理的应用。</p>
<p> </p>
<p>DS2. 基本逻辑 （核心） 主题：</p>
<p><span style="font-family:'Noto Sans CJK JP Regular';">命</span> <span style="font-family:'Noto Sans CJK JP Regular';">题</span> <span style="font-family:'Noto Sans CJK JP Regular';">逻</span> <span style="font-family:'Noto Sans CJK JP Regular';">辑</span> <span style="font-family:'Noto Sans CJK JP Regular';">逻辑联结词真值表</span></p>
<p><span style="font-family:'Noto Sans CJK JP Regular';">范式（合取与析取范式）</span> <span style="font-family:'Noto Sans CJK JP Regular';">永真性</span></p>
<p>谓词逻辑</p>
<p>全称量词和存在量词</p>
<p><span style="font-family:'Noto Sans CJK JP Regular';">假言推理和否定后件推理（</span> modus tallens）</p>
<p>谓词逻辑的局限性</p>
<p>学习目标：</p>
<p>1． <span style="font-family:'Noto Sans CJK JP Regular';">应 |
|
转播
