离散数学教学大纲
离散数学教学大纲（2013年8月修订）
《离散数学》教学大纲
《离散数学》教学大纲 课程编码：11272016 课程名称：离散数学 英文名称：Discrete Mathematics 开课学期： 学时/学分：42/ 课程类型：专业基础课 开课专业：信息管理专业本科生 选用教材：《离散数学》清华大学出版社2004年3月第二版 主要参考书： 1、李大友主编：《离散数学》，清华大学出版社2003年版。 2、耿素云等著：《离散数学》，高等教育出版社1999年版。 一、课程性质、目的与任务 离散数学是全国高等学校信息管理专业开设的主干课程之一，是信息管理专业本科生必修的重要基础理论课程。本课既可为其他课程的学习提供理论基础，同时也使学生掌握一些基本数学理论。 通过本课程的学习，同学们应系统掌握离散数学的基本理论。透过现代数学的观点和内容，以开阔学生的眼界，启迪他们的思维。培养学生抽象概括问题的能力、逻辑推理能力、空间想象能力和动手能力。以及通过实践加深对理论的理解程度。 二、教学基本要求 1、全面掌握本学科的基本概念、基本理论和基本方法。 2、全面了解集合、关系、代数系统、图论等基本知识。 3、注重培养学生的思维能力，采用理论与实践相结合，理论讲述与案例分析相结合的方法进行教学，培养和提高学生分析问题和解决问题的能力，使学生完成本门课程的学习任务之后，能够自觉地对实践中存在的问题进行反思并提出解决办法。 三、各章节内容及学时分配 第一章集合论（4/2学时） 教学目的与要求 了解集合、集合的覆盖、笛卡儿积的概念。熟练掌握子集的概念和集合的运算。掌握集合的性质。
第一节集合的基本概念 第二节子集、集合的相等 第三节集合的运算及其性质 第四节笛卡儿积 第五节集合的覆盖与划分 考核要求 了解：集合、集合的覆盖、笛卡儿积的概念 理解：集合的性质 掌握：子集的概念和集合的运算 第二章二元关系（6/4学时） 教学目的与要求 了解关系的定义和基本类型。掌握关系的闭包和偏序关系。熟练掌握等价关系和关系的运算。 教学内容 第一节关系的定义及表示 第二节关系的运算 第三节关系的基本类型 第四节关系的闭包 第五节等价关系 第六节偏序关系 考核要求 了解：关系的定义和基本类型 理解：关系的闭包和偏序关系 掌握：等价关系和关系的运算 第三章函数（4/2学时） 教学目的与要求 了解集合的基数。掌握函数的基本概念。熟练掌握函数的复合、反函数。
最新高中数学教学大纲
全日制普通高级中学数学教学大纲 数学是研究空间形式和数量关系的科学。数学能够处理数据、观测资料，进行计算、推理和证明，可提供自然现象、社会系统的数学模型。随着社会的发展，数学的应用越来越广泛。它已经成为人们参加社会生活、从事生产劳动的需要。它是学习和研究现代科学技术的基础；它在培养和提高思维能力方面发挥着特有的作用；它的内容、思想、方法和语言已成为现代文化的重要组成部分。 高中数学是义务教育后普通高级中学的一门主要课程。它是学习物理、化学、计算机和进一步学习的必要基础，也是参加社会生产、日常生活的基础，对于培养学生的创新意识和应用意识，认识数学的科学和文化价值，形成理性思维有积极作用。因此，使学生在高中阶段继续受到数学教育，提高数学素养，对于提高全民族素质，为培养社会主义现代化建设所需要的人才打好基础是十分必要的。 一、教学目的 高中数学教学应该在9年义务教育数学课程的基础上进一步做到： 使学生学好从事社会主义现代化建设和进一步学习所必需的代数、几何、概率统计、微积分初步的基础知识、基本技能，以及其中的数学思想方法。 在数学教学过程中注重培养学生数学地提出问题、分析问题和解决问题的能力，发展学生的创新意识和应用意识，提高学生数学探究
能力、数学建模能力和数学交流能力，进一步发展学生的数学实践能力。 努力培养学生数学思维能力，包括：空间想象、直觉猜想、归纳抽象、符号表示、运算求解、演绎证明、体系构建等诸多方面，能够对客观事物中的数量关系和数学模式作出思考和判断。 激发学生学习数学的兴趣，使学生树立学好数学的信心，形成实事求是的科学态度和锲而不舍的钻研精神，认识数学的科学价值和人文价值，从而进一步树立辩证唯物主义的世界观。 二、教学内容的确定和安排 高中数学教学内容应精选那些在现代社会生活、生产和科学技术中有着广泛应用的，为进一步学习所必需的，在理论上、方法上、思想上是最基本的，同时又是学生所能接受的知识。在内容安排上，既要注意各部分知识的系统性，注意与其他学科的相互配合，更要注意符合学生的认识规律，还要注意与义务教育初中数学内容相衔接。高中数学分必修课、选修课，选修课包括选修Ⅰ和选修Ⅱ。必修课总计280课时，选修Ⅰ总计52课时，选修Ⅱ总计104课时。学校根据教学实际自行安排必修课、选修课的开设。每学期至少安排一个研究性课题。 三、教学内容和教学目标 必修课 1．平面向量（12课时） 向量。向量的加法与减法。实数与向量的积。平面向量的坐标表示。线段的定比分点。平面向量的数量积。平面两点间的距离。平
二年级下学期数学教学大纲
二年级《数学》第二学期教学大纲 课程名称：数学 课程性质：必修课 学时：96课时 教学对象：印度尼西亚二年级学生 总叙 经过一年半的学习，学生汉语的听、说、读、写以及字词的理解能力都大大的得到了提升，这对他们能够快速的学习数学知识有一定的帮助。上学期我们重点学习了100以的加、减法笔算和表乘法。一个学期的训练，学生基本上熟练地掌握了100以笔算加、减法的计算方法，能够正确地进行计算，知道乘法的含义和乘法式子中各部分的名称，能够背诵全部乘法口诀，熟练地口算两个一位数相乘。 这个学期我们将重点学习表除法、万以数的认识以及加强对应用题的理解。知道除法的含义，除法算式中各部分的名称，乘法和除法的关系；能够熟练地运用乘法口诀求商。学生能够进一步理解应用题的含义，更重要的是能够独立求解应用题。
数学这门学科的作用就在于通过学习提高学生的观察力、理解力、判断力、分析能力以及逻辑推理能力。在学生的汉语能力提高的同时，我们也要让学生的观察、理解、分析、判断、推理等多种智力因素得到充分发挥从而达到发展思维的目的。所以作为一个教师，我们要精心设计我们的课堂，要思考怎样提高学生对数学兴趣，同时，也能让学生学到更多的数学知识。让每一个学生都喜欢数学，喜欢解决问题，更喜欢思考。 上学期工作回顾 教学容： 1、认识长度单位厘米和米 2、100以的加、减法竖式计算 3、初步认识角 4、表乘法 5、观察物体 教学重点：100以的加、减法竖式计算和表乘法。 教学目标： 1、掌握100以笔算加、减法的计算方法，并正确地进行计算。掌握 100以笔算加、减法的估算方法，及估算方法的多样性。 2、知道乘法的含义和乘法版式中各部分的名称，熟记全部乘法口诀， 并且能够口算两个一位数相乘的乘法。 3、认识长度单位厘米和米，初步建立1米、1厘米的长度观念，知道 1米＝100厘米；学会用刻度尺量物体的长度（限整厘米）。 4、认识线段，测量整厘米线段的长度；认识角和直角，知道角的各 部分名称，会用三角板判断一个角是不是直角；初步学会画线段、 角和直角。 5、能够辨认从不同位置观察到简单物体的形状；初步认识对称现象， 并能在方格纸上画出简单的轴对称图形。
离散数学课程建设与教学改革探讨
第7卷 第6期 大 连 民 族 学 院 学 报 V ol.7 No.6 2005年11月 JOURNAL OF DALIAN NATIONALITIES UNIVERSITY Nov. 2005 收稿日期：2005 - 08 - 11. 作者简介：姜楠（1964-），女，吉林梅河人，大连民族学院计算机科学与工程学院副教授 . 研究方向：计算机安全. 离散数学课程建设与教学改革探讨 姜 楠 （大连民族学院 计算机科学与工程学院，辽宁 大连 116600） 摘 要：从建立新的教学模式，加强课程体系建设；改革教学方法，激发学生的学习热情；充分利用网络辅助教学平台Blackboard 三个方面，探讨了加强离散数学课程建设，提高离散数学教学水平和质量问题。 关键词：教学改革；离散数学；课程建设 中图分类号：G642.0 文献标识码：B 文章编号：1009-315X （2005）06-0086-02 离散数学是现代数学的一个重要分支，是以研究离散量的结构和相互间关系为主要目标的一门重要的计算机专业基础课。通过这门课程的学习，可以培养学生的抽象思维和逻辑推理的能力，并使他们掌握处理离散结构所必须的描述工具和方法。但由于这门课程具有概念多、理论性强、高度抽象等特点，致使实际教学中出现了课时少与教学内容多的矛盾，存在学生学习兴趣不高，教学效果不理想等问题。如何提高离散数学课程的教学水平和质量，是值得研究和探讨的一个重要问题。 一、建立新的教学模式 1．理论教学模式 构建融知识传授、能力培养、素质教育于一体的教学模式。教学内容处理上，提出一个知识点，以相关知识为主线，形成一个子系统，构成一组知识框架，形成完整的知识层面。课堂教学中，为了培养学生科学思维的方式，从分析和解决问题入手，总结归纳出解决同一类问题的知识体系。教学实验方面，采用基础训练、整合训练和综合训练相结合的形式，培养学生的科学精神和抽象思维以及逻辑推理的能力。 2．实验教学模式 实行多层次、多学科交叉的、以应用为主体的创新式实验教学模式[1]。在基础层次的实验中，通过实验解决一些基础问题，使初学者掌握基础知识，学会基本操作，具备基本调试能力；在综合性实验层次中，让学生用简单的算法设计一些解决综合问题的方案，提高学生解决综合问题的能力；在课程全部结束后，对学有余力，有兴趣的同学，长期进行课外综合提高训练指导，由教师提出课题，学生独立设计小型的应用软件。这种实验教学模式，提高了学生解决实际问题的综合能力和创新实践能力。 二、改革教学方法 激发学生的学习热情 教学实践中，在教给学生理论知识的同时，更加注重教给学生获取和应用知识的方法，解除学生“学无所用”的疑虑，体现课程内容的先进性并激发学生的学习热情。 1．新课导入要新奇。离散数学理论性强、难点较多，是一门非常难教难学的课程。但是，这门课程又与日常生活有着密切的关系。因此讲授新内容时，教师通过创设一定的学习环境，揭示该课知识的理论和现实意义，唤起学生的学习欲望。学生会觉得这些问题非常实用，这样就能一下子抓住他们的注意力，大大增强了学习兴趣。 2．设置教学陷阱。教学中往往因为内容的枯燥使得学生缺乏积极性。根据这一特点，在课堂上设置教学陷阱，使得学生落入陷阱，并将他们及时解救出来。通过这样一个被愚弄和解救的过程，学生的学习积极性大为提高，并且乐意与老师互动，活跃了离散数学沉闷的课堂气氛。 3．巧设疑问。亚里士多德讲过一句名言：“思维自惊奇和疑问开始。”设疑应由浅入深，恰当设计问题，因势利导地启发，由具体到抽象，先感知后概括，亦即从实验事实入手，去归纳概括某种结论或道理，以实现学生由“学会”到“会学”的转变。教学过程中教师因势利导地设计一些富有启发的疑问将引起学生的学习兴趣。 4．留出思考空间。每堂课除了留普通作业，帮助学生理解、掌握新概念、新方法外，还根据阶段性内容，适
离散数学复习要点
离散数学复习要点第一章命题逻辑 一、典型考查点 1、命题的判断方法：陈述句真值唯一，特殊：反问句也是命题。其它疑问句、祈使句、感叹句、悖论等皆不是。详见教材P1 2、联结词运算定律┐∧∨→记住特殊的：1∧1?1，0∨0?0，1→0?0，11?1，00?1详见P5 3、命题符号化步骤：A划分原子命题，找准联结词。特殊自然语言：不但而且，虽然但是用∧，只有P才Q，应为Q→P；除非P否则Q，应为┐P→Q。B设出原子命题写出符号化公式。详见P5 4、公式的分类判定（重言式、矛盾式、可满足式）方法：其一根据所有真值赋值情况，其二根据等价演算来判断。详见P9 5、真值表的构造步骤：①命题变元按字典序排列，共有2n个真值赋值。②对每个指派，以二进制数从小到大或从大到小顺序列出。③若公式较复杂，可先列出各子公式的真值(若有括号，则应从里层向外层展开)，最后列出所求公式的真值。详见P8。 6、基本概念：置换规则，P规则，T规则，详见P24；合取范式，析取范式，详见P15；小项详见P16；大项详见P18，最小联结词组详见P15 7、等价式详见P22表1.6.2 证明方法：①真值表完全相同②用等价演算③利用A?B的充要条件是A?B且B?A。主要等价式：(1)双否定：??A?A。(2)交换律：A∧B?B∧A，A∨B?B∨A，A?B?B?A。3)结合律：(A∧B)∧C?A ∧(B∧C)，(A∨B)∨C?A∨(B∨C)，(A?B)?C?A?(B?C)。(4) 分配律：A∧(B∨C)?(A∧B)∨(A∧C)，A∨(B∧C)?(A∨B)∧(A∨C)。(5) 德·摩根律：?(A∧B)??A∨?B，?(A∨B)??A∧?B。(6) 等幂律：A∧A?A，A∨A?A。(7) 同一律：A∧T?A，A∨F?A。(8) 零律：A∧F?F，A∨T?T。(9) 吸收律：A∧(A∨B)?A，A∨(A∧B)?A。(10) 互补律：A∧?A?F，(矛盾律)，A∨?A?T。(排中律)(11) 条件式转化律：A→B??A∨B，A→B??B→?A。(12) 双条件式转化律：A?B?(A→B)∧(B→A)?(A∧B)∨(?A∧?B) 8、蕴含式详见P23表1.6.3 证明方法：①前件真导后件真方法②后件假导前件假方法③真值表中，前件为真的行，后件也为真或者后件为假的行，前件也为假。④用定义，证A?B，即证A→B是永真式。 9、范式求法步骤：①使用命题定律，消去公式中除∧、∨和?以外公式中出现的所有联结词；②使用?(?P)?P和德·摩根律，将公式中出现的联结词?都移到命题变元之前；③利用结合律、分配律等将公式化成析取范式或合取范式。10、主范式的求法重点步骤：(a)把给定公式化成析取（合取）范式；(b)删除析取范式中所有为永假的简单合取（析取）式；(c)用等幂律化简简单合取（析取）式中同一命题变元的重复出现为一次出现，如P∧P?P。(d)用同一律补进简单合取（析取）式中未出现的所有命题变元，如Q，则P?P∧（?Q∨Q)或P?P∨（?Q∧Q)，并用分配律展开之，将相同的简单合取式的多次出现化为一次出现，这样得到了给定公式的主析取（合取）范式。 注意：主析取范式与主合取范式之间的联系。例如：(P→Q)∧Q?m1∨m3?M0∧M2，即剩下的编码就是另一个主范式的编码，因此，求主范式，哪一个简单易求，就先求哪个，然后对应出所求结果。详见P16 11、推理证明：重点方法：演算、演绎法（常用的格式）、反证法、CP规则即附加前提等。 重点规则（主要蕴含式）：(1) P∧Q?P化简(2) P∧Q?Q化简(3) P?P∨Q附加(4) ?P?P→Q变形附加(5)Q?P→Q变形附加(6) ?(P→Q)?P变形化简(7) ?(P→Q)??Q变形化简(8) P，(P→Q)?Q假言推理(9) ?Q，(P→Q)??P拒取式(10) ?P，(P∨Q)?Q析取三段论(11) (P→Q)，(Q→R)?P→R条件三段论(12) (P?Q)，(Q?R)?P?R 双条件三段论 文字证明推理三步：一命题符号化，二写出前提和结论，三进行证明。详见P21 二、强化练习 1.命题的是( )A.走，看电影去B.x+y>0C.空集是任意集合的真子集D.你明天能来吗? 2.下列式子为重言式的是( ) A.P→P∨Q B.(┐P∧Q)∧(P∨┐Q) C.┐ (P Q) D.(P∨Q) (P→Q) 3．下列为两个命题变元P，Q的小项是（） A．P∧Q∧? P B．? P∨Q C．? P∧Q D．? P∨P∨Q 4．下列语句中是真命题的是（） A．我正在说谎B．严禁吸烟C．如果1+2=3，那么雪是黑的D．如果1+2=5，那雪是黑的 5．设P：我们划船，Q：我们跑步。命题“我们不能既划船又跑步”符号化为（） A．? P∧? Q B．? P∨? Q C．?（P?Q） D．?（? P∨? Q） 6．命题公式（P∧（P→Q））→Q是（）A．矛盾式B．蕴含式C．重言式D．等价式 7．命题公式?（P∧Q）→R的成真指派是（） A．000，001，110，B．001，011，101，110，111 C．全体指派D．无
离散数学_教学大纲
《离散数学》课程教学大纲课程编号:02700013 课程名称：离散数学 英文名称：Discrete Mathematics 课程类型: 专业基础课 总学时：108 讲课学时：108 实验学时：0 学分：5 适用对象: 计算机科学与技术专业 先修课程：高等数学、线性代数等 一、课程简介 离散数学是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。它在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机科学的许多专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且离散数学所提供的训练可以帮助学生提高抽象思维能力和逻辑推理能力，有益于学生严谨、完整、规范的科学态度的培养。为将来参与创新性的研究和开发工作打下坚实的基础。 二、课程性质、目的和任务 1.性质:本课程是为计算机专业本科开设的专业基础课。 2.目的:《离散数学》以研究离散量的结构和相互之间的关系为主要目标，在信息处理技术、计算机软硬件的设计等领域都有着广泛应用。 3.任务:通过这门课程的学习，要使学生掌握离散数学的基本概念和基本原理，以现代数学的方法，初步掌握处理离散结构所必须的一些基本数学工具和方法。同时，也要培养学生抽象思维、逻辑推理，符号演算和慎密概括的能力，从而使学生具有良好的专业理论素质，提高学生分析和解决实际问题的能力。 三、教学基本要求 通过本课程的学习，使学生了解和掌握关于离散量的基本概念及其相关理论，为后继课程的学习作必要的理论准备。基本要求：（1）学习数理逻辑最基本的内容，掌握命题逻辑及谓词逻辑的基本概念，掌握命题演算的方法，掌握命题推理及谓词推理的基本理论，并会用推理理论进行逻辑论证。（2）学习集合论的基本概念及性质，掌握集合运算及证明的基本理论和方法；学习二元关系的概念与性质，掌握等价关系和偏序关系，并使学生从更高层次理解函数。（3）学习代数系统的基本知识，掌握二元运算的定义和性质，了解代数系统的子代数和积代数、同态与同构等概念，掌握半群、幺半群、群、环、域和格、布尔代数等代数系统的定义及其性质。（4）学习图论的基本概念及其理论，主要掌握简单图和一些特殊图的性质，包括欧拉图和哈密尔顿图、二部图、平面图等。掌握树的基本概念及其相关运算。学会使用图论方法解决具体问题。
全日制普通高级中学数学教学大纲
全日制普通高级中学数学教学大纲 高中数学分必修课、选修课,选修课包括选修Ⅰ和选修Ⅱ。必修课总计280课时,选修Ⅰ总计52课时,选修Ⅱ总计104课时。学校根据教学实际自行安排必修课、选修课的开设。每学期至少安排一个研究性课题。 三教学内容和教学目标 必修课 1.集合、简易逻辑(14课时) 集合。子集。补集。交集。并集。 逻辑联结词。四种命题。充要条件。 2.函数(30课时) 映射。函数。函数的单调性。函数的奇偶性。 反函数。互为反函数的函数图象间的关系。 指数概念的扩充。有理指数幂的运算性质。指数函数。 对数。对数的运算性质。对数函数。 函数的应用举例。 3.不等式(22课时) 不等式。不等式的基本性质。不等式的证明。不等式的解法。含绝对值的不等式。
4.平面向量(12课时) 向量。向量的加法与减法。实数与向量的积。平面向量的坐标表示。线段的定比分点。平面向量的数量积。平面两点间的距离。平移。 5.三角函数(46课时) 角的概念的推广。弧度制。 任意角的三角函数。单位圆中的三角函数线。同角三角函数的基本关系式。正弦、余弦的诱导公式。 两角和与差的正弦、余弦、正切。二倍角的正弦、余弦、正切。 正弦函数、余弦函数的图象和性质。周期函数。函数y=Asin(ωx+φ)的图象。正切函数的图象和性质。已知三角函数值求角。 正弦定理。余弦定理。斜三角形解法举例。 6.数列(12课时) 数列。 等差数列及其通项公式。等差数列前n 项和公式。 等比数列及其通项公式。等比数列前n 项和公式。 7.直线和圆的方程(22课时) 直线的倾斜角和斜率。直线方程的点斜式和两点式。直线方程的一般式。 两条直线平行与垂直的条件。两条直线的交角。点到直线的距离。
离散数学课程特点与教学方法改革
离散数学课程特点与教学方法改革 ： 0 引言 离散数学是研究离散量的结构及其相互关系的数学理论，是现代数学 的一个重要分支，也是计算机相关专业学生必修的专业基础平台课程。离散数学对于计算机相关专业来说非常重要，它为后续课程，如数据库、数据结构、计算机网络、操作系统等提供必要的数学基础；同时 通过该课程的学习可以提高学生的逻辑推理能力和抽象思维能力，并 有助于提高学生的编程能力。这门课程为本科生后续课程和研究生课 程学习打下坚实理论基础，在专业课程体系中占有重要地位。 1 离散数学课程特点与教学现状 离散数学是一门概念多、定理多、理论性强、内容丰富和高度抽象的 课程。其核心内容分为 4 部分：第 1 部分是数理逻辑，其中包括命 题逻辑和谓词逻辑；第 2 部分是集合论，主要包括集合、关系和函数；第 3 部分是代数结构也称近世代数；第 4 部分是图论，主要包括图 的基本概念、基本定理和基本方法。离散数学一般开设在大二上学期，此时计算机相关专业学生已经修完高等数学、线性代数、概率论、大 学物理等理论课程。就难易程度而言，离散数学与这几门先修课程相 比更容易理解和掌握，因为大部分离散数学中的概念简单易懂、定理 证明清晰明了，很多内容学生在初、高中都接触过，只是没有进行系 统抽象的学习。但实际上很多学生仍感觉这门课程学习起来比较困难，主要原因是概念繁多，容易遗忘，同一学期还开设许多其他课程，如 果学生课下不抽出时间巩固，就很难保证对概念和定义的理解和掌握。同时，多方面的因素导致学生不重视离散数学的学习，产生学习兴趣 不高、教学效果不理想的状况。 2 教学方法改革措施
教学方法是实现教学目的和教学任务的重要手段，是教学活动中最重 要的组成部分[1].同样的知识点，可以用多种方法教授给学生。 2.1 强调重点和难点的讲解 许多教师讲到集合知识时讲解速度都很快，认为集合基本知识已经在 高中学过，但是学过并不代表已经学会并掌握。比如在集合一节有一 个例题[2]84,A={{a},a} 和 {a} 这两者之间的关系，{a} ∈ A 和 {a} A 都成立。学生往往不明白为什么二者都成立，因为元素与集合之间 是属于和不属于关系，而集合与集合之间是包含和不包含关系。对于 这类题要告诉学生分 2 步走：第 1步，先看关系符，如果关系符是∈，则判断前后是否为属于关系，如果关系符是 ,则判断前后是否为包含 关系；第 2 步，如果关系符是∈，则看前者是否为后者集合里的元素，如果是，则属于关系成立，否则属于关系不成立，如果关系符是 ,则 看后者集合的子集里有没有和前者相等的集合，如果相等则包含关系 成立，否则包含关系不成立。另外，书上讲解属于关系为不同层次上 的 2 个集合，并画出了图形示意，学生看后很好理解；而包含关系为 同一层次上的 2 个集合，学生就不好理解，应该同样用图形表示。 对于前一个例题，可画出同一层的图示，如图 1 所示。根据子集的定 义[2]84,由定义和图示可知，a ∈ {a} → a ∈ A ,因此得到 {a} A. 这样，同一个问题可以从不同角度分析和理解。 对于难点和不易理解的部分，要用直观和学生易懂的语言来讲解。以 离散数学数理逻辑部分中的一阶谓词逻辑公式类型判断（即给定一个 公式，判断公式的类型）为例，根据前面的知识可知，命题公式和谓 词公式都分为3类：重言式、矛盾式和非重言式的可满足式。命题公 式是重言式的置换和矛盾式的置换，则谓词公式仍然是重言式和矛盾式，因此判断一个谓词公式是重言式和矛盾式比较容易，根据命题公 式即可直接判断。但是对于学生来说，判断非重言式的可满足式比较 困难，即给定一个抽象的谓词逻辑公式，要找到一个成真解释和成假 解释比较难，原因在于学生不知道如何找到这样的解释。这就需要教 师给学生分析并用简易的语言来说明，找到问题的本质。在一阶逻辑
离散数学知识点整理
离散数学 一、逻辑和证明 1.1命题逻辑 命题：是一个可以判断真假的陈述句。 联接词：∧、∨、→、?、?。记住“p仅当q”意思是“如果p，则q”，即p→。记住“q除非p”意思是“?p→q”。会考察条件语句翻译成汉语。 系统规范说明的一致性是指系统没有可能会导致矛盾的需求，即若pq无论取何值都无法让复合语句为真，则该系统规范说明是不一致的。 1.3命题等价式 逻辑等价：在所有可能情况下都有相同的真值的两个复合命题，可以用真值表或者构造新的逻辑等价式。
谓词+量词变成一个更详细的命题，量词要说明论域，否则没有意义，如果有约束条件就直接放在量词后面，如?x>0P(x)。 当论域中的元素可以一一列举，那么?xP(x)就等价于P(x1)∧P(x2)...∧P(xn)。同理，?xP(x)就等价于P(x1)∨P(x2)...∨P(xn)。 两个语句是逻辑等价的，如果不论他们谓词是什么，也不论他们的论域是什么，他们总有相同的真值，如?x（P(x)∧Q(x))和(?xP(x))∧(?xQ(x))。 量词表达式的否定：??xP(x) ??x?P(x)，??xP(x) ??x?P(x)。 1.5量词嵌套 我们采用循环的思考方法。量词顺序的不同会影响结果。语句到嵌套量词语句的翻译，注意论域。嵌套量词的否定就是连续使用德摩根定律，将否定词移入所有量词里。 1.6推理规则 一个论证是有效的，如果它的所有前提为真且蕴含着结论为真。但有效论证
二、集合、函数、序列、与矩阵 2.1集合 ∈说的是元素与集合的关系，?说的是集合与集合的关系。常见数集有N={0,1,2,3...}，Z整数集，Z+正整数集，Q有理数集，R实数集，R+正实数集，C复数集。 A和B相等当仅当?x(x∈A?x∈B)；A是B的子集当仅当?x(x∈A→x∈B)；A是B的真子集当仅当?x(x∈A→x∈B)∧?x(x?A∧x∈B)。 幂集：集合元素的所有可能组合，肯定有?何它自身。如?的幂集就是{?}，而{?}的幂集是{?，{?}}。 考虑A→B的函数关系，定义域、陪域（实值函数、整数值函数）、值域、像集（定义域的一个子集在值域的元素集合）。 一对一或者单射：B可能有多余的元素，但不重复指向。 映上或者满射：B中没有多余的元素，但可能重复指向。 一一对应或者双射：符合上述两种情况的函数关系。 反函数：如果是一一对应的就有反函数，否则没有。 合成函数：fοg(a)=f(g(a))，一般来说交换律不成立。 2.4序列 无限集分为：一组是和自然数集合有相同基数，另一组是没有相同基数。前者是可数的，后者不可数。想要证明一个无限集是可数的只要证明它与自然数之间有一一对应的关系。 如果A和B是可数的，则A∪B也是可数的。
离散数学期末复习要点与重点
离散数学期末复习要点与重点 离散数学是中央广播电视大学开放教育本科电气信息类计算机科学与技术专业的一门统设必修学位课程，共72学时，开设一学期．该课程的主要内容包括：集合论、图论、数理逻辑等． 下面按章给出复习要点与重点． 第1章 集合及其运算 复习要点 1．理解集合、元素、集合的包含、子集、相等，以及全集、空集和幂集等概念，熟练掌握集合的表示方法． 具有确定的，可以区分的若干事物的全体称为集合，其中的事物叫元素.． 集合的表示方法：列举法和描述法. 注意：集合的表示中元素不能重复出现，集合中的元素无顺序之分． 掌握集合包含(子集)、真子集、集合相等等概念． 注意：元素与集合，集合与子集，子集与幂集，∈与?(?),空集?与所有集合等的关系. 空集?，是惟一的，它是任何集合的子集． 集合A 的幂集P (A )＝}{A x x ?， A 的所有子集构成的集合．若∣A ∣＝n ，则∣P (A )∣=2n ． 2．熟练掌握集合A 和B 的并A ?B ，交A ?B ，补集~A (~A 补集总相对于一个全集).差集A －B ，对称差⊕，A ⊕B ＝(A －B )?(B －A )，或A ⊕B ＝(A ?B )－（A ?B ）等运算，并会用文氏图表示． 掌握集合运算律(见教材第9～11页)(运算的性质). 3．掌握用集合运算基本规律证明集合恒等式的方法． 集合的运算问题：其一是进行集合运算；其二是运算式的化简；其三是恒等式证明． 证明方法有二：(1)要证明A ＝B ，只需证明A ?B ，又A ?B ； (2)通过运算律进行等式推导． 重点：集合概念，集合的运算，集合恒等式的证明． 第2章 关系与函数 复习要点 1．了解有序对和笛卡儿积的概念，掌握笛卡儿积的运算． 有序对就是有顺序二元组，如
普通高中数学教学大纲
普通高中数学教学大纲 20XX年4月 全日制普通高级中学数学教学大纲 中华人民共和国教育部制订 数学是研究空间形式和数量关系的科学。数学能够处理数据、观测资料，进行计算、推理和证明，可提供自然现象、社会系统的数学模型。随着社会的发展，数学的应用越来越广泛。它是人们参加社会生活、从事生产劳动和学习、研究现代科学技术的基础；它在培养和提高思维能力方面发挥着特有的作用；它的内容、思想、方法和语言已成为现代文化的重要组成部分。 高中数学是义务教育后普通高级中学的一门主要课程。它是学习物理、化学、计算机等学科以及参加社会生产、日常生活和进一步学习的必要基础，对形成良好的思想品质和辩证唯物主义世界观有积极作用。因此，使学生在高中阶段继续受到数学教育，提高数学素养，对于提高全民族素质，为培养社会主义现代化建设所需要的人才打好基础是十分必要的。 一、教学目的 高中数学教学应该在9年义务教育数学课程的基础上进一步做到：使学生学好从事社会主义现代化建设和进一步学习所必需的代数、几何、概率统计、微积分的基础知识、基本技能，以及其中的数学思想方法。 在数学教学过程中注重培养学生数学地提出问题、分析问题和解决问题的能力，发展学生的创新意识和应用意识，提高学生数学探究能力、数学建模能力和数学交流能力，进一步发展学生的数学实践能力。 努力培养学生数学思维能力，包括：空间想象能力、直觉猜想、归纳抽象、符号表示、运算求解、演绎证明、体系构建等诸多方面，能够对客观事物中的数量关系和数学模式作出思考和判断。 激发学生学习数学的兴趣，使学生树立学好数学的信心，形成实事求是的科学态度和锲而不舍的钻研精神，认识数学的科学价值和人文价值，从而进一步树立辩证唯物主义世界观。 二教学内容的确定和安排
离散数学与计算机专业学习的关系
离散数学与计算机专业学习的关系 发表时间：2010-08-05T09:45:31.763Z 来源：《价值工程》2010年第4月上旬供稿作者：周庆平 [导读] 离散数学课程自上世纪70年代出现以来一直是计算机专业的核心课程之一 周庆平（唐山师范学院，唐山 063000） 摘要：离散数学不但是数学中涉及面非常广的课程而且是计算机科学与技术专业的一门重要的专业基础课程，特别是近几十年来,由于计算机的迅速发展与广泛应用,大量与数学相关的实际问题往往需首先转化成离散数学的问题。本文就离散数学与计算机专业课程进程中的相关问题做出自身的评判。 关键词:离散数学；离散建模；课程改革 中图分类号：TP3-05 文献标识码：A 文章编号：1006-4311（2010）10-0204-02 0 引言 离散数学课程自上世纪70年代出现以来一直是计算机专业的核心课程之一，离散数学课程的教学目的，不但作为计算机科学与技术及相关专业的理论基础及核心主干课，对后续课程提供必需的理论支持。计算机专业中这样重要的课程竟会出现这样奇怪的现象，不禁使人疑惑：离散数学到底出了什么问题? 更重要的是旨在“通过加强数学推理，组合分析，离散结构，算法构思与设计，构建模型等方面专门与反复的研究、训练及应用，培养提高学生的数学思维能力和对实际问题的求解能力。” 由于数字电子计算机是一个离散结构，它只能处理离散的或离散化了的数量关系，因此，无论计算机科学本身，还是与计算机科学及其应用密切相关的现代科学研究领域，都面临着如何对离散结构建立相应的数学模型；又如何将已用连续数量关系建立起来的数学模型离散化，从而可由计算机加以处理 1 课程的目标定位 在长达三十余年的课程发展历史中，离散数学在计算机专业,特别是应用型计算机专业中的目标定位，要改变离散数学目前的局面首先需从明确目标定位做起。 1.1 一般认为,应用型本科计算机专业目标定位有掌握离散数学的基本理论与方法,同时培养抽象的离散思维能力与逻辑思维能力。为诸多后续课程提供支持。用于计算机领域的离散建模。大多数人怀疑用于计算机领域的离散建模。作为计算机学科工具，离散建模是离散数学区别高等数学的根本之处,是使离散数学成为计算机专业核心课程的原因之一，也是离散数学与计算机紧密关联之处由此可看，明确这个目标定位是离散数学课程改革的当务之急。 1.2 离散数学是计算机科学与技术应用与研究的有力工具计算机专业人员通过离散数学逻辑思维能力与抽象思维能力的培养，在这些能力的作用下使他们的应用、研究能力有所提高。这种说法虽有一定道理，但远不止如此。离散数学成为计算机专业的核心课程，主要原因就是由于它与计算机学科直接的、紧密的关联，特别是它作为研究与应用计算机学科的工具，历史的发展可以证明这一点。 在计算机的发展历史中，离散数学起着至关重要的作用，在计算机产生前，图灵机理论对冯 #8226;诺依曼计算机的出现起到了理论先导作用；布尔代数作为工具对数字逻辑电路起到指导作用；自动机理论对编译系统开发的理论意义、谓词逻辑理论对程序正确性的证明以及软件自动化理论的产生都起到了奠基性的作用。此外，应用代数系统所开发的编码理论已广泛应用于数据通讯及计算机中，而应用关系代数对关系数据库的出现与发展起到了至关重要的作用。近年来，离散数学在人工智能、专家系统及信息安全中均起到了直接的、指导性的作用。以上充分证明，离散数学在计算机科学与技术的研究与开发中作为一种强有力的工具，起着重要作用。 1.3 离散建模是离散数学应用于计算机学科的有效手段离散数学在计算机科学中占有相当重要的地位。因此我们要较好的把握离散数学学习。离散数学与计算机学科发生关系，主要通过离散建模实现了从离散数学到计算机领域的应用。 首先，对计算机(或客观世界)中的某领域建立起一个抽象的形式化(离散)数学模型，称离散模型，而建立模型过程称离散建模。该领域的研究归结为对离散模型的研究。其次，用离散数学的方法对离散模型求解,由于离散模型具有强大的离散数学理论支撑，因此对它的求解比对领域的求解更为有效。最后，可将离散模型的形式化解语义化为某领域的具体结果。 这样，我们可以将对某领域的研究通过建立离散模型而归结为对离散模型的研究，最后可将其研究数学结果返回为领域中的语义结果从而最终实现问题求解的目的。 有关的研究例子有很多，如在数据库研究中建立的关系代数模型、在编译系统中建立的自动化模型、在数字逻辑电路中建立的布尔代数模型以及在数据通讯中建立的纠错码模型等。 下面以关系代数模型为例说明离散数学对计算机科学技术发展的作用。对数据库领域的研究始于上世纪60年代，最初采用的是图论模型从而形成了当时有名的层次数据库与网状数据库，它们对构作数据静态结构起着重要作用。在数据的动态结构要求与数据操作要求越加重要形势下，IBM公司F.F.Codd于1970年提出了数据库的关系代数模型。该模型用离散数学中的关系表示数据库中数据结构，用代数系统中的代数运算表示数据库中的动态结构与数据操作要求。这个离散模型较为真实地反映了数据库发展的需求，因而成为当时数据库中最为流行的模型，它称为关系模型。 2 数学建模与计算机的关系 随着计算机的出现和广泛应用，计算机软硬件技术的迅速发展，数学的应用已从物理领域深入到经济、生态、环境、医学、人口和社会等更为复杂的非物理领域。今天，许多基础学科已从定性描绘走向定量分析，边缘学科不断涌现；数学在金融、经济、工程技术以及自然科学中具有广泛的应用，它的重要性已逐渐成为人们的共识。利用数学方法解决实际问题时，要求从实际错综复杂的关系中找出其内在规律，然后用数字、图表、符号和公式把它表示出来，再经过数学与计算机的处理，得出供人们进行分析、决策、预报或者控制的定量结果。数学建模过程需要经过模型假设、模型建立、模型求解、模型分析与检验、模型应用等几个步骤，在这些步骤中都伴随着计算机的使用。 计算机的产生正是数学建模的产物，20纪40年代，美国为了研究弹道导弹飞行轨迹的问题，迫切需要一种计算工具来代替人工计算，计算机在这样的背景下应运而生。计算机的产生与发展又极大地推动了数学建模活动，计算机高速的运算能力，非常适合数学建模过程中的数值计算；它的大容量贮存能力以及网络通讯功能，使得数学建模过程中资料存贮、检索变得方便有效；它的多媒体化，使得数学建模
高中数学教学大纲
数学是研究空间形式和数量关系的科学。数学能够处理数据和信息、进行计算和推理，可以提供自然现象、科学技术和社会系统的数学模型。随着社会的发展，数学的应用越来越广泛，它已经成为人们参加社会生活、从事生产劳动的需要。它是学习和研究现代科学技术的基础；它在培养和提高思维能力方面发挥着特有的作用；它的内容、思想、方法和语言已成为现代文化的重要组成部分。 高中数学是义务教育后普通高级中学的一门主要课程。它是学习物理、化学、计算机等学科和进一步学习的基础，也是参加社会生产、日常生活的基础，对于培养学生的 创新意识和应用意识，认识数学的科学和文化价值，形成理性思维有积极作用。因此，使学生在高中阶段继续受到数学教育，提高数学素养，对于提高全民族素质，为培养社会主义现代化建设所需要的人才打好基础是十分必要的。 一、教学目的高中数学教学应该在9年义务教育数学课程的基础上进一步做到：使学生学好从事社会主义现代化建设和进一步学习所必需的代数、几何、概率统计、微积分初步知识、基本技能，以及其中的数学思想方法。 在数学教学过程中注重培养学生数学地提出问题、分析问题和解决问题的能力，发展学生的创新意识和应用意识，提高学生数学探究能力、数学建模能力和数学交流能力， 进一步发展学生的数学实践能力。
努力培养学生数学思维能力，包括：空间想象、直觉猜想、归纳抽象、符号表示、运算求解、演绎证明、体系构建等诸多方面，能够对客观事物中的数量关系和数学模式作出思考和判断。 激发学生学习数学的兴趣，使学生树立学好数学的信心，形成实事求是的科学态度和锲而不舍的钻研精神，认识数学的科学价值和人文价值，从而进一步树立辩证唯物主 义的世界观。 二、教学内容的确定和安排高中数学教学内容 应精选那些在现代社会生活、生产和科学技术中有着广泛应用的，为进一步学习所必需的，在理论上、方法上、思想上是最基本的，同时又是学生所能接受的知识。在内容安排上，既要注意各部分知识的系统性，注意与其他学科的相互配合，更要注意符合学生的认识规律，还要注意与义务教育初中数学内容相衔接。 高中数学分必修课、选修课，选修课包括选修I和选修H。必修课总计280课时，选修I总计44课时，选修H总计88课时。学校根据教学实际自行安排必修课、选修课的开设。每学期至少安排一个研究性学习课题。 三、教学内容和教学目标 必修课 1. 平面向量（12 课时）
(完整版)小学二年级数学教学大纲
小学二年级数学教学大纲 二年级教学内容(每周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分
《离散数学》教学大纲
“离散数学”课程教学大纲 课程英文名称：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．理解并记住推理形式结构的以下两种形式．