文档介绍：赤峰学院学报(自然科学版)2017,20(33),14-15计算机科学中的逻辑应用研究刘榜铭张儒良贵州民族大学人文科技学院导出/参考文献关注分享收藏打印摘要:本文主要从横向和纵向两大方面对计算机科学中逻辑学的应用进行探讨,首先是横向上,逻辑学在计算机硬件设计和软件处理方面获得了广泛应用,其次是纵向上,计算机的产生和发展中逻辑学起到了重要的奠基和推动作用•同吋针对计算机智能化革命屮出现的逻辑问题进行探讨和总结,:计算机;计算机科学;逻辑学;收稿日期:2017-07-22Received:2017-07-22现代社会科技发展日新月异,逻辑推理在计算机中得到广泛的应用,而相应的可用于复杂系统的逻辑推理在也逐渐被探究发现•为了研究计算机领域中需要突破和解决的关键性问题,对逻辑学的探究分析是计算机科学发展过程中的必经之路,逻辑学促使计算机科学不断更新发展,而计算机科学的发展需要又对逻辑学的发展起到了带动作用•纵观计算机科学的整体发展,已达到一个更高、更宽的层而,计算机科学在某种意义上看,,可以将其分为两种类型,一为组合逻辑,二是时序逻辑•两种都是以数理逻辑的命题演算作为基础的,其中组合逻辑电路的输岀只受到即刻输入的影响,而与电路本来的状态无关;时序逻辑的输岀则受当前的输入信号和原來的状态所影响,这意味着其具有记忆的功能,因此在检修时的难度也要更大一些•触发器、计数器、,还要进行数据通路的设计,利用硬件描述语言使指令系统的子集和计算机功能部件的对应工作得以完成,这样,计算机硬件功能性的核心部分才能完成,还要保证能进行简单的汇编程序,这其中起到控制作用的就是控制逻辑•因此,,具有算术指令性,虽然人类语言更为复杂,但两者具有相通性,•在某种意义上来说,计算机语言也可以算是语用语言•无数个语用语句组成的有序集合就是计算机程序,因此计算机程序也具有非常显著的语用逻辑特征•任何语言的核心都是逻辑,因而要想进行计算机的编程,就必须具有很好的逻辑思维,,可以说即使计算机语言是同一条,但是如果是在不同的计算机语言环境中,那么其含义也是具有一定差异性的•此外,计算机语言中的语用力量的体现也是具有一定特点的,其体现需要借助于计算机中的命令和函数(命令、函数均为语用动词)•倘若以语用逻辑角度对计算机语言加以理解,可以将其分为句法、语义•一般情况下,计算机语言的编译程序的应用可以将存在的语法错误检查出來•不过,如果存在的错误是语义错误,则很难将其检查出来•对于计算机程序中的错误检查,