关于数理逻辑的读书报告.docx

关于数理逻辑的读书报告

第一篇：关于数理逻辑的读书报告关于数理逻辑的读书报告学号：姓名：班级：摘要：计算机的出现和蓬勃发展彻底改变了人类的生活，它必将作为20世纪最灿烂辉煌的成就之一载入史册。从科学计算到大型的信息管理系统，从人工智能直至进入家庭，计算机已成为人们生活中密不可分的一个组成部分。当前，人类社会经过农业经济.工业经济，正在进入到知识经济的时代。经济的增长将更多地依赖于知识和信息的生产·扩散和应用，人类社会正在成为名副其实的信息化社会。关键字：数理逻辑应用正文：数理逻辑是离散数学课程中研究推理的逻辑学科,它为确定一个给出的论证是否有效提供各种法则和技巧,在计算机科学里用来检验程序的正确性,也可以验证定理和推论,同时在计算机模型、计算机程序设计语言、计算机硬件系统等方面有着重要作用。研究数理逻辑在计算机科学领域中的应用,必须从研究数理逻辑的符号化开始讨论、加以分析、验证结论。数理逻辑是用数学方法研究逻辑问题，特别是研究数学中的逻辑问题的学科，它是数学的分支．数学中有证明和计算两类研究．证明和计算是互相沟通、密切相关的．因此数理逻辑与计算机科学之间存在本质联系，它的许多分支在计算机科学中有重要应用．计算机科学的发展对数理逻辑提出了要求，对数理逻辑的发展产生了很大影响，造成数理逻辑原有分支的发展，并且开辟了新的领域．人工智能诞生于1956年，近50年来，人工智能经历了无数的争论、困难和挑战，不断地完善、成长和壮大。目前，人工智能在机器自动推理、认知建模、机器学习、神经元网络、自然语言处理、智能机器人等方面取得了相当的进展和成果，对其它学科的发展产生了巨大的影响，人工智能的诞生与发展已成为20世纪最伟大的成就之一。近10年来，人工智能正从多层次、多角度对人类及其它动物的自然智能进行模拟、延伸和拓展，模拟人类的自然推理方式、模拟人类学习的方式、模拟自然界生物进化的方式、模拟人类思维的结构、模拟人类语言、视觉和听觉成为现代人工智能研究的主流。人工智能是在计算机科学、控制论、信息论、心理学、语言学等多种学科相互渗透的基础发展起来的一门新兴边缘学科，主要研究用用机器（主要是计算机）来模仿和实现人类的智能行为，经过几十年的发展，人工智能应用在不少领域得到发展，在我们的日常生活和学习当中也有许多地方得到应用。本文就符号计算、模式识别、专家系统、机器翻译等方面的应用作简单介绍，籍此使读者对我们身边的人工智能应用有一个感性的认识。在布尔运算的使用过程中,并集往往不会影响图形表面上的完整性,而交集和差集则会直接出现丢面等现象(如上例的剖视),所以在制作过程中,应当先进行交集的工作,一方面是为了早发现问题,同时,丢面往往是因为并集使物体变得不规则造成的,在并集之前使用交集和差集,就可以避免一些不必要的麻烦.当然,有时在初期这样做就需要将一些物体复制后反复求差集和交集,但总的来说还是可以节约大量的劳动,因为如果后期出问题修改起来将相当麻烦.通过分析可以发现只有使用交集、差集才会出现丢面等现象,而交集如在后期使用则影响不大(也会出现模型面值过低等问题),所以交集和差集应当慎用,特别是在后期逻辑门电路是数字电路中最基本的逻辑元件。所谓门就是一种开关，它能按照一定的条件去控制信号的通过或不通过。门电路的输入和输出之间存在一定的逻辑关系(因果关系)，所以门电路又称为逻辑门电路。基本逻辑关系为“与”、“或”、“非”三种。逻辑门电路按其内部有源器件的不VDMOS、VVMOS、IGT等几种类型；第三类则是二者的组合BICMOS门电路。常用的是CMOS逻辑门电路。参考文献：《人工智能论述》《数字逻辑》第二篇：数理逻辑心得数理逻辑的心得数理逻辑：是计算机科学的基础，应熟练掌握将现实生活中的条件化成逻辑公式，并能做适当的推理，这对程序设计等课程是极有用处的。是大四接触到的，现简单介绍一下数理逻辑的发展史，算是一点感悟吧1数理逻辑的发展前期·前史时期——古典形式逻辑时期：亚里斯多德的直言三段论理论·初创时期——逻辑代数时期（17世纪末）·资本主义生产力大发展，自然科学取得了长足的进步，数学在认识自然、发展技术方面起到了相当重要的作用。·人们希望使用数学的方法来研究思维，把思维过程转换为数学的计算。·莱布尼兹(Leibniz,1646~1716)完善三段论，提出了建立数理逻辑或者说理性演算的思想：·提出将推理的正确性化归于计算，这种演算能使人们的推理不依赖于对推理过程中的命题的含义内容的思考，将推理的规则变为演算的规则。·使用一种符号语言来代替自然语言对演算进行描述，将符号的形式和其含义分开。使得演算从很大程度上取决与符号的组合规律，而与其含义无关。·布尔(G.Boole,1815~1864)代数：将有关数学运算的研究的代数系统推广到逻辑领域，布尔代数既是一种代数系统