离散数学课程学习目的及方法
离散数学课程学习目的及方法
离散数学是现代数学的一个重要分支，是计算机科学与技术的理论基础。如果说“高科技本质上是数学技术”的话，计算机科学与技术基本上是离散数学技术。所以离散数学又称为计算机数学，是计算机科学与技术专业的核心、骨干课程。
本课程结合计算机学科的特点，主要研究离散对象的代数结构及相互关系。通过该课程的教学，使学生了解并掌握计算机科学中普遍地采用离散数学中的一些基本概念、基本思想和基本方法。通过本课程的学习将使学生得到良好的数学训练，从而进一步提高学生的抽象思维能力和逻辑推理能力，为其学习计算机专业各门后续课程做好必要的知识准备，并为从事计算机的应用提供理论基础。
离散数学应着重掌握数理逻辑、集合与关系、代数系统的一般性质、图论初步等方面的基本概念和简单应用，特别应注意体会书中的典型例题，以促进对主要内容的掌握。
1、离散数学的主要内容
离散数学作为一门大学课程，在国外最早大约是 20 世纪 70 年代的事了。当时，一些主攻计算机科学的学生感到自己的数学基础不足以很好的学习和解决本专业的问题，于是就有一些计算机科学家根据自己对计算机科学的理解，与一些数学家一起圈定了一些他们认为对计算机科学是必须的数学专题，结合计算机科学中的一些实例编著了一些主要是命名为“离散数学结构和方法”或“离散数学基础”之类的书籍，开设相应的课程供大学里学习计算机专业和其他一些相关工程专业的学生选修。由于反映很好，渐渐在计算机专业中，“离散数学”即作为必修课来开设。我国是在大约 20 世纪 80 年代初期，从翻译国外离散数学专著开始，逐渐由各著名工科院校的教师编写了一些适合我国教学情况的离散数学的教材，并在计算机系中开设了相应的课程。
如上所述，由于各专家主攻的计算机方向和他们对计算机教学的理解不尽相同，因此，在“离散数学”名下的内容也不完全一样。不过，经过这些年的实践，作为计算机专业所需的离散数学内容主要包括四大部分：数理逻辑、集合论和关系、代数系统和图论初步。基本上涵盖了计算机专业所须的数学内容。
2、学习离散数学的目的
（1）计算机的诞生与发展和离散数学密切相关
计算机的诞生：正是在离散数学中的图灵机的理论指导下诞生的(1936提出图灵机
---1946诞生计算机)。
计算机硬件的发展：从第一代起现在发展到第四代(电子管→晶体管→集成电路→大规模集成电路)，第五代即将问世，正在向智能化、网络化发展。而且计算机技术发展速度越来越快。
计算机软件的发展：程序设计语言的发展，从机器语言→汇编语言→高级面向过程语言→面向对象语言→智能语言→…，
系统软件的发展，如操作系统，从单用户→多用户→网络分布式操作系统，…，数据库、网络软件、开发工具软件、应用软件…
计算机应用越来越广，所有领域几乎无所不及。计算机科学已发展成为一门一级学科。计算机的产业已发展成为一个高科技的新兴产业。所有这些发展都依赖于离散数学、数据结构、编译原理、操作系统、数据库原理、软件工程、计算机网络等理论。其中离散数学是基础，其它的理论中都用到了离散数学中的基本概念、基本思想、基本方法。这说明了理论常常可以导致实践方面的重大进展，即理论对实践的指导作用。
计算机专业的学生学习计算机不同于非计算机专业的学生学习计算机，必须掌握离散数学的理论，才能更好地了解和从事计算机科学的研究。
（2）此课是主干课，也是后继课的基础课
计算机专业的后续课中都大量地应用到离散数学中的基本理论，所以要想学好专业课，必须先学好离散数学。
（3）培养学生抽象思维和逻辑推理能力、创新能力
在大学学习知识很重要，但是能力的培养更重要。正如著名的物理学家劳厄所说：“重要的不是获得知识，而是发展思维能力。教育无非是一切已学过的东西都遗忘的时候，所剩下来的东西。”剩下的就是思维能力，它可以长期起作用。北京大学姜伯驹教授谈到数学时说：“数学是学习科学技术的钥匙和先决条件。”所以必须提高学生的数学修养(数学素质)。
数学修养包括：理解、抽象、见识、体验。
理解能力：逻辑推理能力、不同语言对应的转换能力、想象能力等。
抽象能力：敏锐的洞察力，灵活的联想类比、举一反三能力，特别是把实际问题转化为数学问题的能力。
见识：就是让学生见识一些重要的数学思想、数学方法以及用数学解决实际问题的著名事例。有了这样见识才会思路宽，办法多，遇到问题会自觉求助于数学。
体验:数学是一种分析问题、解决问题的实践活动。与打猎一样是活本领。像转换观点、选择方法、熟悉软件、检验结果、发现毛病、查找原因多环节只有亲身经历才能学到手。
学到这些活本领，就是一些基本素质问题。离散数学可以帮助学生提高数学素质。提高创造力。
3、学习离散数学的方法
此课的特点：内容较杂，概念多，定理多，比较抽象，给学习带来一定难度。
离散数学是计算机科学系所有专业的基础数学课程。一方面有其实用性（应用数学的特征），另一方面有其本身作为数学基础课的理论的严谨性。所以，学习任何一个专题时：
首先要精确严格地掌握好概念和术语，正确理解他们的内涵和外延。因为公理、定理或定律的基石都是概念。只有正确的理解概念，才能把握定理的实质，熟练地将公理、定理应用于解决问题。完全的，精确的掌握一个概念的好主意是首先要深刻理解概念的内涵，然后举一些属于和不属于该概念外延的正反两方面的实例。如果对一些似是而非的例子也能辨别的话，应该说这个概念真正理解了。对一些重要的概念，能记住一两个的实例也很管用。这对牢固掌握一个概念是很有好处的。
必须提醒大家，千万不要在完全理解某些概念，基本定理之前就匆忙去做相应的习题。几乎可以肯定的说，这样做是不能学懂离散数学的。
其次，大家应养成一种自觉的学习习惯，就是在掌握好基本概念和术语基础上，理解每一基本定理的本质，通过学习和借鉴书中提供的例题，多做些习题，从而进一步加深理解所学内容。尤其注意要独立的完成每一次作业，并且在每次作业完成之后，能自觉地归纳出其中用到的基本解题方法。
第三，要有刻苦钻研精神,不断总结经验，注意培养自己分析问题和解决问题的能力。
最后，必须树立正确的学习目的，端正学习态度，刻苦学习从入学开始。据统计，大学降级的和考试不及格最多的是大学一、二年级的学生。究其原因：主观：松懈情绪；客观：应试教育的弊端（学习缺乏自觉性）。大学与中学相比，学习目的，学习方法，管理方法都不同。
虽说离散数学是一门很抽象的课程，但只要大家肯动脑筋思考，掌握正确的学习方法，那么一定会在以后的学习中体会到越学越轻松的感觉。一般而言，学习离散数学只需要有一定的中学数学基础就够了。
编译原理实验指导书2010
《编译原理》课程实验指导书 课程编号： 课程名称：编译原理/Compiler Principles 实验总学时数： 8 适用专业：计算机科学与技术、软件工程 承担实验室：计算机学院计算机科学系中心实验室、计算机技术系中心实验室 一、实验教学的目的与要求 上机实习是对学生的一种全面综合训练，是与课堂听讲、自学和练习相辅相成的必不可少的一个教学环节。通常，实习题中的问题比平时的练习题要复杂，也更接近实际。编译原理这门课程安排的2次上机实验都属于一种设计类型的实验，每个实验的训练重点在于基本的编译技术和方法，而不强调面面俱到；实验的目的是旨在使学生进一步巩固课堂上所学的理论知识，深化理解和灵活掌握教学内容；培养学生编制算法的能力和编程解决实际问题的动手能力。 要求学生在上机前应认真做好各种准备工作，熟悉机器的操作系统和语言的集成环境，独立完成算法设计和程序代码的编写；上机时应随带有关的编译原理教材或参考书；要学会程序调试与纠错。 每次实验后要交实验报告，实验报告的内容应包括： （1）实验题目、班级、学号、姓名、完成日期； （2）简要的需求分析与概要设计； （3）详细的算法描述； （4）源程序清单； （5）给出软件的测试方法和测试结果； （6）实验的评价、收获与体会。 开发工具： （1）DOS环境下使用Turbo C； （2）Windows环境下使用Visual C++ 。 考核： 实验成绩占编译原理课程结业成绩的10%。 三、单项实验的内容和要求： 要求每个实验保证每个学生一台微机。 实验一（4学时）：单词的词法分析程序设计。 （一）目的与要求 1．目的 通过设计、编制、调试一个具体的词法分析程序，加深对词法分析原理的理解，并掌握在对程序设计语言源程序进行扫描过程中将其分解为各类单词的词法分析方法。
离散数学上机实验1
实验1 1实验内容 （1）求任意一个命题公式的真值表。 （2）利用真值表求任意一个命题公式的主范式。 （3）利用真值表进行逻辑推理。 注：（2）和（3）可在（1）的基础上完成。 2实验目的 真值表是命题逻辑中的一个十分重要的概念，利用它几乎可以解决命题逻辑中的所有问题。例如，利用命题公式的真值表，可以判断命题公式的类型、求命题公式的主范式、判断两命题公式是否等价，还可以进行推理等。 本实验通过编写一个程序，让计算机给出命题公式的真值表，并在此基础上进行命题公式类型的判定、求命题公式的主范式等。目的是让学生更加深刻地理解真值表的概念，并掌握真值表的求解方法及其在解决命题逻辑中其他问题中的应用。 3算法的主要思想 利用计算机求命题公式真值表的关键是：①给出命题变元的每一组赋值；②计算命题公式在每一组赋值下的真值。 真值表中命题变元的取值具有如下规律：每列中0 和1 是交替出现的，且0 和1 连续出现的个数相同。n 个命题变元的每组赋值的生成算法可基于这种思想。 含有n个命题变元的命题公式的真值的计算采用的方法为“算符优先法”。 为了程序实现的方便，约定命题变元只用一个字母表示，非、合取、析取、蕴含和等价联结词分别用！、&、|、－、＋来表示。 算符之间的优先关系如表1-1所示： 表1-1算符优先级
优先算法，我们采用两个工作栈。一个称作OPTR，用以寄存运算符；另一个称作OPND，用以寄存操作数或运算结果。算法的基本思想是： （1）首先设置操作数栈为空栈，符号“@”为运算符的栈底元素； （2）调用函数Divi（exp，myopnd）得到命题公式包含的命题变元序列myopnd （按字典序排列，同一个命题变元只出现一次）； （3）依次读入命题公式中的每个字符，若是命题变元则其对应的赋值进OPND 栈，若是运算符，则和OPTR栈的栈顶运算符比较后作相应操作，直至整个命题公式求值完毕。
离散数学(集合论)课后总结
第三章集合论基础 1、设A={a,{a},{a,b},{{a,b},c}}判断下面命题的真值。 ⑴{a}∈A T ⑵?({a}? A) F ⑶c∈A F ⑷{a}?{{a,b},c} F ⑸{{a}}?A T ⑹{a,b}∈{{a,b},c} T ⑺{{a,b}}?A T ⑻{a,b}?{{a,b},c} F ⑼{c}?{{a,b},c} T ⑽({c}?A)→(a∈Φ) T 2、证明空集是唯一的。（性质1：对于任何集合A，都有Φ?A。） 证明：假设有两个空集Φ1 、Φ2 ，则 因为Φ1是空集，则由性质1得Φ1 ?Φ2 。 因为Φ2是空集，则由性质1得Φ2 ?Φ1 。 所以Φ1=Φ2 。 3、设A={Φ},B=P(P(A)).问：(这道题要求知道幂集合的概念) a)是否Φ∈B?是否Φ?B? b)是否{Φ}∈B? 是否{Φ}?B? c)是否{{Φ}}∈B? 是否{{Φ}}?B? 解：设A={Φ}，B=P(P(A)) P(A)= {Φ,{Φ}} 在求P(P(A))时，一些同学对集合{Φ,{Φ}}难理解，实际上你就将{Φ,{Φ}}中的元素分别看成Φ=a ,{Φ}=b, 于是{Φ,{Φ}}={a,b} B=P(P(A))=P({a,b}) ={B0, B1 , B2 , B3 }={B00, B01,B10 ,B11}={Φ, {b}, {a}, {a,b}} 然后再将a,b代回即可B=P(P(A))=P({Φ,{Φ}})={Φ,{Φ} ,{{Φ}}, {Φ,{Φ}}} 以后熟悉后就可以直接写出。 a) Φ∈B Φ?B b) {Φ}∈B {Φ} ? B c) {{Φ}}∈B {{Φ}}?B a)、b)、c)中命题均为真。 4、证明A?B ? A∩B=A成立。 证明：A∩B=A ??x(x∈A∩B ?x∈A) ??x((x∈A∩B → x∈A)∧(x∈A→ x∈A∩B)) ??x((x?A∩B∨x∈A)∧(x?A∨x∈A∩B)) ??x((?(x∈A∧x∈B)∨x∈A)∧(x?A∨(x∈A∧x∈B)) ??x(((x?A∨x?B)∨x∈A)∧(x?A∨(x∈A∧x∈B))) ??x(T∧(T∧( x?A∨x∈B))) ??x( x?A∨x∈B)??x(x∈A→x∈B)? A?B 5、(A-B)-C=(A-C)-(B-C) 证明：任取x∈(A-C)-(B-C) ?x∈(A-C)∧x?(B-C) ?(x∈A∧x?C)∧?(x∈B∧x?C) ?(x∈A∧x?C)∧(x?B∨x∈C) ?(x∈A∧x?C∧x?B)∨(x∈A∧x?C∧x∈C) ?x∈A∧x?C∧x?B?x∈A∧x?B∧x?C ?(x∈A∧x?B)∧x?C ?x∈A-B∧x?C?x∈(A-B)-C 所以(A-B)-C=(A-C)-(B-C)
(完整版)离散数学实验指导书及其答案
实验一命题逻辑公式化简 【实验目的】加深对五个基本联结词（否定、合取、析取、条件、双条件）的理解、掌握利用基本等价公式化简公式的方法。 【实验内容】用化简命题逻辑公式的方法设计一个表决开关电路。 实验用例：用化简命题逻辑公式的方法设计一个 5 人表决开关电路，要求 3 人以上（含 3 人）同意则表决通过（表决开关亮）。 【实验原理和方法】 （1）写出5人表决开关电路真值表，从真值表得出5 人表决开关电路的主合取公式（或主析取公式），将公式化简成尽可能含五个基本联结词最少的等价公式。 （2）上面公式中的每一个联结词是一个开关元件，将它们定义成 C 语言中的函数。 （3）输入5人表决值（0或1），调用上面定义的函数，将5人表决开关电路真值表的等价公式写成一个函数表达式。 （4）输出函数表达式的结果，如果是1，则表明表决通过，否则表决不通过。 参考代码： #include
离散数学谓词逻辑课后总结
第二章谓词逻辑 2—1基本概念 例题1. 所有的自然数都是整数。 设N(x):x是自然数。I(x):x是整数。此命题可以写成?x(N(x)→I(x)) 例题2. 有些自然数是偶数。 设E(x):x是偶数。此命题可以写成?x(N(x)∧E(x)) 例题3. 每个人都有一个生母。 设P(x):x是个人。M(x,y):y是x的生母。此命题可以写 成:?x(P(x)→?y(P(y)∧M(x,y))) 2-2 谓词公式及命题符号化 例题1. 如果x是奇数,则2x是偶数。 其中客体x与客体2x之间就有函数关系,可以设客体函数g(x)=2x, 谓词O(x):x是奇数,E(x):x是偶数, 则此命题可以表示为:?x(O(x)→E(g(x))) 例题2 小王的父亲是个医生。 设函数f(x)=x的父亲,谓词D(x):x是个医生,a:小王,此命题可以表示为D(f(a))。 例题3 如果x和y都是奇数,则x+y是偶数。 设h(x,y)=x+y ,此命题可以表示为:?x?y((O(x)∧O(y))→E(h(x,y)) 命题的符号表达式与论域有关系 两个公式:一般地,设论域为{a1,a2,....,an},则有 (1). ?xA(x)?A(a1)∧A(a2)∧......∧A(an) (2). ?xB(x)?B(a1)∨B(a2)∨......∨B(an) 1.每个自然数都是整数。该命题的真值是真的。 表达式?x(N(x)→I(x))在全总个体域的真值是真的, 因?x(N(x)→I(x))?(N(a1)→I(a1))∧(N(a2)→I(a2))∧…∧(N(an)→I(an)) 式中的x不论用自然数客体代入,还是用非自然数客体代入均为真。例如(N(0.1)→I(0.1))也为真。 而?x(N(x)∧I(x))在全总个体域却不是永真式。
7离散数学(集合的运算)实验报告
大连民族学院 计算机科学与工程学院实验报告 实验题目：集合的运算 课程名称：离散数学 实验类型：□演示性□验证性□操作性□设计性□综合性专业：网络工程班级：网络111班 学生姓名：张山学号：2011083123 实验日期：2013年12月22日实验地点：I区实验机房 实验学时：8小时实验成绩： 指导教师签字：年月日老师评语：
实验题目：集合的运算 实验原理： 1、实验内容与要求： 实验内容：本实验求两个集合间的运算，给定两个集合A、B，求集合A与集合B之间的交集、并集、差集、对称差集和笛卡尔乘积。 实验要求：对于给定的集合A、B。用C++/C语言设计一个程序（本实验采用C++），该程序能够完成两个集合间的各种运算，可根据需要选择输出某种运算结果，也可一次输出所有运算结果。 2、实验算法： 实验算法分为如下几步： （1）、设计整体框架 该程序采取操作、打印分离（求解和输出分开）的思想。即先设计函数求解各部分运算并将相应结果传入数组（所求集合）中，然后根据需要打印运算结果。 （2）、建立一个集合类（Gather） 类体包括的数组a、b、c、d、e、f、g分别存储集合A、B以及所求各种运算的集合。接口（实现操作的函数）包括构造函数，菜单显示函数，求解操作函数，打印各种运算结果等函数。 （3）、设计类体中的接口 构造函数：对对象进行初始化，建立集合A与集合B。 菜单显示函数：设计提示选项，给使用者操作提示。 操作函数：该函数是程序的主题部分，完成对集合的所有运算的求解过程，并将结果弹入（存入）对应数组（集合）中，用于打印。 具体操作如下：
1*求交集：根据集合中交集的定义，将数组a、b中元素挨个比较，把共同元素选出来，并存入数组c（交集集合）中，即求得集合A、B的交集。 2*求并集：根据集合中并集的定义，先将数组a中元素依次存入数组g（并集集合）中，存储集合A中某元素前，先将其与已存入g中的元素依次比较，若相同则存入下一个元素，否则直接存入g中，直到所有A中元素存储完毕。接着把b中元素依次存入数组g（并集集合）中，存储前将b中每个元素依次与已存入数组g中的集合A的元素比较，若数组g中没有与该元素相同的元素，则将该元素存入g（并集集合）中，否则进行下一次比较，直到所有b中元素比较并存储完毕，即求得A与B 的并集。 3*求差集：根据集合中差集的定义知，差集分为两部分，A对B的差集（数组d）和B对A的差集（e）。设计求解A对B的差集，将集合A中元素依次与B中元素比较，若B中无元素与该元素相同，则将其存入数组d中（同时删除d中相同的元素，操作方法与求并集时删除相同元素类似），否则进行下一轮比较，直到A中所有元素比较完毕，即求得A对B的差集（数组d）。求解B对A的差集方法与求解A对B 的差集类似，这里不再重复。 4*求对称差：根据集合中对称差集的定义，将3*中所求两部分差集求并集并存入数组f中即可。操作过程与求并集相似，这里不再重复。 5*求笛卡尔乘积：根据集合中笛卡尔乘积集的定义，分为A*B和B*A。先设计A*B是我算法，将a中元素循环依次与b中元素配对即可。求B*A与求A*B类似，这里不再重复。 实验步骤： 一、分析实验 阅读实验指导书和离散数学课本，充分理解整个实验的实验内容及要求，以便对实验进行科学的设计。然后对整个实验进行“解剖”，即把整个实验系统地分成若干
离散数学实验报告
离散数学实验报告（实验ABC） 专业班级 学生姓名 学生学号 指导老师 完成时间
目录 第一章实验概述..................................... 错误!未定义书签。 实验目的....................................... 错误!未定义书签。 实验内容....................................... 错误!未定义书签。 实验环境....................................... 错误!未定义书签。第二章实验原理和实现过程........................... 错误!未定义书签。 实验原理....................................... 错误!未定义书签。 建立图的邻接矩阵，判断图是否连通 ............ 错误!未定义书签。 计算任意两个结点间的距离 ................... 错误!未定义书签。 对不连通的图输出其各个连通支 ................ 错误!未定义书签。 实验过程（算法描述）........................... 错误!未定义书签。 程序整体思路 ............................... 错误!未定义书签。 具体算法流程 ................................ 错误!未定义书签。第三章实验数据及结果分析........................... 错误!未定义书签。 建立图的邻接矩阵并判断图是否连通的功能测试及结果分析错误!未定义书签。 输入无向图的边 .............................. 错误!未定义书签。 建立图的连接矩阵 ............................ 错误!未定义书签。 其他功能的功能测试和结果分析................... 错误!未定义书签。 计算节点间的距离 ............................ 错误!未定义书签。 判断图的连通性 .............................. 错误!未定义书签。 输出图的连通支 .............................. 错误!未定义书签。 退出系统 .................................... 错误!未定义书签。第四章实验收获和心得体会........................... 错误!未定义书签。
离散数学学习体会
我的离散数学学习心得 (1) -- 一类抽象代数题的解题思路 学习离散数学已经有一段时间了，书读了不少，题也做了一些。最近又常在群里和研友们讨论离散数学中的问题。所以对离散数学也有了一些心得和体会。在今后的一段时间里，我会不定期的写一些小的经验总结，以供后来人参考。：） 因为是“心得体会”，所以多半是想到什么写什么，组织和条理方面可能会比较差。还望各位看官多多包涵。；） 这次我们来讨论一类代数问题的解题思路。 问题：设R为含幺环，求证：对任意a,b∈R，若1-ab可逆，则1-ba也可逆。 分析： 我们知道，证明问题的方法大致可以分为两类：构造性证明和存在性证明。前者要求给出一个切实的方法，找出符合命题要求的元素（在这道题中，就是找到1-ba的逆元）。后者则只证明这样的元素必然存在，但并不给出切实的寻找方法。反证法是存在性证明的基本方法。 无论打算采用是哪种证明方法，确认一下我们可以使用的前提条件总是必要的。 就这道题而言，我们可以使用这些前提： 1、R是含幺环。这就意味着R对加法构成Abel群（从而我们可以自由地使用加法交换律、加法消去律、加法逆元等），R对乘法构成独异点（从而可以使用乘法单位元1），当然还有乘法对加法的分配律。 2、1-ab是可逆的，这就是说，存在c∈R，使得c(1-ab)=(1-ab)c=1。移项后得到：cab=abc=c-1。 需要注意的是： 1、在题设中没有假设R的可换性（事实上，如果R可换的话，整个问题就没有任何难度了），也没有假设a、b是可逆的。所以，在解题时，不能使用乘法交换律，也不能随便使用a、b的逆元（除非已经证明了它们的存在性）。 2、如果没有1-ab可逆这个条件，肯定是推不出1-ba可逆的（我们在环中可以找到太多的反例）。所以，cab=abc=c-1将是解题的关键。观察这个式子，我们注意到，它提供了在c的参与下，移动和消去ab 的方法。 我们的目的是，证明存在这样的一个元素d∈R，满足(1-ba)d=d(1-ba)=1。 初看到这道题，我们并不知道使用构造性证明容易还是使用反证法容易。 不过推理一下我们可以发现，如果要使用反证法的话，我们需要反设1-ba不存在乘法逆元，然后由此推出1-ab也不可能有逆元（或者推出R不是含幺环）。 但反设1-ba不存在乘法逆元后，我们到底能推出哪些结论来呢？似乎很少。我们甚至连“对任意x∈R，必有x(1-ba)≠1”这样简单的情况都难以证明（因为我们只假设了1-ba没有“乘法逆元”，并不能由此推出1-ba没有“乘法左逆元”）。 另一方面，利用等式cab=abc=c-1直接构造出一个1-ba的逆元应该一个比较有希望的方法。 这时，我们可以“取巧”了。注意到： 1、如果我们相信题目给的命题没有错的话，我们只要找到1-ba的左逆元（或者右逆元）就基本完成任务了（虽然最终书写证明时，我们需要证明我们找到的元素既是左逆元又是右逆元）。因为如果一个元素的左右逆元都存在的话，它的左右逆元是唯一且相等的（所以，1-ba确实可逆，而我们又找到了它的一
离散数学课程总结
离散数学课程总结 姓名： 学号： 班级：级计科系软件工程（）班 近年来，计算机科学与技术有了飞速发展，在生产与生活的各个领域都发挥着越来越重要的作用。离散数学是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。它在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的许多专业课程。 一、课程总结 本书的主要内容有数理逻辑、集合论、代数结构、组合数学、图论以及初等数论六部分，而我们主要学习的有第一部分数理逻辑、第二部分集合论以及第五部分图论，第三部分代数结构也学习了一部分。第一部分：数理逻辑 数理逻辑是研究推理的数学分支，推理有一些列的陈述句组成。在数理逻辑中，主要学习了命题逻辑的基本概念、命题逻辑的等值演
算、命题逻辑的推理理论、一阶逻辑基本概念、一阶逻辑等值演算与推理。 1.在命题逻辑的基本概念中学习了命题的真值及真值表、命题与联 结词、命题及其分类、联结词与复合命题、命题公式及其赋值。2.在命题逻辑的等值演算中主要学习了等值式与基本的等值式模式、 等值演算与置换规则、析取范式与合取范式，极大值和极小值，主析取范式与主合取范式、联结词完备集。 3.在命题逻辑的推理理论中主要学习了推理的正确与错误、推理的 形式结构、判断推理正确的方法、推理定律；自然推理系统P、形式系统的定义与分类、自然推理系统P，在P中构造证明：直接证明法、附加前提证明法、归谬法。 4.在一阶逻辑基本概念中主要学习了一阶逻辑命题符号化、个体词、 谓词、量词、一阶逻辑公式及其解释、一阶语言、合式公式及合式公式的解释、永真式、矛盾式、可满足式。 5.在一阶逻辑等值演算与推理中主要学习了一阶逻辑等值式与基本 等值式、置换规则、换名规则、代替规则、前束范式、自然推理系统N及其推理规则。 第二部分：集合论 在集合论中，主要学习了集合代数、二元关系和函数。 1.在集合代数中，学习了集合的基本概念：属于、包含、空集、元 集、幂集、全集；集合的基本运算：并、交、补相对、对称差等； 集合恒等式：集合运算的主要算律、恒等式的证明方法。
离散数学实验报告四个实验
《离散数学》 课程设计 学院计算机学院 学生姓名 学号 指导教师 评阅意见
提交日期 2011 年 11 月 25 日 引言 《离散数学》是现代数学的一个重要分支，也是计算机科学与技术，电子信息技术，生物技术等的核心基础课程。它是研究离散量（如整数、有理数、有限字母表等）的数学结构、性质及关系的学问。它一方面充分地描述了计算机科学离散性的特点，为学生进一步学习算法与数据结构、程序设计语言、操作系统、编译原理、电路设计、软件工程与方法学、数据库与信息检索系统、人工智能、网络、计算机图形学等专业课打好数学基础；另一方面，通过学习离散数学课程，学生在获得离散问题建模、离散数学理论、计算机求解方法和技术知识的同时，还可以培养和提高抽象思维能力和严密的逻辑推理能力，为今后爱念族皮及用计算机处理大量的日常事务和科研项目、从事计算机科学和应用打下坚实基础。特别是对于那些从事计算机科学与理论研究的高层次计算机人员来说，离散数学更是必不可少的基础理论工具。 实验一、编程判断一个二元关系的性质（是否具有自反性、反自反性、对称性、反对称性和传递性） 一、前言引语：二元关系是离散数学中重要的内容。因为事物之间总是可以根据需要确定相应的关系。从数学的角度来看，这类联系就是某个集合中元素之
间存在的关系。 二、数学原理：自反、对称、传递关系 设A和B都是已知的集合，R是A到B的一个确定的二元关系，那么集合R 就是A×B的一个合于{()∈A×}的子集合 设R是集合A上的二元关系： 自反关系：对任意的x∈A,都满足<>∈R，则称R是自反的，或称R具有自反性，即R在A上是自反的?(?x)((x∈A)→(<>∈R))=1 对称关系：对任意的∈A，如果<>∈R，那么<>∈R，则称关系R是对称的，或称R具有对称性，即R在A上是对称的? (?x)(?y)((x∈A)∧(y∈A)∧(<>∈R)→(<>∈R))=1 传递关系：对任意的∈A，如果<>∈R且<>∈R，那么<>∈R，则称关系R是传递的，或称R具有传递性，即R在A上是传递的? (?x)(?y)(?z)[(x∈A)∧(y∈A)∧(z ∈A)∧((<>∈R)∧(<>∈R)→(<>∈R))]=1 三、实验原理：通过二元关系与关系矩阵的联系，可以引入N维数组，以数组的运算来实现二元关系的判断。 图示：
数据库原理与应用实验指导总结
1实验前的准备 1.1 课程实验标准 《数据库原理与应用》是计算机科学与技术专业及相近各专业的一门重要基础理论课程。课程概括性的介绍了数据库技术发展历程，详细介绍了数据库系统的基本概念、基本原理、基本方法，阐述了数据库设计、实现的基本过程，同时也介绍了数据库系统的最新进展。通过本课程的学习，使学生牢固掌握数据库系统的基本概念和基本原理，熟悉数据库系统的主要实现方法，能够根据应用需要分析设计实用的数据库管理系统。 《数据库原理与应用》是一门实践性很强的课程，通过实验实践，配合课堂教学内容加深对数据库系统的基本概念、基本原理、基本方法的理解，掌握数据库系统设计的基本思想和基本步骤，熟悉关系数据库的标准语言SQL，并对关系数据库系统的某一典型系统（如SQL Server 2000）有较深入的了解，使学生对数据库系统有一个完整的、全面的认识。 1.课程实验的目标 《数据库原理与应用》课程上机实验的主要目标是： (1)通过上机操作，加深对数据库系统理论知识的理解。 (2)通过使用具体的数据库管理系统，了解一种实际的数据库管理系统，并掌握 其操作技术。 (3)通过实验题目的上机实践，提高学生的实践动手能力，提高学生的分析问题 和解决问题的能力。 2.主要软件实验环境 操作系统为Microsoft Windows 2000或更高级的版本。 数据库管理系统为Microsoft SQL Server 2000标准版或更高级的版本。 3.课程实验的基本要求 (1)每次实验前，教师需要向学生讲清楚本次实验的目的和基本要求；学生应当先弄清楚相关的理论知识，预习实验内容、方法和步骤，认真准备好实验程序和数据，避免出现盲目上机的行为。 (2)实验1人1组，在规定的时间内，由学生独立完成，出现问题时，教师要做好指导，但不能包办代替。 (3)任课教师要在实验课前清点学生人数，实验中按要求做好学生实验情况及结果记录，实验后认真填写实验记录、批改实验报告。 (4)学生最好自备计算机，课下能多做练习，以便能够熟悉和精通实验内容。 4. 实验项目设置及考核 本课程设置了八个实验项目，共计20学时。具体情况如下： 实验1 数据库和数据表基本操作 4学时
离散数学总结
离散数学学习总结 一、课程内容介绍： 1．集合论部分： 集合论是离散数学中第一个抽象难关，在老师的生动讲解下，深入浅出，使得集合论成了相当有趣的知识。只是对于以后的应用还不是很了解，感觉学好它很重要。直观地说，把一些事物汇集到一起组成一个整体就叫集合，而这些事物就是这个集合的元素或成员。例如： 方程x2－1＝0的实数解集合； 26个英文字母的集合； 坐标平面上所有点的集合； 集合通常用大写的英文字母来标记，例如自然数集合N(在离散数学中认为0也是自然数)，整数集合Z，有理数集合Q，实数集合R，复数集合C等。 表示一个集合的方法有两种：列元素法和谓词表示法， 如果两个集合的交集为，则称这两个集合是不相交的。例如B和C 是不相交的。 两个集合的并和交运算可以推广成n个集合的并和交： A1∪A2∪…∪An＝{x|x∈A1∨x∈A2∨…∨x∈An} A1∩A2∩…∩An＝{x|x∈A1∧x∈A2∧…∧x∈An} 2．关系 二元关系也可简称为关系。对于二元关系R，如果
得到新的关系R'，使得R'具有自反性。但又不希望R'与R相差太多，换句话说，添加的有序对要尽可能的少。满足这些要求的R'就称为R的自反闭包。通过添加有序对来构造的闭包除自反闭保外还有对称闭包和传递闭包。 3．代数系统 代数结构也叫做抽象代数，主要研究抽象的代数系统。抽象的代数系统也是一种数学模型，可以用它表示实际世界中的离散结构。例如在形式语言中常将有穷字符表记为∑，由∑上的有限个字符（包括0个字符）可以构成一个字符串，称为∑上的字。∑上的全体字符串构成集合∑*。设α,β是∑*上的两个字，将β连接在α后面得到∑*上的字 αβ。如果将这种连接看作∑*上的一种运算，那么这种运算不可交换，但是可结合。集合∑*关于连接运算就构成了一个代数系统，它恰好是抽象代数系统--半群的一个实例。抽象代数在计算机中有着广泛的应用，例如自动机理论、编码理论、形式语义学、代数规范、密码学等等都要用到抽象代数的知识。代数结构的主要研究对象就是各种典型的抽象代数系统。 构成一个抽象代数系统有三方面的要素：集合、集合上的运算以及说明运算性质或运算之间关系的公理。请看下面的例子。 整数集合Z和普通加法＋构成了代数系统〈Z,＋〉，n阶实矩阵的集合Mn(R)与矩阵加法＋构成代数系统〈Mn(R),＋〉。幂集P(B)与集合的对称差运算也构成了代数系统
SQL实验指导大纲
广东水利电力职业技术学院 《关系数据库与SQL》 实验指导书 2004.6修订 计算机信息工程系
目录 实验大纲 (1) 实验一：SQL SERVER 2000安装、配置与操作 (2) 实验二：数据库和数据表的创建 (3) 实验三：数据库表结构修改和表操作 (6) 实验四：数据表的查询 (7) 实验五：链接查询和子查询 (8) 实验六：创建和使用视图 (11) 实验七:T-SQL程序设计 (12) 实验八：数据完整性技术 (15) 实验九：存储过程 (16) 实验十：触发器 (20) 实验十一：ADO连接技术 (22)
高等职业技术教育计算机应用技术专业《关系数据库与SQL》实验大纲 一、实验项目 1、SQL Server2000的安装和服务器的配置与注册 2、创建数据库和表格。 3、数据库表数据操作 4、数据基本检索 5、连接和子查询 6、建立和使用视图 7、流程控制程序设计 8、数据索引、数据完整性约束 9、存储过程 10、触发器 11、使用ADO技术访问数据库 二、实验的能力要求 1、掌握SQL Server2000软件的安装、配置。 2、掌握数据库和表格的创建和修改 3、掌握数据表记录的插入、修改和删除操作。 4、掌握数据的检索、汇总和排序。 5、掌握多表信息的联合检索 6、掌握建立和使用视图 7、掌握用T-SQL进行流程控制程序设计 8、掌握数据索引、数据完整性约束的作用和建立 9、掌握存储过程的编写和执行 10、掌握触发器的创建 11、掌握开发平台通过ADO技术连接访问数据库
实验一：SQL SERVER 2000安装、配置与操作 一、实验目的： 熟悉SQL SERVER 2000操作环境，掌握SQL Server2000软件的安装、配置。 二、实验内容： 1、用一台机去管理SQL SERVER服务器，都必须先做什么设置？ 2、企业管理器能完成什么功能？ 3、描述查询分析询器能完成的功能 4、描述对象浏览器的作用。如何显示/隐藏？ 5、服务管理器是用来_______、_______和______SQL Server 服务的。这些服务 在Windows NT/2000下也可以通过控制面板的服务项来启动或停止。 6、在“开始”菜单的Microsoft SQL Server程序中选择Enterprise Manager即可 启动______管理器。 7、在查询窗口中用户可以输入SQL语句，并按_______键，或单击工具栏上的 运行按钮，将其送到服务器执行，执行的结果将显示在输出窗口中。用户可 以打开一个含有SQL语句的文件来执行，执行的结果同样显示在输出窗口中。 8、分别用界面和T-SQL语句（SELECT * FROM 表名）显示pubs的一个表信息， 并保存显示结果（文件名为“实验一显示结果”）和T-SQL脚本（文件名“实 验一语句”）。 9、试用界面建一个“学生管理”数据库，在其内建一个“学生表”（属性自已定 义），输入几个信息，浏览一下你所录入的信息。 三、实验要求： 1、先操作再回答下面的内容，提交的答案内容用蓝色字体 2、文件以文件名：”xx专业xx班xx号xxxx（姓名）”保存，如：”03网络1班 2号李红”
《程序设计课程设计》指导书2017(1)
程序设计课程设计 指导书 软件学院软件工程系 2017 年 6 月 1 日
太原理工大学课程设计任务书 学生姓名专业班级软件 课程名称程序设计课程设计（Programming Curriculum Design） 设计名称相邻数对,ISBN 识别码,文本文件单词统计等设计周数 2 设计 1.基本要求 掌握C或C++语言、结构化程序和面向对象程序设计方法、数据结构和离任务散数学理论知识，熟悉C或C++程序的开发环境及调试过程，巩固和加深对理论课中知识的理解，提高学生对所学知识的综合运用能力。 主要 2.培养学生以下技能 ①培养学生查阅参考资料、手册的自学能力，通过独立思考深入钻研问题， 设计学会自己分析、解决问题。 ②通过对所选题目分析，找出解决方法，设计算法，编制程序与调试程序。 参数③能熟练调试程序，在教师的指导下，完成课题任务。 ④按课程设计报告的要求撰写设计报告。 1.设计内容 ①相邻数对；②ISBN 识别码；③文本文件单词统计；④构造可以使 n 个城 设计内容市连接的最小生成树；⑤送货；⑥学生信息管理系统 2.设计要求 设计要求 ①至少完成上述设计内容中的 4 个设计题目；②对每个题目要给出设计方 案、功能模块划分、算法思想；③选择使用的数据结构；④给出题目的程序实 现；⑤按要求撰写设计报告。 主要参考 1.《程序设计课程设计》指导书； 2.《程序设计技术》、《数据结构》等课程教材； 资料 3. 其他自选的相关资料。 学生提交课程设计报告封面应给出专业、班级、姓名、学号、指导教师和完成日期。 每个设计题目的内容包括以下几项：设计题目、问题描述、问题分析、功能实归档文件现、测试实例及运行结果、源程序清单。 注： 1.课程设计完成后，学生提交的归档文件应按照：封面—任务书—说明书—图纸的顺序进行装订上交（大张图纸不必装订）。 2.可根据实际内容需要续表，但应保持原格式不变。 指导教师签名：日期：2017.6.3
离散数学总结
离散数学总结 班级：学号：姓名： 临近期末各科课程已经结束，随之而来就是总结各科学习总结和对这门学科的建议。《离散数学》这门课程当然也不会例外了。经过一个学期的学习我发现《离散数学》是一门理论性非常强的课程，而且知识点非常多，定义和定理以及定律是数之不尽。 《离散数学》顾名思义就是一门数学，它是数学众多领域中的一个小分支，即使是一个小小的分支，但是它的内容也非常之多，同时也非常抽象。自认我的数学成绩还是不错的，但是面对《离散数学》我就头痛，书本里面很多知识点我都是似懂非懂地。但鉴于《离散数学》在计算科学中的重要性，这是一门必须牢牢掌握的课程。因此我也很无奈，只好硬着头皮去学好它了。 离散数学是理论性较强的学科，学习离散数学的关键是对离散数学(集合论、数理逻辑和图论)有关基本概念的准确掌握，对基本原理及基本运算的运用，并要多做练习。 《离散数学》的特点是： 1、知识点集中，概念和定理多。《离散数学》是建立在大量概念之上的逻辑推理学科，概念的理解是我们学习这门学科的核心。不管哪本离散数学教材，都会在每一章节列出若干定义和定理，接着就是这些定义定理的直接应用。掌握、理解和运用这些概念和定理是学好这门课的关键。要特别注意概念之间的联系，而描述这些联系的则是定理和性质。 2、方法性强：离散数学的特点是抽象思维能力的要求较高。通过对它的学习，能大大提高我们本身的逻辑推理能力、抽象思维能力和形式化思维能力，从而今后在学习任何一门计算机科学的专业主干课程时，都不会遇上任何思维理解上的困难。《离散数学》的证明题多，不同的题型会需要不同的证明方法（如直接证明法、反证法、归纳法等），同一个题也可能有几种方法。但是《离散数学》证明题的方法性是很强的，如果知道一道题用什么方法讲明，则很容易可以证出来，否则就会事倍功半。因此在平时的学习中，要勤于思考，对于同一个问题，尽可能多探讨几种证明方法，从而学会熟练运用这些证明方法，再者要善于总结。 在学习《离散数学》的过程中，我明白了理解概念是至关重要的。只有概念明确，才有可能将离散数学学好。但是初学者往往不能够将概念与现实世界中的事物联系起来，这是学好离散数学的基础，因此也是初学者面临的一个困难。只有克服它，你才能有可能学好《离散数学》。 学完这门课后，我总结到了，如果你想学得更好——你可以在进行完一章的学习后，用专门的时间对该章包括的定义与定理实施强记。只有这样才可能本课程的抽象能够适应，并为后续学习打下良好的基础。而且必须及时复习和总结。 《离散数学》是一门数学科，大家都知道学数学就是要大量做数学，因此《离散数学》也不会例外。学习数学不仅限于学习数学知识，更重要的还在于学习数学的思维方法。这一点非常重要。 课程虽然是上完了，但是老师你的教学方法独特而新颖，思想开化而先进，是个容易沟通的老师。有你带着我们学习《离散数学》就是我们不想学好，我想也是很难吧！就我来说每次上课时在我快要与“周公”会面之际，你突然一个笑话和雷人的语录，我和“周公”迫不得已就分开了。当我再次看到周公时，耳边
实践指导书_多表查询与子查询
一、实验题目：多表查询与子查询 二、实验目的： 掌握如何进行多表查询与子查询 三、实验步骤： 附加XSCJ数据库，改名为XSCJ学号姓名，完成以下习题后把习题语句保存为学号姓名.sql 文件并上传至教师机指定共享文件夹 连接习题： --1、查找XSCJ数据库每个学生的情况以及选修的课程情况。 --2、查询xscj数据库中学号，姓名，课程号，成绩 --3、查询xscj数据库中学号，姓名，课程名，成绩 --4、查询xscj数据库中选修了计算机基础课程同学的学号，姓名，成绩 --5、查询xscj数据库中程明选修的课程名，成绩 --6、查询班级表中学制相同的班级编号 一、连接 1．什么是连接 连接是两元运算，可以两个或多个表进行查询，其结果通常是含有参加连接运算的两个表（或多个表）的指定列的表。 在实际应用中，多数情况下，用户查询的列都来自于多个表。 涉及多个表的查询被称为连接查询。 2．连接表现形式 在T-sql语言中连接查询有两大类表示形式 1）符合sql标准连接谓词表示形式。 2）T-sql扩展的使用关键字join的表示形式。 3．连接分类 内连接表名1 join 表名2 on 条件 外连接左连接left join ，右连接right join，全连接full join 自连接 谓词连接：where 条件（两个表中的字段条件） 4．建立连接的步骤 1）要连接哪几个表 2）以什么条件连接——关系：主键、外键，等值 3）查询记录的条件 4）要查询什么信息 如：查询studentscore数据库中学生信息表和学生成绩表的全部信息 附加studentscore数据库 Select From Where
离散数学课程教学大纲
《离散数学》课程教学大纲 课程代码： 课程负责人：陈远 课程中文名称：离散数学 课程英文名称：Discrete Mathematics 课程类别：选修 课程学分数：3 课程学时数：54 授课对象：信息管理与信息系统、电子商务本科生 本课程的前导课程：计算机原理、信息管理概论、电子商务概论 一、教学目的和要求 《离散数学》是信息管理与信息系统、电子商务专业本科生的专业基础课程。离散数学是研究离散量的结构及相互关系的学科，它综合了计算机科学中所用到的各数学分支，为计算机科学及相关学科提供了有力的理论基础和工具，其应用在信息管理与开发领域相当广泛。通过学习本课程，培养了学生的逻辑推理、抽象思维和形式化思维能力，为学习各专业课程，如数据结构、程序设计、操作系统、数据库原理、计算机网络、信息组织、信息检索、项目管理、决策支持系统等课程，作了必要的数学准备，是将信息由人工处理转为计算机自动化处理的“桥梁”，从而提高学生的理论素质以及独立学习与工作的能力。 《离散数学》是应用数学课，因此教学方式主要还是定理证明、例题讲解以及学生课后的习题练习。本专业的《离散数学》是给其他专业课打基础、作知识预备的，教学重点在于应用，所以教学中选用的例题与习题多是与实际问题结合的，并要引导学生将专业课中涉及的内容用离散数学的方法来解决，强调的是加深理解、加强联系，学以致用。在每章学完后会采用讲习题课、讨论答疑、批改作业等多种手段来检查学生学习效果，部分习题解答要求学生编程序实现。 二、课程的内容与学时分配 根据本专业知识的需求及课程设置和学时的安排，《离散数学》从实用角度出发，结合后续课程的应用主要讲授三大部分的内容，即数理逻辑、集合论、图论。
离散数学知识点总结
总结离散数学知识点 第二章命题逻辑 1.→，前键为真，后键为假才为假；<—>，相同为真，不同为假； 2.主析取范式：极小项(m)之和；主合取范式：极大项(M)之积； 3.求极小项时，命题变元的肯定为1，否定为0，求极大项时相反； 4.求极大极小项时，每个变元或变元的否定只能出现一次，求极小项时变元不够合取真，求极大项时变元不够析取假； 5.求范式时，为保证编码不错，命题变元最好按P,Q,R的顺序依次写； 6.真值表中值为1的项为极小项，值为0的项为极大项； 7.n个变元共有n2个极小项或极大项，这n2为(0~n2-1)刚好为化简完后的主析取加主合取； 8.永真式没有主合取范式，永假式没有主析取范式； 9.推证蕴含式的方法(=>)：真值表法；分析法(假定前键为真推出后键为真，假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法：P规则，T规则 ①真值表法；②直接证法；③归谬法；④附加前提法； 第三章谓词逻辑 1.一元谓词：谓词只有一个个体，一元谓词描述命题的性质； 多元谓词：谓词有n个个体，多元谓词描述个体之间的关系；
2.全称量词用蕴含→，存在量词用合取^; 3.既有存在又有全称量词时，先消存在量词，再消全称量词； 第四章集合 1.N，表示自然数集，1,2,3……，不包括0； 2.基：集合A中不同元素的个数，|A|； 3.幂集：给定集合A，以集合A的所有子集为元素组成的集合，P(A)； 4.若集合A有n个元素，幂集P(A)有n2个元素，|P(A)|=||2A=n2； 5.集合的分划：(等价关系) ①每一个分划都是由集合A的几个子集构成的集合； ②这几个子集相交为空，相并为全(A)； 6.集合的分划与覆盖的比较： 分划：每个元素均应出现且仅出现一次在子集中； 覆盖：只要求每个元素都出现，没有要求只出现一次； 第五章关系 1.若集合A有m个元素，集合B有n个元素，则笛卡尔A×B的基 2种不同的关系； 数为mn，A到B上可以定义mn 2.若集合A有n个元素，则|A×A|=2n，A上有22n个不同的关系；