《离散数学》命题逻辑1解析课件

《离散数学》命题逻辑1解析41、俯仰终宇宙，不乐复何如。42、夏日长抱饥，寒夜无被眠。43、不戚戚于贫贱，不汲汲于富贵。44、欲言无予和，挥杯劝孤影。45、盛年不重来，一日难再晨。及时当勉励，岁月不待人。《离散数学》命题逻辑1解析《离散数学》命题逻辑1解析41、俯仰终宇宙，不乐复何如。42、夏日长抱饥，寒夜无被眠。43、不戚戚于贫贱，不汲汲于富贵。44、欲言无予和，挥杯劝孤影。45、盛年不重来，一日难再晨。及时当勉励，岁月不待人。离散数学一研究离散数量关系和离散结构数学模型的数学分支的统称Discrete古代数学—整数、整数的比近代数学—连续的数量概念(实数),处理连续数量关系的数学(微积分)离散问题举例世界地图问题船夫问题幻方问题韩信点兵邮差送信一笔画问题传统体育教学，大致是在课堂上讲授相关的体育知识和技巧以达到教学目的，但这种教学方式大大的降低了体育教学的可塑性。如果能适当的进行体育户外教学，不但能与体育户内教学很好的结合，也能提高学生的整体素质，为我国培养出“能文能武”的具有综合素质的人才①。一、尴尬的初中体育教学现状为了使义务教育阶段的学生们能够更加全面的发展，教育部门一直很重视体育这一门学科，但由于考试制度的限制，体育科目并没有在中考中占有多大的比重，大多数学生及学生家长在体育思想和体育意义上的理解也很狭隘，往往会把体育排在数学、语文、英语这些重点学习科目之外，有的学生还会在体育课的自由活动时间回到教室进行文化课复习，这些都将体育教育推到了很尴尬的处境中。因为这种尴尬的处境，也使大多体育教师不能很好的完成教学，大大降低了他们的教学热情，使他们在体育课上只进行单一的课堂讲授。二、户外初中体育教学的意义1.对体育教育的帮助鉴于传统体育教学的局限性，如果能实现良好的正确的初中体育教学方式，对我国体育教育事业会有很大的改善②。使用户外体育教学方式，不但能够摆脱传统教学的弊端，弥补它的不足，还能使体育教学取得良好的成效。2.对学生的帮助适当的体育运动能提高学生的身体素质，培养健康心理，这对于初中生而言是十分关键的，因为他们处在成长的关键时期，对他们以后步入社会的行为方式以及人格都有很好的帮助。将体育课从室内转移到室外，进行户外体育教学，不仅能够加深学生对于体育项目的理解与认识，还能熟练各个体育项目技巧的使用③。打个比方，体育教师在课堂上讲授关于足球的知识，并分析球场上各种足球技巧的使用方法，虽然讲解的非常全面也非常细腻，但是让学生在操场上踢足球，连基本的带球操作都做不好，讲的再好也是“纸上谈兵”。如果教师在讲解关于足球的知识和技巧后，在堂课上带动学生进行一场足球比赛，那么效果就完全不同了，学生们把老师讲解的知识与实际操作相结合，使之变成自己掌握的一种能力，这是至关重要的，毕竟学以致用才是学习的真正目的。三、户外体育教学如何才能具体实施1.改变教学观念在以前传统的体育教学方式下，学校及体育教师应该改变教学观念，继续探索新的符合学生需求、符合体育教学实际的教学方式。将户外体育教学和户内体育教学完美的结合，不断增强学生的身心素质，并进一步提高教师的教学热情，培养学生对体育课的兴趣，使大家认识到体育的真正意义。2.改变学生观念，培养学生兴趣通过多次户外体育教学，让学生增加户外体育活动的体验，从中得到乐趣，了解到体育运动的魅力。通过不同种类的体育运动，让学生能够了解到更多的体育项目，并根据自身的特长，重新审视自己，着重培养某一种体育运动，以发挥学生们的优势。通过对学生讲解国家运动员或是体育界的名人事迹，使学生能够重新审视体育，认真对待体育，提高体育在学生心中的地位。3.相关部门重视体育教育虽然教育部门已经对体育教育很重视了，但笔者感觉重视程度还不够，及时培养一个人的兴趣爱好、身体素质，不但对个人有益，对社会也会大有帮助，能让他以后在社会中发挥自己的作用。初中的学生们处在一个良好的发展时期，加强体育锻炼是非常合适的选择。因为受到现在的考试体制影响，没有让体育学科起到良好的作用。所以希望教育部门能对地方的中考制度进行整改，把体育学科加进中考科目中，或是提高它在中考科目总分数的比重，也使社会认识到体育教育的重要性。4.教育界之间的交流与宣传各个学校或学校的领导及体育教师，能够相互交往，并积极探讨户外体育教学的方式、方法，并从交流中取得经验，对自身的教学重新进行审视，找到优点和缺点，摒弃缺点，发扬优点。也可以在其他学校教师进行户外体育教学的时候进行旁听，学习他人的教学手段，或者给予适当的建议，取长补短，使自己的户外体育教学能够取得良好的效果。高职教育的人才培养目标不同，导致高职英语教学的内容、方式具有一定的特殊性。当前高职教育在整个学校教育体系中的劣势地位，导致高职学生的文化水平和综合水平参差不齐，尤其是英语基础差别很大，英语学习目标各不相同。针对这些情况，在高职英语教学中，科学地进行分层教学实践，探寻高职英语教学的有效途径，强化英语教学效果，可以通过以下几个方面实施。一、立足不同的英语基础，实施分层教学一直以来，高职学校在招生方面始终无法与综合性大学相较量，通常都是一些学习成绩不好，或者是偏科严重的学生，由于不能被综合性的大学录取，才选择了职业学校。在这些学生当中，英语基础不好的学生占了很大一部分，很多学生不喜欢学习英语，英语听、说、读、写技能水平各不相同，存在很大的差距。老师应根据学生不同的英语基础，设计不同的学习任务，进行分层教学。例如，在实施分层教学前，老师先对本班学生的英语水平进行调查摸底，然后根据学生的英语学习情况、学习的积极性等，把学生分成A、B、C三个不同的层次。A类学生代表英语基础扎实、学习积极性较高的学生，对于这类学生，更注重综合英语能力的提升，适当地增加英语学习的难度。B类则是英语基础一般、学习英语比较积极的学生，对于这类学生，只要完成高职英语日常教学任务，不做太高的要求。C类是英语基础比较差、缺乏英语学习积极性的学生，对于这类学生则应该降低英语学习的要求，选择一些相对比较简单的内容，增强学生的英语学习信心，逐渐增加学习的难度。根据学生的英语基础进行分层，避免学生在英语学习中“吃不饱”、“吃不了”的情况，从而调动学生积极地参与英语学习。由这个例子说明，高职学生的英语水平是实施分层教学的一个重要基础。立足于学生的实际情况，因人而异，结合不同学生英语学习的薄弱环节，有区别地设计学习内容，设定不一样的学习目标，让每个学生都取得进步。二、根据不同的学习目标，实施分层教学在我国的学校教育体系中，高职教育具有一定的特殊性，学生的情况各不相同，对于学习目标的界定也存在差别。不一样的学习目标必然导致学生对于高职英语学习的要求不同，在英语学习中花费的时间、精力差别也较大。老师可以根据学生具体的学习目标，选择不同的英语学习内容，以便更好地满足不同学生的英语学习需求，实现差异化的英语学习目标。例如在高职学生当中，有些学生是准备学好专业技术，毕业后就从事技术性的工作，有些学生想要进一步学习深造，有的学生则是想要参加英语等级考试的。老师根据各个学生的不同定位和学习动机进行分层。对于打算毕业后工作的学生，加强职业英语的学习内容的教学，增强应用性的语言技能训练；对于打算深造学习的学生，注重系统的英语知识学习，全面提高综合能力；对于想要参加英语等级考试的学生，则加强考试内容方面训练和指导，按照考试的要求和水平，进行有针对性的英语学习，这样的分层教学可以更好地帮助学生实现学习目标。由此可以看出，高职学生对于未来的选择比较多样化，英语学习是为了将来就业、学习等提供帮助的。根据学生不同的学习目标进行英语分层教学，让学生利用有限的学习时间，更高效地学习英语，奠定良好的英语基础。三、结合不同的学习内容，实施分层教学英语这门世界通用语言，经过不断的传承发展，形成庞大完整的知识结构体系，内容非常丰富，并且各种不同的语言知识之间是相互影响、彼此促进的，是学生提升英语综合能力的必要条件。针对高职学生英语学习的薄弱之处，分门别类地进行不同英语知识的学习，实现英语能力的全面提升。通过对学生英语基础进行了解，发现有些学生是词汇掌握得不好，数量较少，有些学生是英语语法学得不够扎实，有些学生则是听力较弱，有些是阅读理解比较薄弱，还有些学生是写作比较困难。在分层教学时，老师按照学生英语学习的不同情况，利用一段时间，专门进行相应的英语基础知识的基本技能的学习训练，在课外练习时，设计不同类型的练习题目，加强薄弱环节的教学，突破学生英语学习难点，让学生的英语学习获得全面的进步。由上例可以说明，英语学习的内容非常繁杂，高职学生感兴趣或者擅长学习的内容也不同，结合不同的学习内容，以及学生具体的掌握情况，开展专项训练，改善英语学习中的薄弱环节，避免学习中的“短板”，强化英语学习效果。总之，结合高职英语的学习内容，围绕着教学目标，以高职学生的英语基础为立足点，按照不同的英语学习兴趣、目标等，开展分层教学实践，真正体现了以学生为中心的新课改理念，落实了因材施教的教育思想，充分满足了不同学生的英语学习需求，增强了学生的英语学习兴趣和信心，使每个学生在英语学习中都取得进步，实现学生的个性化、多元化发展。离散数学一研究离散数量关系和离散结构数学模型的数学分支的统称Discrete古代数学—整数、整数的比近代数学—连续的数量概念(实数),处理连续数量关系的数学(微积分)离散问题举例世界地图问题船夫问题幻方问题韩信点兵邮差送信一笔画问题主要内容数理逻辑图论代数(1-5)(9-10)(11-12)集合论(6-8)没有预修课程。学习数理逻辑时会涉及一点中学阶段学习的集合知识对计算机专业系统知识的辐射作用数理逻辑、关系、集合论、图论、代数结枃关系、集合论、图论关系、集合论、图论编译原理数据结构关系、数理逻操作系统关系、代数结构离版数学集合论、图论集合论、图论数据库钦件工程计算机组成原理数理逻辑、集合论、图《计算机光盘软件与应用》188-189,2013数理逻辑一一数学化的逻辑学德国GW.Leibniz(1626-1716)把数学引入形式逻辑,明确提出用数学方法研究推理。英国G.Boole(1815-1864)等创立了逻辑代数,1847年Boole实现了命题演算●德国G.Frege(1848-1925)在1879年建立了第一个谓词演算系统。英国B.Russel(18721970)等从逻辑学的基本法则建立了自然数理论、实数理论及解析几何学等。●英国AanM.Turing(1912-1954)在1936年提出种抽象计算模型(数学逻辑机),引入图灵机一种理想的计算机数理逻辑的学习“我现在年纪大了,搞了这么多年的软件,错误不知犯了多少,现在觉悟了。我想,假如我早年在数理逻辑上好好下点工夫的话,我就不会犯这么多的错误。不少东西逻辑学家早就说过了,可是我不知道。要是我能年轻十岁的话,我就去学逻辑。”EdsgerW.Dijkstra1972年Turing奖获得者带权图的最(1930-2002)短通路算法数理逻辑第一章命题演算基础第二章命题演算的推理理论第三章谓词演算基础第四章*谓词演算的推理理论第五章*递归函数论111命题(一)命题定义凡是可以判断真假的陈述句称为命题。真,用T(或1)表示命题的值假,用F(或0)表示例:下列句子都是命题吗?凡是可以判断真假的陈述句称为命题。①雪是白的。两个要素:②雪是黑的。v1、陈述句;2、可以判断③好大的雪啊!X真假。④8大于12⑤1+101=110。例:下列句子都是命题吗?①21世纪末,人类将住