(2006)离散数学 上海师范大学本科课程教学大纲.doc_第1页
(2006)离散数学 上海师范大学本科课程教学大纲.doc_第2页
(2006)离散数学 上海师范大学本科课程教学大纲.doc_第3页
全文预览已结束

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

上海师范大学本科课程教学大纲课程名称：离散数学(I,II) (Discrete Mathematics)学分：6 总学时：108开课专业：信息与计算科学专业一、课程性质、目的和培养目标离散数学是信息与计算专业的限定选修课。离散数学是现代数学的一个重要分支，也是信息与计算科学的基础理论。离散数学是以研究离散量的结构和相互的关系为主要目标，其研究对象一般地是有限个或可数个元素，因此她充分描述了信息科学，特别计算机科学离散性特点。 这门课程主要介绍离散数学中的基本研究领域，包含了基础理论和应用两个部分。基础理论包括了数理逻辑、朴素集合论、代数结构与布尔代数、图论等四方面内容；应用部分主要介绍形式语言和自动机以及纠错码初步。通过教学要求学生掌握离散数学的基本概念、基本推理技巧与方法，通过学习培养学生的抽象思维和慎密概括能力，并为后续课程的学习打下良好的数学理论基础。二、预修课程： 线性代数三、 课程内容及学时分配第一章 命题逻辑(1) 命题及其表示法(2) 命题逻辑语法与推理(3) 命题逻辑语义与范式本章学时数：12，本章习题数：20第二章 谓词逻辑(1) 谓词的概念与表示(2) 谓词逻辑的语法(3) 谓词演算的等价与范式(4) 谓词演算的推理理论本章学时数：12，本章习题数：18第三章 集合与关系(1) 集合的概念与表示(2) 集合的运算(3) 关系(4) 集合的划分与等价关系本章学时数：12；习题数：20第四章 函数与基数(1) 函数的概念与函数运算(2) 特征函数与模糊集合(3) 基数的概念与可数集本章学时数：8；习题数：10第五章 代数结构(1) 代数系统的概念与运算(2) 半群与群(3) 阿贝尔群与循环群(4) 陪集与拉格朗日定理(5) 同态与同构本章学时数：16；习题数20第六章 格与布尔代数(1) 序关系(2) 格的概念(3) 分配格与有补格(4) 布尔代数本章学时数：12；习题数：20第七章 图论(1) 图的基本概念(2) 路与回路(3) 欧拉图(4) 树的概念(5) 树与根树本章学时数：12；习题数：18第八章 形式语言与自动机(1) 语言的概念(2) 正规语言(3) 形式文法(4) 有限状态自动机本章学时数：15；习题数：20 第九章 纠错码初步(1) 通讯模型与纠错的基本概念(2) 海明码与线性分组码本章学时数：9；习题数：6五、 教材和参考书目 教材：离散数学，左孝凌等编著，上海科学技术文献出版社，1982.参考书目：(1)Discrete Mathematical Structures(离散数学结构)(第三版)，Bernard Kolman等编著，清华大学出版社，1997. (2) Elements of the Theory of Computation(计算理论)(第2版)，Harry R. Lewis等编著，清华大学出版社，19
人人文库> 全部分类> 行业资料 > 管理策划

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论