离散数学基础实验教学大纲Word版
理学院
《离散数学基础》实验教学大纲
课程名称：离散数学基础实验
课程编号：080J21A
课程总学时：51
实验学时数：17
课程总学分：2.5
实验学分：0.5
开设实验项目数：5
一、实验教学目的
面向离散数学在计算机中的应用，通过实验操作，使学生掌握研究计算机科学的基础理论，进一步提高学生的抽象思维与逻辑推理能力，增强实际应用能力。
二、实验项目内容、基本要求与学时分配
注：1、实验类型：演示、验证、操作、综合、设计、研究。2、实验要求：指必做、选做。
三、实验考核方式与标准
实验考核以学生的实验态度、掌握的实验理论、实际操作技能和实验报告等为主，各单项考核内容所占分数比例为：实验态度占10%、实验理论占15%；操作技能占50%；实验报告占25%。
四、实验教材与参考书
推荐教材：《离散数学》（修订版），耿素云屈婉玲编著，高等教育出版社，2004年。
主要参考书：《离散数学导论》第二版，徐洁磬编著，高等教育出版社，1997年。
《离散数学》， [美]S.利普舒尔茨， M.利普森，周兴和、孙志人、张学斌译, 科学出版社和麦格劳-希尔教育出版集团, 2001年。
《计算方法》实验教学大纲
课程名称：计算方法实验
课程编号：080J22B
课程总学时：85
实验学时数：34
课程总学分：4
实验学分：1
开设实验项目数：5
一、实验教学目的
本课程以MATLAB或C为编程语言，将《计算方法》课程中的常用算法用MATLAB语言描述并上机进行数值实验。通过实验，使学生进一了解各个算法的特点及适用范围，提高学生用计算机解决实际问题的能力。
二、实验项目内容、基本要求与学时分配
三、实验考核方式与标准
实验考核以学生的实验态度、掌握的实验理论、实际操作技能和实验报告等为主，各单项考核内容所占分数比例为：实验态度占10%、实验理论占15%；操作技能占50%；实验报告占25%。
四、实验教材与参考书
1、《计算机数值方法》（第二版），施吉林等，高教出版社出版，2005年
2、《计算方法引论》（第二版），徐翠薇、孙绳武，高等教育出版社，2002
《计算方法基础》实验教学大纲
课程名称：计算方法基础
课程编号：080J23A
课程总学时：51
实验学时数：17
课程总学分：2.5
实验学分：0.5
开设实验项目数：3
一、实验教学目的
本课程以MATLAB或C为编程语言，将《计算方法基础》课程中的常用算法用MATLAB语言描述并上机进行数值实验。通过实验，使学生进一了解各个算法的特点及适用范围，提高学生用计算机解决实际问题的能力。
二、实验项目内容、基本要求与学时分配
三、实验考核方式与标准
实验考核以学生的实验态度、掌握的实验理论、实际操作技能和实验报告等为主，各单项考核内容所占分数比例为：实验态度占10%、实验理论占15%；操作技能占50%；实验报告占25%。
四、实验教材与参考书
1、《计算机数值方法》（第二版），施吉林等，高教出版社出版，2005年
2、《计算方法引论》（第二版），徐翠薇、孙绳武，高等教育出版社，2002
《数学建模》实验教学大纲
课程名称：数学建模
课程编号：084J01A
课程总学时：68
实验学时数：34
课程总学分：3
实验学分：1
开设实验项目数：5
一、实验教学目的
实验目标主要包括一下几个方面的内容：
1．熟练掌握数学软件——Maple的使用。掌握Maple软件与其他计算机软件之间的差别，理解符号运算及精确计算在实际应用中的重要地位，掌握简单问题的程序设计；
2．掌握实际问题建立数学模型的基本方法。通过实验，理解实际问题转化为数学模型的基本途径，了解数学模型在科学发展中的重要地位；
3．掌握基本的算法。掌握一般连续型和离散型问题求解的基本算法以及算法的计算机实现。
基本要求：
要求学生完成实验的全部过程，掌握建立模型、设计算法、编制程序、模型求解以及模型解的检验方法，所有上述工作必须以电子形式完成。
二、实验项目内容、基本要求与学时分配
注：1、实验类型：演示、验证、操作、综合、设计、研究。2、实验要求：指必做、选做。
三、实验考核方式与标准
实验考核以学生的实验态度、掌握的实验理论、实际操作技能和实验报告等为主，各单项考核内容所占分数比例为：实验态度占10%、实验理论占15%；操作技能占50%；实验报告占25%。
四、实验教材与参考书
教材: 《数学模型》，姜启源主编，高等教育出版社。
参考书目：寿纪麟主编，《数学建模——方法与范例》，西安交大出版社。
中国科学院系统科学研究所，《数学的实践与认识》。
《数学实验》实验教学大纲
课程名称：数学实验
课程编号：084J02A
课程总学时：34
实验学时数：34
课程总学分：1
实验学分：1
开设实验项目数：5
一、实验教学目的
实验目标主要包括一下几个方面的内容：
1．熟练掌握数学软件——Maple的使用。掌握Maple软件与其他计算机软件之间的差别，理解符号运算及精确计算在实际应用中的重要地位，掌握简单问题的程序设计；
2．掌握实际问题建立数学模型的基本方法。通过实验，理解实际问题转化为数学模型的基本途径，了解数学模型在科学发展中的重要地位；
3．掌握基本的算法。掌握一般连续型和离散型问题求解的基本算法以及算法的计算机实现。
基本要求：
根据学生数学软件掌握的情况以及实验问题的难易程度，要求学生至少完成4个实验的全部过程，包括建立模型、设计算法、编制程序、模型求解以及模型解的检验，所有上述工作必须以电子形式完成。二、实验项目内容、基本要求与学时分配
注：1、实验类型：演示、验证、操作、综合、设计、研究。2、实验要求：指必做、选做。
三、实验考核方式与标准
实验考核以学生的实验态度、掌握的实验理论、实际操作技能和实验报告等为主，各单项考核内容所占分数比例为：实验态度占10%、实验理论占15%；操作技能占50%；实验报告占25%。平时成绩占总评的100%，期末考核占总评的0%。
四、实验教材与参考书
教材：乐经良编，《数学实验》，高等教育出版社。
参考书目：姜启源编，《数学建模》，高等教育出版社。
《数值计算方法实验》实验教学大纲
课程名称：数值计算方法实验
课程编号：082AA3A
课程总学时：34
实验学时数：34
课程总学分：1
实验学分：1
开设实验项目数：5
一、实验教学目的
数值计算的应用范围已十分广泛，作为用计算机解决实际问题的基础、桥梁和纽带，是架设在数学与计算机之间的一条通道。数值计算中的算法，包括在求解线性方程组、曲线拟合、数值积分、数值微分等一系列计算机中所使用的迭代方法、插值法、拟合法、最小二乘法等。数值计算方法实验将帮助学生理解并掌握数值计算方法这门专业课的基本理论和基本内容，准确地将所求解的数学模型简化成一系列算术或逻辑运算，以MATLAB或C为编程语言,上机实现其数值求解。通过实验，加深学生对一些重要算法的理解，提高学生的编程能力与解决实际问题的能力，培养学生运用计算方法解决工程计算的能力。
二、实验项目内容、基本要求与学时分配
三、实验考核方式与标准
实验考核以学生的实验态度、掌握的实验理论、实际操作技能和实验报告等为主，各单项考核内容所占分数比例为：实验态度占10%、实验理论占15%；操作技能占50%；实验报告占25%。平时成绩占总评的100%，期末考核占总评的0%。
四、实验教材与参考书
1、《计算机数值方法》（第二版）施吉林等，高教出版社出版，2005年。
2、《计算方法引论（第二版）》，徐翠薇、孙绳武，高等教育出版社，2002。
《数据结构实验》上机教学大纲
课程名称：数据结构实验
课程编号：087SB2A
课程总学时：34
上机学时数：34
课程总学分：1
上机学分：1
上机项目数：7
一、上机操作的目的与基本要求
通过实践，学生对常用数据结构的基本概念及其不同的实现方法的理论得到进一步的掌握，并对在不同存储结构上实现不同的运算方式和技巧有所体会。
二、上机操作项目内容、能力标准和学时分配
注：1、上机类型：单项训练、综合训练
三、使用教材与参考书
教材：《数据结构题集》（C语言版），严蔚敏、吴伟民，清华大学出版社
参考书目：《C程序设计》，谭浩强，清华大学出版社
四、考核方式与标准
上机考核以学生的上机态度、掌握的上机理论、实际操作技能和上机报告等为主，各单项考核内容所占分数比例为：上机态度占10%、上机理论占15%；操作技能占50%；上机报告占25%。平时成绩占总评的100%，期末考核占总评的0%。
《数学模型实验》实验教学大纲
课程名称：数学模型实验
课程编号：083AA2A
课程总学时：34
实验学时数：34
课程总学分：1
实验学分：1
开设实验项目数：5
一、实验教学目的
1．熟练掌握数学软件——Maple的使用。掌握Maple软件与其他计算机软件之间的差别，理解符号运算及精确计算在实际应用中的重要地位，掌握简单问题的程序设计；
2．掌握实际问题建立数学模型的基本方法。通过实验，理解实际问题转化为数学模型的基本途径，了解数学模型在科学发展中的重要地位；
3．掌握基本的算法。掌握一般连续型和离散型问题求解的基本算法以及算法的计算机实现。
基本要求：
要求学生完成实验的全部过程，掌握建立模型、设计算法、编制程序、模型求解以及模型解的检验方法，所有上述工作必须以电子形式完成。
二、实验项目内容、基本要求与学时分配
《离散数学》教学大纲
《离散数学》教学大纲 课程编码：11272016 课程名称：离散数学 英文名称：Discrete Mathematics 开课学期： 学时/学分：42/ 课程类型：专业基础课 开课专业：信息管理专业本科生 选用教材：《离散数学》清华大学出版社2004年3月第二版 主要参考书： 1、李大友主编：《离散数学》，清华大学出版社2003年版。 2、耿素云等著：《离散数学》，高等教育出版社1999年版。 一、课程性质、目的与任务 离散数学是全国高等学校信息管理专业开设的主干课程之一，是信息管理专业本科生必修的重要基础理论课程。本课既可为其他课程的学习提供理论基础，同时也使学生掌握一些基本数学理论。 通过本课程的学习，同学们应系统掌握离散数学的基本理论。透过现代数学的观点和内容，以开阔学生的眼界，启迪他们的思维。培养学生抽象概括问题的能力、逻辑推理能力、空间想象能力和动手能力。以及通过实践加深对理论的理解程度。 二、教学基本要求 1、全面掌握本学科的基本概念、基本理论和基本方法。 2、全面了解集合、关系、代数系统、图论等基本知识。 3、注重培养学生的思维能力，采用理论与实践相结合，理论讲述与案例分析相结合的方法进行教学，培养和提高学生分析问题和解决问题的能力，使学生完成本门课程的学习任务之后，能够自觉地对实践中存在的问题进行反思并提出解决办法。 三、各章节内容及学时分配 第一章集合论（4/2学时） 教学目的与要求 了解集合、集合的覆盖、笛卡儿积的概念。熟练掌握子集的概念和集合的运算。掌握集合的性质。
第一节集合的基本概念 第二节子集、集合的相等 第三节集合的运算及其性质 第四节笛卡儿积 第五节集合的覆盖与划分 考核要求 了解：集合、集合的覆盖、笛卡儿积的概念 理解：集合的性质 掌握：子集的概念和集合的运算 第二章二元关系（6/4学时） 教学目的与要求 了解关系的定义和基本类型。掌握关系的闭包和偏序关系。熟练掌握等价关系和关系的运算。 教学内容 第一节关系的定义及表示 第二节关系的运算 第三节关系的基本类型 第四节关系的闭包 第五节等价关系 第六节偏序关系 考核要求 了解：关系的定义和基本类型 理解：关系的闭包和偏序关系 掌握：等价关系和关系的运算 第三章函数（4/2学时） 教学目的与要求 了解集合的基数。掌握函数的基本概念。熟练掌握函数的复合、反函数。
二年级下学期数学教学大纲
二年级《数学》第二学期教学大纲 课程名称：数学 课程性质：必修课 学时：96课时 教学对象：印度尼西亚二年级学生 总叙 经过一年半的学习，学生汉语的听、说、读、写以及字词的理解能力都大大的得到了提升，这对他们能够快速的学习数学知识有一定的帮助。上学期我们重点学习了100以的加、减法笔算和表乘法。一个学期的训练，学生基本上熟练地掌握了100以笔算加、减法的计算方法，能够正确地进行计算，知道乘法的含义和乘法式子中各部分的名称，能够背诵全部乘法口诀，熟练地口算两个一位数相乘。 这个学期我们将重点学习表除法、万以数的认识以及加强对应用题的理解。知道除法的含义，除法算式中各部分的名称，乘法和除法的关系；能够熟练地运用乘法口诀求商。学生能够进一步理解应用题的含义，更重要的是能够独立求解应用题。
数学这门学科的作用就在于通过学习提高学生的观察力、理解力、判断力、分析能力以及逻辑推理能力。在学生的汉语能力提高的同时，我们也要让学生的观察、理解、分析、判断、推理等多种智力因素得到充分发挥从而达到发展思维的目的。所以作为一个教师，我们要精心设计我们的课堂，要思考怎样提高学生对数学兴趣，同时，也能让学生学到更多的数学知识。让每一个学生都喜欢数学，喜欢解决问题，更喜欢思考。 上学期工作回顾 教学容： 1、认识长度单位厘米和米 2、100以的加、减法竖式计算 3、初步认识角 4、表乘法 5、观察物体 教学重点：100以的加、减法竖式计算和表乘法。 教学目标： 1、掌握100以笔算加、减法的计算方法，并正确地进行计算。掌握 100以笔算加、减法的估算方法，及估算方法的多样性。 2、知道乘法的含义和乘法版式中各部分的名称，熟记全部乘法口诀， 并且能够口算两个一位数相乘的乘法。 3、认识长度单位厘米和米，初步建立1米、1厘米的长度观念，知道 1米＝100厘米；学会用刻度尺量物体的长度（限整厘米）。 4、认识线段，测量整厘米线段的长度；认识角和直角，知道角的各 部分名称，会用三角板判断一个角是不是直角；初步学会画线段、 角和直角。 5、能够辨认从不同位置观察到简单物体的形状；初步认识对称现象， 并能在方格纸上画出简单的轴对称图形。
离散数学上机实验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栈的栈顶运算符比较后作相应操作，直至整个命题公式求值完毕。
离散数学基本公式
、基本等值式 ⑴双重否定律 A A ⑵籍等律 A A A A A V A A ⑶交换律 A A B BA A A V B BV A ⑷结合律 A V (B V C) (A V B) V C A A (B A C) (A A B) A C ⑸分配律 A V (B A C) (A V B) A (A V C) A A (B V C) (A A B) V (A A C) (6)德摩根律(A V B) AA B (A A B) AV B ⑺吸收律 A (8)零律A ⑼同一律 A (10) 排中律 A (11) 矛盾律 A (12) 蕴含等值式A (13) 等价等值式A V (A A B) V1 1 A1 A V A 1 A A 0 B AV B (A A A A A B B) A (B A) A (A V B) A 0 0 V 0 A A A B (AV B) A (A V B) A B (A A B) V ( AA B ) (14) 假言易位ABBA (15) 等价否定等值式ABA B (16)归谬论(A B) A (A B) A 一、推理定律里口编涵式 1.A ( A B) 附加律 2.( A B) A 化简律 3.( A B) A B 假言推理 4.( A B) B A 拒取式 5.( A B) B A 析取三段论 6.( A B) (B C) (A 假言三段论 7.( A B) (B Q (A C) 等价三段论 8.( A B) (C D) (A C) (B D) 构造性二难 (A B) ( A B) B 构造性二难(特殊形式) 9.( A B) (C D) ( B D) ( A Q 破坏性二难 三、量词辖域收缩与扩张 x(A(x) V B) xA(x) VB x(A(x) A B) xA(x) AB x(A(x) —B) xA(x) F x(B t A(x)) B T xA(x) x(A(x) V B) xA(x) VB x(A(x) A B) xA(x) A B x(A(x) —B) xA(x) F x(B t A(x)) B T xA(x) 四、量词分配 x(A(x) A B(x)) xA(x) A xB(x) x(A(x) V B(x)) xA(x) V xB(x) x(A(x) V B(x)) xA(x) V xB(x)
离散数学_教学大纲
《离散数学》课程教学大纲课程编号:02700013 课程名称：离散数学 英文名称：Discrete Mathematics 课程类型: 专业基础课 总学时：108 讲课学时：108 实验学时：0 学分：5 适用对象: 计算机科学与技术专业 先修课程：高等数学、线性代数等 一、课程简介 离散数学是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。它在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机科学的许多专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且离散数学所提供的训练可以帮助学生提高抽象思维能力和逻辑推理能力，有益于学生严谨、完整、规范的科学态度的培养。为将来参与创新性的研究和开发工作打下坚实的基础。 二、课程性质、目的和任务 1.性质:本课程是为计算机专业本科开设的专业基础课。 2.目的:《离散数学》以研究离散量的结构和相互之间的关系为主要目标，在信息处理技术、计算机软硬件的设计等领域都有着广泛应用。 3.任务:通过这门课程的学习，要使学生掌握离散数学的基本概念和基本原理，以现代数学的方法，初步掌握处理离散结构所必须的一些基本数学工具和方法。同时，也要培养学生抽象思维、逻辑推理，符号演算和慎密概括的能力，从而使学生具有良好的专业理论素质，提高学生分析和解决实际问题的能力。 三、教学基本要求 通过本课程的学习，使学生了解和掌握关于离散量的基本概念及其相关理论，为后继课程的学习作必要的理论准备。基本要求：（1）学习数理逻辑最基本的内容，掌握命题逻辑及谓词逻辑的基本概念，掌握命题演算的方法，掌握命题推理及谓词推理的基本理论，并会用推理理论进行逻辑论证。（2）学习集合论的基本概念及性质，掌握集合运算及证明的基本理论和方法；学习二元关系的概念与性质，掌握等价关系和偏序关系，并使学生从更高层次理解函数。（3）学习代数系统的基本知识，掌握二元运算的定义和性质，了解代数系统的子代数和积代数、同态与同构等概念，掌握半群、幺半群、群、环、域和格、布尔代数等代数系统的定义及其性质。（4）学习图论的基本概念及其理论，主要掌握简单图和一些特殊图的性质，包括欧拉图和哈密尔顿图、二部图、平面图等。掌握树的基本概念及其相关运算。学会使用图论方法解决具体问题。
(完整版)离散数学实验指导书及其答案
实验一命题逻辑公式化简 【实验目的】加深对五个基本联结词（否定、合取、析取、条件、双条件）的理解、掌握利用基本等价公式化简公式的方法。 【实验内容】用化简命题逻辑公式的方法设计一个表决开关电路。 实验用例：用化简命题逻辑公式的方法设计一个 5 人表决开关电路，要求 3 人以上（含 3 人）同意则表决通过（表决开关亮）。 【实验原理和方法】 （1）写出5人表决开关电路真值表，从真值表得出5 人表决开关电路的主合取公式（或主析取公式），将公式化简成尽可能含五个基本联结词最少的等价公式。 （2）上面公式中的每一个联结词是一个开关元件，将它们定义成 C 语言中的函数。 （3）输入5人表决值（0或1），调用上面定义的函数，将5人表决开关电路真值表的等价公式写成一个函数表达式。 （4）输出函数表达式的结果，如果是1，则表明表决通过，否则表决不通过。 参考代码： #include
离散数学基础试题(二)
离散数学基础试题（二） 一、判断题（每题2分，共12分） 1.在命运题逻辑中，任何命题公式的主合取范式都是存在的，并且是唯一的。（） 2.与是不等值的（） 3.设是非连通平面图G的对偶图，设分别为的顶点数，边数和面数，则它们之间满足欧拉公式：。（） 4.设无向图G具有割点，则G中一定不存在哈密尔顿通路。（） 5.设，A上的恒等关系既是A上的等价关系也是A上的偏序关系。（） 6.设A,B,C,D均为非空的集合，已知A*B且C*D，则一定有。（） 二、填空题（每小题3分，共30分） 1.设p:小王走路,q:小王听音乐,在命题逻辑中，命题“小王边走路边听音乐”的符号化形式为___________________。 2.设F(x):x是人，H(x,y):x与y一样高，在一阶逻辑中，命题“人都不一样高”的符号化形式为_________________。 3.的成真赋值为________________________。 4.设G是n阶无向带权边通图，各变的权均为a(a>0),设T是G的一棵最小生成树，则T的权W(T)=_______________________。 5.设G1,G2,G3,G4都是4阶3条边的无向简单图，则它们之间至少有 ___________________个是同构的。 6．设G是n（n2）阶二部图，又是平面图，则命题“G的对偶图是欧拉图”的真值为_______________________。 7.设为整数集，，则f的值域ranf=___________。 8.设则A上共有____________个不同的等价关系。 9.设，恒等关系IA的传递闭包t(IA)=_________________。
离散数学实验报告
离散数学实验报告（实验ABC） 专业班级 学生姓名 学生学号 指导老师 完成时间
目录 第一章实验概述..................................... 错误!未定义书签。 实验目的....................................... 错误!未定义书签。 实验内容....................................... 错误!未定义书签。 实验环境....................................... 错误!未定义书签。第二章实验原理和实现过程........................... 错误!未定义书签。 实验原理....................................... 错误!未定义书签。 建立图的邻接矩阵，判断图是否连通 ............ 错误!未定义书签。 计算任意两个结点间的距离 ................... 错误!未定义书签。 对不连通的图输出其各个连通支 ................ 错误!未定义书签。 实验过程（算法描述）........................... 错误!未定义书签。 程序整体思路 ............................... 错误!未定义书签。 具体算法流程 ................................ 错误!未定义书签。第三章实验数据及结果分析........................... 错误!未定义书签。 建立图的邻接矩阵并判断图是否连通的功能测试及结果分析错误!未定义书签。 输入无向图的边 .............................. 错误!未定义书签。 建立图的连接矩阵 ............................ 错误!未定义书签。 其他功能的功能测试和结果分析................... 错误!未定义书签。 计算节点间的距离 ............................ 错误!未定义书签。 判断图的连通性 .............................. 错误!未定义书签。 输出图的连通支 .............................. 错误!未定义书签。 退出系统 .................................... 错误!未定义书签。第四章实验收获和心得体会........................... 错误!未定义书签。
离散数学实验报告四个实验
《离散数学》 课程设计 学院计算机学院 学生姓名 学号 指导教师 评阅意见
提交日期 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维数组，以数组的运算来实现二元关系的判断。 图示：
(完整版)小学二年级数学教学大纲
小学二年级数学教学大纲 二年级教学内容(每周5课时) (一)数与计算 (1)两位数加、减两位数。两位数加、减两位数。加、减法竖式。两步计算的加减式题。 (2)表内乘法和表内除法。乘法的初步认识。乘法口诀。乘法竖式。除法的初步认识。用乘法口诀求商。除法竖式。有余数除法。两步计算的式题。 (3)万以内数的读法和写法。数数。百位、千位、万位。数的读法、写法和大小比较。 (4)加法和减法。加法，减法。连加法。加法验算，用加法验算减法。 (5)混合运算。先乘除后加减。两步计算式题。小括号。 (二)量与计量 时、分、秒的认识。 米、分米、厘米的认识和简单计算。 千克(公斤)的认识。 (三)几何初步知识 直线和线段的初步认识。 角的初步认识。直角。 (四)应用题 加法和减法一步计算的应用题。 乘法和除法一步计算的应用题。 比较容易的两步计算的应用题。 (五)实践活动 与生活密切联系的内容。 例如调查家中本周各项消费的开支情况， 想到哪些数学问题。 教学要求 1.认识计数单位“百”、“千”和“万”，知道相邻两个计数单位之间的十进关系。掌 握万以内的数位顺序，会读数、写数，会比较数的大小。 2.掌握加、减法的笔算法则。会用竖式计算比较简单的连加式题。比较熟练地口算两位数加、减两位数(和在100以内)，会口算整百、整千数的加、减法和几百几十加、减整百或整十的数，会用交换加数的位置验算加法和用加法验算减法。初步培养学生检查和验算的习惯。 3.知道乘、除法的含义和乘、除法算式中各部分的名称，乘法和除法的关系。知道乘法口诀是怎样得来的，熟记全部乘法口诀，能够熟练地用口诀求积、求商。熟练地计算除数是一位数、商也是一位数的有余数的除法。 [注①：例如3个5，可以写作3×5，也可以写作5×3。3×5读作3乘5，3和5 都是乘数（也可以叫因数）。②：不给出“第一种分法”、“第二种分法”等名称。] 4.初步掌握混合运算顺序，会计算两步式题。认识小括号。 5.认识长度单位米、分米、厘米。知道1米、1厘米的实际长度。知道1米＝10分米，1分
离散数学基础实验教学大纲Word版
理学院
《离散数学基础》实验教学大纲 课程名称：离散数学基础实验 课程编号：080J21A 课程总学时：51 实验学时数：17 课程总学分：2.5 实验学分：0.5 开设实验项目数：5 一、实验教学目的 面向离散数学在计算机中的应用，通过实验操作，使学生掌握研究计算机科学的基础理论，进一步提高学生的抽象思维与逻辑推理能力，增强实际应用能力。 二、实验项目内容、基本要求与学时分配 注：1、实验类型：演示、验证、操作、综合、设计、研究。2、实验要求：指必做、选做。 三、实验考核方式与标准 实验考核以学生的实验态度、掌握的实验理论、实际操作技能和实验报告等为主，各单项考核内容所占分数比例为：实验态度占10%、实验理论占15%；操作技能占50%；实验报告占25%。 四、实验教材与参考书 推荐教材：《离散数学》（修订版），耿素云屈婉玲编著，高等教育出版社，2004年。 主要参考书：《离散数学导论》第二版，徐洁磬编著，高等教育出版社，1997年。 《离散数学》， [美]S.利普舒尔茨， M.利普森，周兴和、孙志人、张学斌译, 科学出版社和麦格劳-希尔教育出版集团, 2001年。
《计算方法》实验教学大纲 课程名称：计算方法实验 课程编号：080J22B 课程总学时：85 实验学时数：34 课程总学分：4 实验学分：1 开设实验项目数：5 一、实验教学目的 本课程以MATLAB或C为编程语言，将《计算方法》课程中的常用算法用MATLAB语言描述并上机进行数值实验。通过实验，使学生进一了解各个算法的特点及适用范围，提高学生用计算机解决实际问题的能力。 二、实验项目内容、基本要求与学时分配 三、实验考核方式与标准 实验考核以学生的实验态度、掌握的实验理论、实际操作技能和实验报告等为主，各单项考核内容所占分数比例为：实验态度占10%、实验理论占15%；操作技能占50%；实验报告占25%。 四、实验教材与参考书 1、《计算机数值方法》（第二版），施吉林等，高教出版社出版，2005年 2、《计算方法引论》（第二版），徐翠薇、孙绳武，高等教育出版社，2002
《离散数学》教学大纲
“离散数学”课程教学大纲 课程英文名称：Discrete Methemetics 课程编号：05141201 课程类型：专业核心课 总学时：64 学分：4 使用对象：信息与系统工程学院计算机专业(民、汉本) 选修课程：高等数学、线形代数、C语言 使用教材及参考书 教材：《离散数学》，耿素云、屈婉玲编著，高等教育出版社，2004年1月，面向21世纪教材。 参考书：《离散数学》，左孝凌，刘永才编著，上海科学技术出版社，1988年2月 —课程性质、目的和任务 离散数学是计算机科学的理论基础，对于培养学生的逻辑思维和分析问题、解决问题的能力起着重要作用。通过离散数学的教学，不仅能为学生的专业课学习及将来从事的软、硬件开发和应用研究打下坚实的基础，同时也能培养他们抽象思维和严格逻辑推理能力。二、教学基本要求 离散数学是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。它以研究离散量的结构和相互之间的关系为主要目标，其研究对象一般是有限个或可数个元素，因此它充分描述了计算机科学离散性的特点。 本课程包括数理逻辑、集合论、代数结构，图论等四个内容。考虑到教学时数，要求学生掌握只选数理逻辑、集合论、图论等内容。 三、教学内容及要求 第一部分：数理逻辑 第一章命题逻辑基本概念 1．分清简单命题(既原子命题)与复合命题。 2．深刻理解5种常用联结词的涵义，并能准确地应用它们将基本复合命题及复合命题符号化。 3．分清“相容或”与“排斥或”。 4．深刻理解命题公式的赋值、成真赋值、成假赋值，从而准确地判断出公式的类型。 第二章命题逻辑等值演算 1．深刻理解等值式的定义，知道公式之间的等值关系具有自反性、对称性、传递性。2．牢记基本等值式的名称及它们的内容。 3．熟练地应用基本等值式及置换规则进行等值演算。 4．了解文字、简单析取式、简单合取式、析取范式，合取范式等概念。 5．深刻理解极小项、极大项的定义，名称、下角标与成真赋值的关系，主析取范式与主合取范式。 6．熟练掌握求主析取(主合取)范式的方法。 7．会用主析取范式求公式的成真赋值、成假赋值、判断公式的类型、判断两个公式是否等值。 8．会将任何命题公式等值地化成某联结词完备集中的公式。 第三章命题逻辑的推理理论 1．理解并记住推理形式结构的以下两种形式．
离散数学基本知识
离散数学基本知识 体积和表面积三角形的面积,底×高?2。公式S= a×h?2 正方形的面积,边长×边长公式 S= a2 长方形的面积,长×宽公式S= a×b 平行四边形的面积,底×高公式S= a×h 梯形的面积,(上底+下底)×高?2 公式 S=(a+b)h?2 内角和:三角形的内角 和,180度。 长方体的表面积,(长×宽，长×高，宽×高) ×2 公 式:S=(a×b+a×c+b×c)×2 正方体的表面积,棱长×棱长×6 公式: S=6a2 长方体的体积,长×宽×高公式:V = abh 长方体(或正方体)的体积,底面积×高公式:V = abh 正方体的体积,棱长×棱长×棱长公式:V = a3 圆的周长,直径×π公式:L,πd,2πr 1 圆的面积,半径×半径×π公式:S,πr2 圆柱的表(侧)面积:圆柱的表(侧)面积等于底面的周长乘高。公 式:S=ch=πdh,2πrh 圆柱的表面积:圆柱的表面积等于底面的周长乘高再加上两头的圆的面积。公式:S=ch+2s=ch+2πr2 圆柱的体积:圆柱的体积等于底面积乘高。公式:V=Sh 圆锥的体积,1/3底面×积高。公式:V=1/3Sh 算术 1、加法交换律:两数相加交换加数的位置，和不变。 2、加法结合律:a + b = b + a 3、乘法交换律:a × b = b × a
4、乘法结合律:a × b × c = a ×(b × c) 5、乘法分配律:a × b + a × c = a × b + c 6、除法的性质:a ? b ? c = a ?(b × c) 7、7、除法的性质:在除法里，被除数和除数同时扩大(或缩小)相同的倍数，商不变。 O除以任何不是O的数都得O。简便乘法:被乘数、乘数末尾有O的乘法，可以先把O前面的相乘，零不参加运算，有几个零都落下，添在积的末尾。 8、 8、有余数的除法: 被除数,商×除数+余数方程、代数与等式 2 9、等式:等号左边的数值与等号右边的数值相等的式子叫做等式。等式的基本性质:等式两边同时乘以(或除以)一个相同的数，等式仍然成立。 10、方程式:含有未知数的等式叫方程式。一元一次方程式:含有一个未知数，并且未知数的次数是一次的等式叫做一元一次方程式。学会一元一次方程式的例法及计算。即例出代有χ的算式并计算。 11、代数: 代数就是用字母代替数。代数式:用字母表示的式子叫做代数式。如:3x =ab+c 分数:把单位“1”平均分成若干份，表示这样的一份或几分的数,叫做分数。 分数大小的比较:同分母的分数相比较，分子大的大，分子小的小。异分母的分数相比较，先通分然后再比较;若分子相同，分母大的反而小。 分数的加减法则:同分母的分数相加减，只把分子相加减，分母不变。异分母的分数相加减， 先通分，然后再加减。 分数乘整数，用分数的分子和整数相乘的积作分子，分母不变。 分数乘分数，用分子相乘的积作分子，分母相乘的积作为分母。 3
离散数学教学大纲
《离散数学》课程教学大纲 课程代码：090132119 课程英文名称：Discrete Mathematics 课程总学时：48 讲课：48 实验：0 上机：0 适用专业：信息与计算科学 大纲编写（修订）时间：2017.11 一、大纲使用说明 （一）课程的地位及教学目标 本课程是信息与计算科学专业的一门专业基础课，通过本课程的学习，一方面，为计算机科学的专业课程，如数据结构、编译系统、操作系统、数据库、信息管理系统、人工智能、形式语言等提供必要的数学基础；另一方面，可以培养学生的逻辑思维能力，更好地实现素质教育的目的。 （二）知识、能力及技能方面的基本要求 通过本课程的学习，学生将达到以下要求： 1利用基本原理，解决实际问题的能力 2 利用数学手段研究计算机专业问题的能力 3 通过本课程的学习，使学生获得利用数学手段解决具体问题的技能。如利用数理逻辑理论进行逻辑推理的技能，利用集合论理论分析各类关系的技能，利用代数结构理论讨论各类代数系统及其关系的技能，利用图论分析最短路等技能。 （三）实施说明 1．教学方法：课堂讲授中要重点对基本概念、基本方法和解题思路的讲解；采用启发式教学，培养学生思考问题、分析问题和解决问题的能力；引导和鼓励学生通过实践和自学获取知识，培养学生的自学能力；增加讨论课，调动学生学习的主观能动性。讲课要联系实际并注重培养学生的创新能力。 2．教学手段：本课程属于理论基础课，在教学中主要以理论讲解为主，辅以适当的课堂练习，帮助同学更好的理解基本概念及基本方法，以确保在有限的学时内，全面、高质量地完成课程教学任务。 （四）对先修课的要求 本课程的教学必须在完成先修课程之后进行。本课程主要的先修课程有：高等代数1。 （五）对习题课、实践环节的要求 1．对重点、难点章节（如：稳定变应力下的疲劳强度计算、螺栓组强度计算、齿轮传动受力分析、轴系结构设计等）应安排习题课，例题的选择以培养学生消化和巩固所学知识，用以解决实际问题为目的。 2．课后作业要少而精，内容要多样化，作业题内容必须包括基本概念、基本理论及设计计算方面的内容，作业要能起到巩固理论，掌握计算方法和技巧，提高分析问题、解决问题能力，熟悉标准、规范等的作用，对作业中的重点、难点，课上应做必要的提示，并适当安排课内讲评作业。学生必须独立、按时完成课外习题和作业，作业的完成情况应作为评定课程成绩的一部分。 （六）课程考核方式 1．考核方式：考试 2．考核目标：在考核学生对离散数学的基本知识、基本方法的基础上，重点考核学生的分
《离散数学》教学大纲
《离散数学》教学大纲 课程编号：CE3008 课程名称：离散数学英文名称：Discrete Mathematics 学分/学时：3.0/48 课程性质：必修 适用专业：网络工程、信息安全建议开设学期：3 先修课程：高等数学、线性代数开课单位：网络与信息安全学院 一、课程的教学目标与任务 离散数学是研究离散数量关系和离散结构数学模型的数学分支的统称，是网络工程、信息安全等计算机相关专业的专业平台基础课，也是学习专业课程必不可少的数学工具。本课程的数理逻辑是用符号化的方法研究推理的规律，集合论是现代数学的基础，代数结构、图论等知识在计算机相关的学科都有着广泛的应用。 通过本课程的学习，使学生掌握离散数学的基本概念和基本原理，掌握一些基本的能够描述离散对象的结构，了解这些离散结构的特性、离散结构之间的关系，理解离散结构在计算机问题求解中的意义与基本运用；进一步提高抽象思维和逻辑推理的能力，培养学生对简单问题进行合理数学建模的能力，使得学生能够在理论推导上有所提高，并且能够对计算机描述的世界进行基本建模；掌握一些基本的计数技巧，帮助学生掌握命题逻辑和谓词逻辑的概念、基本理论以及应用逻辑的理论建模，为进一步学习后续课程打下必要基础。 二、课程具体内容及基本要求 （一）数理逻辑（12学时） 具体内容提要： （1）命题逻辑基本概念 ●命题与联接词； ●命题公式及其赋值。 （2）命题逻辑等值演算 ●等值式； ●析取范式与合取范式； ●联接词的完备集。 （3）命题逻辑推理理论 ●推理的形式结构；
●自然推理系统P。 （4）一阶逻辑基本概念 ●一阶逻辑命题的符号化； ●一阶逻辑公式及其解释。 （5）一阶逻辑等值演算与推理理论 ●一阶逻辑等值式与置换规则； ●一阶逻辑的前束范式； ●一阶逻辑的推理理论。 1.基本要求 （1）对于命题逻辑：了解范式的应用和全功能联结词的应用；熟悉命题与联结词、命题公式及其赋值、命题公式的等值式模式、范式（析取范式和合取范式、主析取范式和主合取范式）、推理的形式结构和自然推理系统；掌握自然语言的形式描述、掌握利用真值表和等值演算的方法进行命题演算和范式表示、掌握用命题逻辑的推理规则进行证明的常用方法。 （2）对于一阶逻辑：了解一阶逻辑的前束范式和推理理论、了解一阶逻辑的应用；熟悉一阶逻辑的基本概念、一阶逻辑的合式公式；掌握一阶逻辑的命题符号化、一阶逻辑公式的解释及分类、掌握利用一阶逻辑的等值式和置换规则方法进行谓词演算。 2.重点、难点 重点：命题的符号化；命题公式的赋值与类型；等值式模式；析取范式与合取范式、极小项与极大项、主析取范式与主合取范式；求主析取(主合取)范式的方法；利用主析取(主合取)范式求公式的成真赋值、成假赋值、判断公式的类型、判断公式是否等值；推理的形式结构与推理规则；在自然推理系统中构造证明的直接证明法、附加前提证明法、归谬法；一阶逻辑命题的符号化；一阶逻辑公式、解释及判定其类型；一阶逻辑中重要的等值式；置换规则、换名规则、代替规则；前束范式；自然推理系统中的推理规则；在自然推理系统中构造推理的证明。 难点：“相容或”与“排斥或”；求主析取(主合取)范式；真值表法、等值演算法、主析取范式法等基本推理方法；直接证明法、附加前提证明法、归谬法等基本证明方法；一阶逻辑公式的解释；一阶逻辑的推理规则与证明。 3.作业及课外学习要求 选择与基本要求相关的典型习题布置为作业，阅读其他经典参考书中相关的内容。 （二）集合论（16学时）
怎样又快又好地学好离散数学
怎样学好离散数学 最常和理论计算机科学放在一起的一个词是什么？答：离散数学。这两者的关系是如此密切，以至于它们在不少场合下成为同义词。（这一点在前面的那本书中也有体现）传统上，数学是以分析为中心的。数学系的同学要学习三四个学期的数学分析，然后是复变函数，实变函数，泛函数等等。实变和泛函被很多人认为是现代数学的入门。在物理，化学，工程上应用的，也以分析为主。 随着计算机科学的出现，一些以前不太受到重视的数学分支突然重要起来。人们发现，这些分支处理的数学对象与传统的分析有明显的区别：分析研究的问题解决方案是连续的，因而微分，积分成为基本的运算；而这些分支研究的对象是离散的，因而很少有机会进行此类的计算。人们从而称这些分支为“离散数学”。“离散数学”的名字越来越响亮，最后导致以分析为中心的传统数学分支被相对称为“连续数学”。 《离散数学》作为一个单独的分枝，在世界上出现的时间并不久，不过几十年，但它的各部分内容中有相当一部分却早已出现在数学中。为什么将各个数学分支中的一些内容集中起来加以研究，并且冠上一个新的名称——离散数学呢？这主要是因为计算机科学的产生和发展。正如恩格斯所说：“……科学的状况还更多的从属于技术的状况和需要。倘若社会上有了一种技术上的需要，那就比十个大学还更能推动科学前进。”①计算机的出现，在很大程度上影响到了人们的思想和生活，对社会生产起了重大作用。为了研究计算机科学的理论基础，离散数学也就应运而生。因此，如果我们不从纯数学的角度，而从应用数学的角度来考虑，也许给离散数学换一个名称一一计算机科学的数学基础——更能说明问题。 正是因为这个原因，在计算机科学系。信息管理系都将离散数学作为必须学习的基础课程。而实践证明这种做法是正确的。 离散数学(Discrete mathematics)是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。它在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的许多专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。 随着信息时代的到来，工业革命时代以微积分为代表的连续数学占主流的地位已经发生了变化，离散数学的重要性逐渐被人们认识。离散数学课程所传授的思想和方法，广泛地体现在计算机科学技术及相关专业的诸领域，从科学计算到信息处理，从理论计算机科学到计算机应用技术，从计算机软件到计算机硬件，从人工智能到认知系统，无不与离散数学密切相关。 由于数字电子计算机是一个离散结构，它只能处理离散的或离散化了的数量关系，因此，无论计算机科学本身，还是与计算机科学及其应用密切相关的现
离散数学课程教学大纲
《离散数学》课程教学大纲 课程代码： 课程负责人：陈远 课程中文名称：离散数学 课程英文名称：Discrete Mathematics 课程类别：选修 课程学分数：3 课程学时数：54 授课对象：信息管理与信息系统、电子商务本科生 本课程的前导课程：计算机原理、信息管理概论、电子商务概论 一、教学目的和要求 《离散数学》是信息管理与信息系统、电子商务专业本科生的专业基础课程。离散数学是研究离散量的结构及相互关系的学科，它综合了计算机科学中所用到的各数学分支，为计算机科学及相关学科提供了有力的理论基础和工具，其应用在信息管理与开发领域相当广泛。通过学习本课程，培养了学生的逻辑推理、抽象思维和形式化思维能力，为学习各专业课程，如数据结构、程序设计、操作系统、数据库原理、计算机网络、信息组织、信息检索、项目管理、决策支持系统等课程，作了必要的数学准备，是将信息由人工处理转为计算机自动化处理的“桥梁”，从而提高学生的理论素质以及独立学习与工作的能力。 《离散数学》是应用数学课，因此教学方式主要还是定理证明、例题讲解以及学生课后的习题练习。本专业的《离散数学》是给其他专业课打基础、作知识预备的，教学重点在于应用，所以教学中选用的例题与习题多是与实际问题结合的，并要引导学生将专业课中涉及的内容用离散数学的方法来解决，强调的是加深理解、加强联系，学以致用。在每章学完后会采用讲习题课、讨论答疑、批改作业等多种手段来检查学生学习效果，部分习题解答要求学生编程序实现。 二、课程的内容与学时分配 根据本专业知识的需求及课程设置和学时的安排，《离散数学》从实用角度出发，结合后续课程的应用主要讲授三大部分的内容，即数理逻辑、集合论、图论。
(完整版)二年级小学数学教学大纲
二年级小学数学教学大纲 二年级小学数学教学大纲 二年级 教学内容(每周5课时) (一)数与计算 (1)两位数加、减两位数。 两位数加、减两位数。加、减法竖式。两步 计算的加减式题。 (2)表内乘法和表内除法。 乘法的初步认识。乘法口诀。乘法竖式。除 法的初步认识。用乘法口诀求商。除法竖式。有余数除法。两步计算的式题。 (3)万以内数的读法和写法。 数数。百位、千位、万位。数的读法、写 法和大小比较。 (4)加法和减法。 加法，减法。连加法。加法验算，用加法验算减法。 (5)混合运算。 先乘除后加减。两步计算式题。小括号。 (二)量与计量 时、分、秒的认识。 米、分米、厘米的认识和简单计算。 千克(公斤)的
认识。 (三)几何初步知识 直线和线段的初步认识。 角的初步认识。直角。 (四)应用题 加法和减法一步计算的应用题。 乘法和除法一步计算的应用题。 比较容易的两步计算的应用题。 (五)实践活动 与生活密切联系的内容。例如调查家中本周各项消费的开支情况，想到哪些数学问题。 教学要求 1.认识计数单位“百”、“千”和“万”，知道相邻两个计数单位之间的十进关系。掌握万以内的数位顺序，会读数、写数，会比较数的大小。 2.掌握加、减法的笔算法则。会用竖式计算比较简单的连加式题。比较熟练地口算两位数加、减两位数(和在100以内)，会口算整百、整千数的加、减法和几百几十加、减整百或整十的数，会用交换加数的位置验算加法和用加法验算减法。初步培养学生检查和验算的习惯。 3.知道乘、除法的含义和乘、除法算式中各部分的名称，乘法和除法的关系。知道乘法口诀是怎样得来的，熟记全部乘法口诀，能够熟练地用口诀求积、求商。熟练地计算除数是一位数、商也是一位数的有余数的除法。
离散数学复习提纲(完整版)
《离散数学》期末复习大纲（完整版）（含例题和考试说明） 一、命题逻辑 [复习知识点] 1、命题与联结词（否定￢、析取∨、合取∧、蕴涵→、等价?），复合命题 2、命题公式与赋值（成真、成假），真值表，公式类型（重言、矛盾、可满足），公式的基本等值式 3、范式：析取范式、合取范式，极大（小）项，主析取范式、主合取范式 4、公式类型的判别方法（真值表法、等值演算法、主析取/合取范式法） 5、命题逻辑的推理理论 本章重点内容：命题与联结词、公式与解释、（主）析取范式与（主）合取范式、公式类型的判定、命题逻辑的推理 [复习要求] 1、理解命题的概念；了解命题联结词的概念；理解用联结词产生复合命题的方法。 2、理解公式与赋值的概念；掌握求给定公式真值表的方法，用基本等值式化简其它公式，公式在解释下的真值。 3、了解析取（合取）范式的概念；理解极大（小）项的概念和主析取（合取）范式的概念；掌握用基本等值式或真值表将公式化为主析取（合取）范式的方法。 4、掌握利用真值表、等值演算法和主析取/合取范式的唯一性判别公式类型和公式等价方法。 5、掌握命题逻辑的推理理论。 [疑难解析] 1、公式类型的判定 判定公式的类型，包括判定公式是重言的、矛盾的或是可满足的。具体方法有两种，一是真值表法，二是等值演算法。 2、范式 求范式，包括求析取范式、合取范式、主析取范式和主合取范式。关键有两点：一是准确理解掌握定义；另一是巧妙使用基本等值式中的分配律、同一律和互补律（排中律、矛盾律），结果的前一步适当使用幂等律，使相同的短语（或子句）只保留一个。 3、逻辑推理 掌握逻辑推理时，要理解并掌握12个（除第10，11）推理规则和3种证明法（直接证明法、附加前提证明法和归谬法）。 例1.试求下列公式的主析取范式：