在中学时期学生们大多学习了一些简单逻辑,但那些大多只是一些与生活有巧妙关系或是学习过程中的一些简单常识就可判断命题真伪的命名题目。这些简单的逻辑对学生的大脑皮层和思维推理能力有巨大的训练和提高作用,但是在中学中的简单逻辑可没有严格规范的证明和公式的推导。大多数的问题基本上都是凭借着日常生活中的经验累积或者平时学习中的一些常识就能把命题的正确性作出完确的判断。数理逻辑是以散量为主要载体,通过一系列逻辑连接词来演绎命题并用一定公式判断命题的正确性。数理逻辑对公式有严格的证明要求,并把命题符号化,使得推理更有序,更可靠。数理逻辑是简单逻辑的提高和精神的升华。数理逻辑提出简单逻辑并未有的散量及一系列公式。数理逻辑为解决简单逻辑的解法提出多样化,为简单逻辑提供更严谨有效的解题途径。 数理逻辑是数学的一个分支,也是逻辑学的分支。是用数学方法研究逻辑式形式逻辑的学科。其研究对象是对证明和计算这两个直观慨念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。数理逻辑是离散数学的主要组成部分,也是现代科学理论的重要组成部分。现代的电子计算机大多是以散量为基数以数理逻辑的方法而运行的,数理逻辑对计算机技术的发展起到举足轻重的作用,不仅如此,在日常生活中人们学习数理逻辑会对人们在生活中分析一些事物形成独特见解。数理逻辑可以提高抽象思维和逻辑推理能力,为将来参与创新性的研究和开发工作打下结实基础。
一阶逻辑等值演算与推理,是数理逻辑的重要组成部分,在一阶逻辑中引入了个体词、谓词和量词的一阶逻辑命题符号化的三个基本要素。这在数理逻辑前几章的学习中都是未提到的,然而有了这些基本要素就把数理逻辑所研究的内容加以拓宽,思维的要求也有所提高。一些逻辑等值演算与推理也大大的增加了数理逻辑的推理方式,为数理逻辑在科学理论中的应用添上了浓墨重彩的一笔。对于一阶逻辑等值演算是数理逻辑前几章的延伸,也是前几章的提高。一阶逻辑为以后续课打下了各方面的条件,使得数理逻辑更加完美。 图论是以图为基本元素,而图的定义是:人们常用点表示事物,用点与点之间是否有某种关系,这样构成的图形就是图论中的图。从这种定义可把数理逻辑的每一个章节的推理公式分为不同的点,而每一章就相当于图论中的图,源^自#优尔\文-论|文]网}www.youerw.com。数理逻辑的各章间的关系就是图与图之间的关系,形成图论的基本要素。从点与点的紧密联系,图与图之间的各项关系,可以看出离散数学是一门严谨的学科,虽然离散字面散而其内神不散。
所以说学计算机学科的同学们理所应当的要掌握离散数学这门课程,掌握好这门课程对于自身的思维能力,特别是逻辑思维方面,真的会加强很多。
1.3 课题的主要研究内容
本课题最为核心的就是试题管理问题,而试题管理问题又是一个非成具有典型性的多重的目标约束的问题。本文最主要的就是研究最为核心的管理算法。管理的目标就是从试题库中抽取异步的题目组成一份符合用户要求以及符合教学的考核要求的试卷,由计算机来代替人力资源完成考试内容的实际,确切而真实的反馈,并逐步慢慢体现出学生的学程效果和老师的教学水平,使得其提高学校的综合考验以及水平质量。本文的研究重点就是研究如何将电脑人工智能与试题管理技术结合起来,实现不同学科的试题管理功能。