课程介绍：<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><span></span>                </p>                <p class="MsoNormal">                    <span>&nbsp;</span>                </p>            </td>        </tr>    </tbody></table>

开课学年：2016-2017

开课学期：秋学期

课程号：2016-2017-1-MA115-378522

学分：2.0

课程类型：本科生课程

是否精品课程：否

选课人数：74

课时：32.0