离散数学教学大纲48学时

“离散数学”课程教学大纲

课程英文名称：Discrete Methemetics

课程编号：05141201 课程类型：专业核心课 总学时：64 学 分：4

使用对象：信息与系统工程学院计算机专业(民、汉本) 选修课程：高等数学、线形代数、C语言 使用教材及参考书 教 材：《离散数学》，耿素云、屈婉玲编著，高等教育出版社，2004年1月，面向21世纪教材。 参考书：《离散数学》，左孝凌，刘永才编著，上海科学技术出版社，1988年2月

— 课程性质、目的和任务

离散数学是计算机科学的理论基础，对于培养学生的逻辑思维和分析问题、解决问题的能力起着重要作用。通过离散数学的教学，不仅能为学生的专业课学习及将来从事的软、硬件开发和应用研究打下坚实的基础，同时也能培养他们抽象思维和严格逻辑推理能力。

二、教学基本要求

离散数学是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。它以研究离散量的结构和相互之间的关系为主要目标，其研究对象一般是有限个或可数个元素，因此它充分描述了计算机科学离散性的特点。

本课程包括数理逻辑、集合论、代数结构，图论等四个内容。考虑到教学时数，要求学生掌握只选数理逻辑、集合论、图论等内容

理 学

院

《离散数学基础》实验教学大纲

课程名称：离散数学基础实验 课程编号：080J21A 课程总学时：51 实验学时数：17 课程总学分：2.5 实验学分：0.5 开设实验项目数：5

一、实验教学目的

面向离散数学在计算机中的应用，通过实验操作，使学生掌握研究计算机科学的基础理论，进一步提高学生的抽象思维与逻辑推理能力，增强实际应用能力。 二、实验项目内容、基本要求与学时分配 序号 1 2 3 4 5 实验项目名称 逻辑运算 递推与递归 最短路问题 树与排序 排列组合 实验类型 操作 操作 设计 操作 设计 实验要求 必做 必做 必做 必做 必做 应达到的基本实验内容简介 逻辑运算、逻辑推理 递推与递归定义、推理与应用 最短路算法及应用 树的性质、冒泡排序 排列组合、二项式系数 要求 逻辑推理 推理应用 算法程序 排序 算法程序 学时分配 4 4 4 2 3 注：1、实验类型：演示、验证、操作、综合、设计、研究。2、实验要求：指必做、选做。 三、实验考核方式与标准

实验考核以学生的实验态度、掌握的实验理论、实际操作技能和实验报告等为主，各单项考核内容所占分数比例为：实

《系统解剖学》课程教学大纲

Systematic anatomy

一、课程说明

课程编码:01110013 课程总学时:96(理论学时66/实践学时30) 周学时:8（理论学时5/实践学时3） 学分:5

课程性质:必修 适用专业:临床、眼、麻、影、口、法医等

1、教学内容与学时安排

教 学 内 容 与 学 时 安 排 表

章次 一 二 三 四 五 六 内 容 绪论 运动系统 内脏学 脉管系统 感觉器 神经系统 总课时 2 21 19 16 5 33 理论课时 2 6 16 14 4 24 实践课时 0 15 3 2 1 9 2、课程教学目的与要求

目的：系统解剖学是研究正常人体形态结构的科学。名词多、描述多是其特点。学习这门课程的目的是使医学生理解和掌握正常人体形态结构的知识，为学习其他基础医学和临床医学课程奠定坚实的基础。

（一）通过课堂讲授和自学，要求学生掌握本学科的基础理论。

（二）通过实习课，对基本内容进行实地解剖标本观察，并密切结合活体，掌握各部的形态结构，学会画出必要的简图，能进行分析比较，写出实习小结。达到理解基础理论，加深巩固基本知

南方医组培教学大纲

组织学与胚胎学教学大纲

