课程介绍：<table class="MsoNormalTable" border="1" cellspacing="0" cellpadding="0" width="992" style="border: none;">
    <tbody>
        <tr>
            <td width="752" style="border: solid windowtext 1.0pt;">
                <p class="MsoNormal">
                    <span>&nbsp; </span>
                </p>
                <p class="MsoNormal" style="text-indent: 21.75pt;">
                    <span style="">离散数学包含的范围十分广泛，结合国内的教学具体情况，本科生离散数学课程主要包含数理逻辑、集合论、图论和代数结构这四部份知识。这些概念、理论以及方法大量地应用在计算机科学、数字电路、控制系统、人工智能、制造业等理工科多专业多门类中；同时，该课程所提供的训练十分有益于学生概括抽象能力、逻辑思维能力、归纳构造能力的提高。<span></span></span>
                </p>
                <p class="MsoNormal" style="text-indent: 21.0pt;">
                    <span style="">工科平台<span>3</span>学分<span>48</span>学时的课程内容，包括数理逻辑、集合论和图论，限于学时限制取消代数结构。具体要求掌握数理逻辑：命题逻辑和一阶谓词逻辑演算推理系统；集合论：集合的运算、函数及更广泛的二元关系、集合论公理系统基本知识、集合的势及其运算；图论：图的代数表达、图的点边关系、平面图的点边面关系、欧拉图和哈密尔顿图、对偶图、树及其应用。</span><span></span>
                </p>
                <p class="MsoNormal">
                    <span>&nbsp;</span>
                </p>
            </td>
        </tr>
    </tbody>
</table>

考试形式：笔试

开课学年：2022-2023

开课学期：秋学期

课程号：(2022-2023-1)-CS2501-1

学分：3.0

课程类型：本科生课程

是否精品课程：否

选课人数：36

课时：48.0