1、东北石油大学离散数学Discrete Mathematics(第 1章 )School of Software, Northeast Petroleum University2计算机学院School of computer & information technology计算教程 20013计算机学院School of computer & information technologyOverview of the CS Body of Knowledgev Discrete structures (DS)v Programming Fundamentals(PF)v Algorithms a
2、nd Complexity (AL)v Architecture and Organization (AR)v Operating Systems(OS)v Net-Centric Computing (NC)v Programming Langurages(PL)v Human-Computer Interaction(HC)v Graphics and Visual Computing(GV)v Intelligent Systems(IS)v Information Management(IM)v Social and Professional Issues(SP)v Software
3、Engineering (SE)v Computational Science and Numerical Methods(CN)4计算机学院School of computer & information technologyDiscrete Structures(43 core hours)vDS1.Functions, relations, and sets (6)vDS2.Basic logic (10)vDS3.Proof techniques (12)vDS4.Basics of counting(5)vDS5.Graphs and trees(4)vDS6.Discrete pr
4、obability(6)5计算机学院School of computer & information technologyAdvanced coursesvCS301.CombinatoricsvCS302.Probability and StatisticsvCS303.Coding and Information Theory6计算机学院School of computer & information technology课程地位核心基础课程后继课程 : 数据结构 , 操作系统 , 数据库 , 编译原理、人工智能、形式语言与自动机等。打好编程基础 有助于理解算法精髓，将算法转变为程序代码。
5、 提高抽象思维能力7计算机学院School of computer & information technology课程内容1. 数理逻辑2. 集合论3. 代数结构4. 组合数学5. 图论6. 初等数论8计算机学院School of computer & information technology主要内容v命题逻辑基本概念v命题逻辑等值演算v命题逻辑推理理论v一阶逻辑基本概念v一阶逻辑等值演算与推理第一部分 数理逻辑全书共 150个定义， 81个定理， 152道例题。9计算机学院School of computer & information technology第一章 命题逻辑的基本概念v
6、主要内容命题、联结词、复合命题命题公式、赋值、命题公式类型v本章与后续各章的关系本章是后续各章的准备和前提v本章特点概念多 (10个定义 ), 理论少 (没有定理 )。10计算机学院School of computer & information technology1.1 命题与联结词例 1 下列句子中那些是命题？(1) 是有理数 .(2) 2 + 5 = 7.(3) x + 5 3.(4) 你去教室吗？(5) 这个苹果真大呀！(6) 请不要讲话！(7) 2050年元旦下大雪 . (8) 人能活千岁 .(9) 火星上有水 .(10) 我正说假话 .假命题真命题不是命题 不是命题 不是命题不是命题命题，但真值现在不知道假命题是命题不是命题 一 . 命题与真值