适用专业：中医学专业（五年制本科）、中西医结合专业（五年制本科）、生物信息学专业（四年制本科）、护理学专业（四年制本科）、生物技术专业（四年制本科）、预防医学专业（食品安全方向）（五年制本科）、预防医学专业（五年制本科）、口腔

医学专业（五年制本科）

南方医科大学组织学与胚胎学教研室编制

目录

前言 第14章 消化管

第1章 组织学绪论 第15章 消化腺

第2章 上皮组织 第16章 呼吸系统

第3章 结缔组织 第17章 泌尿系统

第4章 血液 第18章 男性生殖系统

第5章 软骨和骨 第19章 女性生殖系统

第6章 肌组织 第20章 胚胎学绪论

第7章 神经组织 第21章 胚胎发生总论

第8章 神经系统 第22章 颜面和四肢的发生

第9章 眼和耳 第23章 消化系统和呼吸系统的发生

第10章 循环系统

《离散数学》复习资料 2014年12月

一、单项选择题（每小题3分，本题共15分）

1．若集合A={1，2}，B={1，2，{1，2}}，则下列表述正确的是( A )．

A． A?B，且A?B B．B?A，且A?B C．A?B，且A?B D．A?B，且A?B 2．设有向图（a）、（b）、（c）与（d）如图一所示，则下列结论成立的是 ( D )．

图一 A．（a）是强连通的 B．（b）是强连通的

C．（c）是强连通的 D．（d）是强连通的 3．设图G的邻接矩阵为

?01100??10011???

?10000???01001????01010??则G的边数为( B )．

A．6 B．5 C．4 D．3

4．无向简单图G是棵树，当且仅当( A )．

