加入收藏 | 设为首页 | 搜索
计算机学院( 国家示范性软件学院 )简介
北京邮电大学1977年开设计算机通信本科专业,1985年成立计算机工程系,1998年成立计算机科学与技术学院。2008年,按照“学科归位”的原则,将计算机科学与技术学院等六个单位计算机学科的资源重新整合为计算机学院。2020年,将原计算机学院、软件学院、网络技术研究院调整、合并组建新的计算机学院(国家示范性软件学院),并支撑网络与交换技术国家重点实验室(北京邮电大学)。
课程信息
离散数学(上)
课程编号 123.04402
课程名称 离散数学(上)
任课老师   徐六通   吴斌   杨娟
课程类型 必修/学位课
课程阶段 本科
学时学分 51学时3学分
基本要求
内容提要 离散数学包括集合论、逻辑学、图论、组合学和抽象代数等重要内容,离散数学(上)包括命题逻辑、谓词逻辑、问题的形式化描述方法、推理的证明方法、集合运算及其性质、数学结构、计数初步、递推关系、二元关系及其性质、函数与置换、函数的增长与程序的运行时间。
教学方式
指定教材 Discrete Mathematical Structures/4e, Kolman B. et al, Prentice Hall, 2001 Discrete Mathematics and Its Applications/5e, Kenneth H. Rosen, McGraw-Hill, 2003离散数学,陈崇昕 等,北京邮电大学出版社,1992
参考书目
先修课程
开课学期 大一春
更多内容