关于数理逻辑的读书报告_市场的逻辑读书报告

关于数理逻辑的读书报告由刀豆文库小编整理，希望给你工作、学习、生活带来方便，猜你可能喜欢“市场的逻辑读书报告”。

关于数理逻辑的读书报告

学号：

姓名：

班级：

摘要：计算机的出现和蓬勃发展彻底改变了人类的生活，它必将作为20世纪最灿烂辉煌的成就之一载入史册。从科学计算到大型的信息管理系统，从人工智能直至进入家庭，计算机已成为人们生活中密不可分的一个组成部分。当前，人类社会经过农业经济.工业经济，正在进入到知识经济的时代。经济的增长将更多地依赖于知识和信息的生产·扩散和应用，人类社会正在成为名副其实的信息化社会。

关键字：数理逻辑应用

正文： 数理逻辑是离散数学课程中研究推理的逻辑学科,它为确定一个给出的论证是否有效提供各种法则和技巧,在计算机科学里用来检验程序的正确性,也可以验证定理和推论,同时在计算机模型、计算机程序设计语言、计算机硬件系统等方面有着重要作用。研究数理逻辑在计算机科学领域中的应用,必须从研究数理逻辑的符号化开始讨论、加以分析、验证结论。

数理逻辑是用数学方法研究逻辑问题，特别是研究数学中的逻辑问题的学科，它是数学的分支．数学中有证明和计算两类研究．证明和计算是互相沟通、密切相关的．因此数理逻辑与计算机科学之间存在本质联系，它的许多分支在计算机科学中有重要应用．计算机科学的发展对数理逻辑提出了要求，对数理逻辑的发展产生了很大影响，造成数理逻辑原有分支的发展，并且开辟了新的领域．

人工智能诞生于1956年，近50年来，人工智能经历了无数的争论、困难和挑战，不断地完善、成长和壮大。目前，人工智能在机器自动推理、认知建模、机器学习、神经元网络、自然语言处理、智能机器人等方面取得了相当的进展和成果，对其它学科的发展产生了巨大的影响，人工智能的诞生与发展已成为20世纪最伟大的成就之一。近10年来，人工智能正从多层次、多角度对人类及其它动物的自然智能进行模拟、延伸和拓展，模拟人类的自然推理方式、模拟人类学习的方式、模拟自然界生物进化的方式、模拟人类思维的结构、模拟人类语言、视觉和听觉成为现代人工智能研究的主流。

人工智能是在计算机科学、控制论、信息论、心理学、语言学等多种学科相互渗透的基础发展起来的一门新兴边缘学科，主要研究用用机器（主要是计算机）来模仿和实现人类的智能行为，经过几十年的发展，人工智能应用在不少领域得到发展，在我们的日常生活和学习当中也有许多地方得到应用。本文就符号计算、模式识别、专家系统、机器翻译等方面的应用作简单介绍，籍此使读者对我们身边的人工智能应用有一个感性的认识。

在布尔运算的使用过程中,并集往往不会影响图形表面上的完整性,而交集和差集则会直接出现丢面等现象(如上例的剖视),所以在制作过程中,应当先进行交集的工作,一方面是为了早发现问题,同时,丢面往往是因为并集使物体变得不规则造成的,在并集之前使用交集和差集,就可以避免一些不必要的麻烦.当然,有时在初期这样做就需要将一些物体复制后反复求差集和交集,但总的来说还是可以节约大量的劳动,因为如果后期出问题修改起来将相当麻烦.通过分析可以发现只有使用交集、差集才会出现丢面等现象,而交集如在后期使用则影响不大(也会出现模型面值过低等问题),所以交集和差集应当慎用,特别是在后期

逻辑门电路是数字电路中最基本的逻辑元件。所谓门就是一种开关，它能按照一定的条件去控制信号的通过或不通过。门电路的输入和输出之间存在一定的逻辑关系(因果关系)，所以门电路又称为逻辑门电路。基本逻辑关系为“与”、“或”、“非”三种。逻辑门电路按其内部有源器件的不VDMOS、VVMOS、IGT等几种类型；第三类则是二者的组合BICMOS门电路。常用的是CMOS逻辑门电路。

参考文献：《人工智能论述》《数字逻辑》