(武汉市水务建设工程有限公司 430019)
摘要：近年来，由于计算机技术的飞速发展，计算机科学也在不断地创新。在计算机科学有着重大成果的背后，逻辑学在这其中有着非常重要的作用。本文就从逻辑学在计算机科学中的应用问题展开探究，了解逻辑在计算机科学的发展中的支持以及对计算机发展的推动作用。
关键词：计算机科学；逻辑应用；计算机发展
一、逻辑学概述
逻辑是指一种思维的方式，也是我们了解世界、改变世界的基本标准和工具，是全部理论和定理中有关判断与思想规律的抽象想象与总结。由于我们文明的发展，逻辑学在我们的社会、科学、自然等方面都已经普遍的应用。逻辑学作为我们判定与推断的主要工具，一直是研究的热点话题。在本世纪的三十年代开始，逻辑学就已经得到了进一步的发展。由于我们对各种复杂领域研究的不断加深，想要满足自动化判断的需求，我们就要把逻辑应用到计算机科学当中。
回首过去我们计算机科学的发展过程，可以清楚的了解到逻辑在计算机科学中所具有的理论支持与积极的促进作用。比如：计算机硬件中的芯片是经过“0”和“1”的二进制表达方式成为高压的高低电位来进行点位的设计，经过这种方法来达成完成运算的目标。加入把这些芯片进行集成，就成为了计算机的硬件功能。在这其中，就体现出了数学逻辑的思想。还有：在计算机软件当中，计算机可以识别语言的部分，也就是二进制的“0”与“1”。所以，我们就可以把想要表达的语言，经过一种中间语言经过会变编译后最后作为及其语言，让计算机硬件能够识别，包括C语言，C++语言，JAVA语言等。
二、逻辑学在计算机电路设计中的应用
数理逻辑在计算机硬件设计中的运用非常重要。计算机科学的一个主要离乱基础就是数字逻辑。数字落叶也是设定在数理逻辑的基本与演算过程的基础上。它使用运算规律把芯片中的高低压表示的信号之间的盐酸和二级制的盐酸有机的整合在之中，这样就让科学家们使用数学来解决了计算机电力设计中的问题。这种逻辑让计算机电路设计的整个流程更加简单、直接、规律。
在十七世纪中，科学家布莱尼就曾经提出过这样的观念：能否设计出一个通用的语言，把推理过程改变成数学公式来计算，并且获得正确的结果。但是尤为受到了当时数学和逻辑学发展的影响，这样设想没有能够实现。计算机数字部件在设计的过程中充分表现了数学逻辑。比如，加法器、移位器、控制器、储存器时数字布线说表现出的逻辑作用。
期刊文章分类查询,尽在期刊图书馆在命题的验算中，用逻辑真挚体现逻辑部分的作用，进而再把它们改变成逻辑范式。而与、或、非是逻辑运算的主要内容，当其分别代表对应的逻辑部件时，可以完成各个数字逻辑部件的作用。在这其中，加入再使用硬件的表现语言与电子设计自动化的软件工具把完成计算机中的一些基本硬件组建的开发和设计。
计算机中CPU的设计概念主要为：使用计算机的结合概念，在指令集的标准上进行设计路径，其次再按照指令的周期性运动来设计指令的控制逻辑。由此可见，目前计算机系统是通过庞大的逻辑门根据非常繁杂的顺序组成的。但是逻辑门两者的船体是是0与1的信号，这是计算机二进制的特征。计算机的发展经过了电子管、集成电路，无论是哪种，计算机的电路还是只有两种情况，就是：把有电流通过作为0、把无电流通过作为1，这就体现了计算机每个运算单元0与1的结合。而这些通过结合后的单通过计算机本身的叠加和排列之后，就产生了计算机系统。在近年中，计算机的发展速度已经越来越快，只有集成电路越小，计算机的速度才可以更快，但是目前的计算机芯片技术的工艺已经差不多到了一个瓶颈，无法满足当代研究的计算量的要求，因此，只能够寻找新的芯片技术才能让这一情况得到解决。
三、逻辑学在计算机语言中的运用
计算机算法的完成不光指需要使用硬件，还一定需要那些可以让硬件运行起来的不同编制的软件程序。所以，计算机的软件设计也需要逻辑的运用。计算机的硬件是通过许多逻辑电路所构成的，但是逻辑电路是设定在布尔代数的命题逻辑标准上的，命题逻辑运算就能够成为布尔代数的运算。由此可见，计算机硬件和逻辑两者的关系直接影响了计算机软件与逻辑两者所具有的不可分离的关系。编程的过程也是产生运算法则的过程，运算法则是在计算机功能标准上建立的。在实际中，计算机的操作是在标准的逻辑运算的标准上完成算法，并最后使用这些标准的运算来变成一般的计算产生的。计算机程序要是想要更加直接、易于了解就需要出现和日常表达方法类似的程序，这就是汇编程序和编译程序。他们的出现让计算机逻辑运算的环节能够完成。加入把具有罗积极性的运算改变成为行驶系统的语法以及定义，不同的程序设计与研究出现的。由于编程的技术和方式不断推出，也就出现了不同的程序设计技巧和方式，产生了这些复杂的程序以及含有多种功能的软件。
从计算机科学的发展过程中，人工智能就是我们一直追求的目标。从图灵机的出现直到现在，计算机科学家们以及逻辑学研究者们，就不断地对人工智能进行研究与探索。在这个不断研究的过程中，也已经有了许多非常重要的成果。在目前为止，已经有了两种主要对人工智能的语言进行研究的工具，第一种是LISP表处理语言，另一种是PROGLOD语言。计算机语言系统是经过不同符号产生的语言系统，逻辑语言系统也是通过不同的符号产生的语言系统，这是他们共同的特性。
结论
总而言之，在计算机科学的应用当中，不管是硬件还是软件的设计，都和逻辑学的应用息息相关。逻辑学在计算机科学与人工智能的研究领域中，都有着重要的地位。当代逻辑学、哲学、语言学以及计算机科学和技术的比如结合，让计算机科学技术的发展的越来越好。
参考文献：
[1]车付翠. 计算机科学中的逻辑应用研究[D].燕山大学,2011.
[2]陈志远,黄少滨,韩丽丽. 现代模态逻辑在计算机科学中的应用研究[J]. 计算机科学,2013,S1:70-76.
[3]卢延鑫. 逻辑学在计算机科学中的应用[D].上海社会科学院,2008.
论文作者:罗洪亮
论文发表刊物:《电力设备》2016年第13期
论文发表时间:2016/10/10
标签：逻辑论文; 逻辑学论文; 计算机论文; 计算机科学论文; 语言论文; 硬件论文; 标准论文; 《电力设备》2016年第13期论文;