A．G连通且边数比结点数少1 B．G连通且结点数比边数少1 C．G的边数比结点数少1 D．G中没有回路． 5．下列公式 ( C

离散数学标准化作业纸 专业班级 学号 姓名 第一章 命题逻辑的基本概念

一、判断下列语句是否是命题，若是命题是复合命题则请将其符号化 （1）中国有四大发明。 （2）2是有理数。 （3）“请进！”

（4）刘红和魏新是同学。 （5）a+b

（6）你去图书馆吗？

（7）如果买不到飞机票，我哪儿也不去。

（8）侈而惰者贫，而力而俭者富。（韩非：《韩非子?显学》） （9）火星上有生命。 （10）这朵玫瑰花多美丽啊！

二、将下列命题符号化，其中p:2<1,q:3<2 （1）只要2<1，就有3<2。 （2）如果2<1，则3?2。 （3）只有2<1，才有3?2。 （4）除非2<1，才有3?2。 （5）除非2<1，否则3?2。 （6）2<1仅当3<2。 三、将下列命题符号化

(1)小丽只能从筐里拿一个苹果或一个梨。 (2)王栋生于1992年或1993年。

- 1 -

离散数学标准化作业纸 专业班级 学号 姓名 四、设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。 （1）p∨(q∧r) （2）（p?r）

第一讲 引言

一、课程内容

·数理逻辑：是计算机科学的基础，应熟练掌握将现实生活中的条件化成逻辑公式，并能做适当的推理，这对程序设计等课程是极有用处的。 ·集合论：数学的基础，对于学习程序设计、数据结构、编译原理等几乎所有计算机专业课程和数学课程都很有用处。熟练掌握有关集合、函数、关系等基本概念。 ·代数结构：对于抽象数据类型、形式语义的研究很有用处。培养数学思维，将以前学过的知识系统化、形式化和抽象化。熟练掌握有关代数系统的基本概念，以及群、环、域等代数结构的基本知识。 ·图论：对于解决许多实际问题很有用处，对于学习数据结构、编译原理课程也很有帮助。要求掌握有关图、树的基本概念，以及如何将图论用于实际问题的解决，并培养其使用数学工具建立模型的思维方式。 ·讲课时间为两个学期，第一学期讲授数理逻辑与集合论，第二学期讲授代数结构和图论。考试内容限于书中的内容和难度，但讲课内容不限于书中的内容和难度。

二、数理逻辑发展史

1. 目的

·了解有关的背景，加深对计算机学科的全面了解，特别是理论方面的了解，而不限于将计算机看成是一门技术或工程性的学科。 ·通过重要的历史事件，了解计算机科学中的一些基本思维方式和一些基本问题。

2. 数理

《离散数学》练习

福建农林大学东方学院

2009 ——2010 学年第一学期

第一篇 数理逻辑

一、填空题及单项选择题：

1、设解释I为：客体城D?{2,3}，

a2b,3f(2)3f(3),2P(2,2)1P(2,3)1P(3,2)0P(3,3) 0则P(a,f(a))?P(b,f(b))? ，?x?yP(x,y) 。

2、公式G?(P?(?Q?R))?Q的主析取范式为 。 3、下列命题等值式正确的是 【 】 （A）P?Q?(P?Q)?(Q?P)；

P?Q?(P?Q)?(P??Q)；（B）

（C）P?Q??Q??P； （D）P?Q?P??Q.

4、设命题公式G?(Q?P)?(?P?Q)，则G是 【 】 （A）可满足的； （B）永真的； （C）永假的； （D）析取范式

5、前提?xP(x)与?x(P(x)?Q(x))的有效结论是 【 】

命题演算

? 命题（真值确定但不一定要知道真假，比如“存在外星人”是一个命题，它的真值确定，即使我们不知道真值）

? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?

原始命题/原子命题 复合命题 逻辑连接词 否定/┐ 合取/∧ 析取/∨

条件/→（┐P∨Q）

双条件（不好意思，双向箭头字符未找到，(P∧Q)∨(┐P∧┐Q)） 真值表 命题公式/公式 命题变元 命题演算

等价（自反性、对称性、传递性，等价变换法俗称“少林派”） 结合律 交换律 分配律

德·摩根律/反演律 双重否定率 代换

蕴含（自反性、反对称性、传递性，蕴含推理法俗称“武当派”，传递法俗称“隔山打牛”） 对偶法则 对偶

不可兼析取（析取符上加一横，异或） 逆条件（条件符上加字母c） 与非/↑ 或非/↓

? ? ? ? ? ? ? ? ? ?

结合力（ ⑴┐⑵∧⑶∨、不可兼析取、↑、↓⑷→、逆条件⑸双条件 ） 析取范式 合取范式

主析取范式（∑=m∨…） 主合取范式（∏=M∧…） 直接推演 P规则 T规则

CP规则（俗称“北冥神功”） 间接推演/间接证明/反

第六章 图论基础

图是建立和处理离散数学模型的一种重要工具。图论是一门应用性很强的学科。许多学科，诸如运筹学、网络理论、控制论、化学、生物学、物理学、社会科学、计算机科学等，凡是研究事物之间关系的实际问题或理论问题，都可以建立图论模型来解决。随着计算机科学的发展，图论的应用也越来越广泛，同时图论也得到了充分的发展。这里将主要介绍与计算机科学关系密切的图论的内容。

6.1 图的基本概念

我们已知集合的笛卡尔积的概念，为了定义无向图，还需要给出集合的无序积的概念。 任意两个元素a,b构成的无序对（Unordered pair）记作(a,b)，这里总有(a,b)?(b,a)。 设A,B为两个集合，无序对的集合{(a,b)a?A?b?B}称为集合A与B的无序积（Unordered Product），记作A&B。无序积与有序积的不同在于A&B?B&A。

例如，设A??a,b?，B??0,1,2?，则A&B?{(a,0),(a,1),(a,2),(b,0),(b,1),(b,2)} ?B&A,A&A?{(a,a),(a,b),(b,b)}。 为了引出图的定义，我们先介绍如下的例子。

B start s=0,i =1 i=1 S i=11? Y N s