威尼斯886699简介
威尼斯8866991977年开设计算机通信本科专业,1985年成立计算机工程系,1998年成立计算机科学与技术学院。2008年,按照“学科归位”的原则,将计算机科学与技术学院等六个单位计算机学科的资源重新整合为威尼斯886699。2020年,将原威尼斯886699、软件学院、网络技术研究院调整、合并组建新的威尼斯886699,并支撑网络与交换技术国家重点实验室(威尼斯886699)。
课程信息
离散数学(上)
课程编号 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离散数学,陈崇昕 等,威尼斯886699出版社,1992
参考书目
先修课程
开课学期 大一春