计算机科学中的逻辑应用研究

《计算机科学中的逻辑应用研究》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、赤峰学院学报(向然科学版)2017,20(33),14-15计算机科学中的逻辑应用研宄刘榜铭张儒良贵州民族大学人文科技学院导出/参考文献关注分享收藏打印摘要：本文主要从横向和纵向两大方面对计算机科学中逻辑学的应用进行探讨，首先是横向上，逻辑学在计算机硬件设计和软件处理方面获得了广泛应用，其次是纵向上，计算机的产生和发展中逻辑学起到了重要的奠基和推动作用.同时针对计算机智能化革命屮出现的逻辑问题进行探讨和总结，以期为相关领域的研宄提供借鉴和参考.关键词：计算机;计算机科学;逻辑学;收稿日期：2017-07-22Received：2017-07-22现代社会科技发展日新月昇，逻辑

2、推理在计算机中得到广泛的应用，而相应的可用于复杂系统的逻辑推理在也逐渐被探宄发现.为了研宄计算机领域中需耍突破和解决的关键性问题，对逻辑学的探究分析是计算机科学发展过程中的必经之路，逻辑学促使计算机科学不断更新发展，而计算机科学的发展需要又对逻辑学的发展起到了带动作用.纵观计算机科学的整体发展，已达到一个更高、更宽的层而，计算机科学在某种意义上看，更像是一种以科学的理论和工具作为依靠的哲学.1逻辑学在计算机电路设计中的应用1.1计算机中硬件的逻辑基础1.1.1组合逻辑和时序逻辑根据数字电路不同的逻辑功能，可以将其分为两种类型，一为组合逻辑，二是时序逻辑.两种都是以数理逻辑的命

3、题演算作为基础的，其中组合逻辑电路的输出只受到即刻输入的影响，而与电路本来的状态无关;时序逻辑的输出则受当前的输入信号和原来的状态所影响，这意味着其具有记忆的功能，因此在检修时的难度也耍更大一些.触发器、计数器、寄存器等都是比较多见的时序逻辑电路.1.1.2控制逻辑数字逻辑部件的设计由组合逻辑和时序逻辑完成之后，还要进行数据通路的设计，利用硬件描述语言使指令系统的子集和计算机功能部件的对应工作得以完成，这样，计算机硬件功能性的核心部分才能完成，还要保证能进行简单的汇编程序，这其中起到控制作用的就是控制逻辑.因此，数理逻辑的命题演算在计算机中起到的基础作用不容忽视.2逻辑在计算

4、机语言中的应用2.1计算机语言的逻辑性2.1.1计算机语言的计算特征计算机语言是一种为了方便机器运算而设计的算法语言，具有算术指令性，虽然人类语言更为复杂，但两者具有和通性，计算机语言一定程度上反映了人类思维逻辑特点.计算机语言是人与计算机之间传递信息的媒介.在某种意义上来说，计算机语言也可以算是语用语言.无数个语用语句组成的有序集合就是计算机程序，因此计算机程序也具有非常显著的语用逻辑特征.任何语言的核心都是逻辑，因而要想进行计算机的编程，就必须具有很好的逻辑思维，其工作人员需耍进行相关的逻辑思维训练.2.1.2计算机语言所具有的语用逻辑特点计算机语言与语境之间的关联性比较

5、密切，可以说即使计算机语言是同一条，但是如果是在不同的计算机语言环境中，那么其含义也是具有一定差异性的.此外，计算机语言中的语用力量的体现也是具有一定特点的，其体现需要借助于计算机中的命令和函数（命令、函数均为语用动词）.倘若以语用逻辑角度对计算机语言加以理解，可以将其分为句法、语义.一般情况下，计算机语言的编译程序的应用可以将存在的语法错误检查出来.不过，如果存在的错误是语义错误,则很难将其检查出来.对于计算机程序中的错误检查，可以对计算机程序的语用逻辑特征加以分析和利用.3计算机程序中的逻辑应用3.1程序逻辑模型的设想3.1.1西方程序逻辑模型所具有的不足丙方编制的程序主

6、要存在的不足为尚未配备完善的自我逻辑验证功能和纠错的功能.倘若微软的操作系统配备了完善的自我逻辑验证功能和纠错的功能，就可以避免进行系统备份、系统还原了.3.1.2中国最早的程序逻辑模型中国在很早就有诸如“皇极经世”等这样的发散式系统闭环程序逻辑模型，虽然其被认为是封建迷信，但是其所只有的预测功能还是值得肯定的.其实，CPU并不是阻碍我国信息产业发展的关键所在，程序逻辑语言的设计才是中国信息产业发展的“拦路虎”.之所以这样说，是因为CPU的核心归根结底就是程序逻辑，倘若具有良好的程序逻辑的编制能力，则可以在CPU的设计与晶体的布设上取得更大的进步.3.1.3加强中国程序逻辑模

7、型发展的重要性程序逻辑编制之后才需要进行CPU的设计工作.倘若程序逻辑的编制工作做好了,则可以使功能扩展缓慢的问题得到很好的解决.再者，倘若可以成功发展发散式系统闭环程序逻辑模型，则不会再让病毒有侵入计算机的可能性.因为，不同于现在世界上存在的程序逻辑，这个程序逻辑是独具特色的，在整个程序运行过程中不仅仅可以进行自我验证，还可以进行自我纠错.此外，虽然当前的操作系统可以实现同步互动这个目标，不过，程序逻辑的反向运行这种能力仍旧未能完美具备.而屮国未来的程序逻辑代码则不仅仅可以实现同步互动这个目标，还可以