浅谈计算机逻辑学,浅谈逻辑在计算机科学中的应用
龙源期刊网 http://doc.docsou.com
浅谈逻辑在计算机科学中的应用
作者:耿云磊
来源:《中国科技博览》2017年第15期
[摘要]逻辑是计算机科学的灵魂。本文通过对逻辑和计算机科学的起源、联系的深入阐述,罗列出逻辑在计算机科学的应用和需要注意的问题,并对未来逻辑在计算机科学应用中的发展做出美好的展望。
[关键词]逻辑计算机科学应用发展
中图分类号:TM912 文献标识码:A 文章编号:1009-914X(2017)15-0121-02
引言:逻辑是一种理想抽象的思维,也在人类的不断进化中得到发展和提炼成一门专业的科学,作为计算机科学的理论基础,使计算机研究中的许多复杂问题得到了突破和解决。是以逻辑学为根基的,所以计算机的发展和智能化革命中瓶颈问题的突破有赖于逻辑学的发展和突破,因此研究逻辑学在计算机科学中的应用有重要的意义和积极的推动作用。例如现今通用的计算机语言如C、C++、VB、Java语言等,都是以数理逻辑作为理论的根基。对逻辑应用的思考和研究,有利于进一步推动计算机科学与技术的发展。
1 逻辑和计算机的起源
逻辑从人类最初对世界的理性、客观的认知和解读到形成了一门成熟独立的知识学科,历经了全世界许多逻辑学家的辛苦钻研和无数科学家的一次次失败却不懈的尝试,归纳和创新。古希腊的亚里士多德是探索逻辑问题的第一人,他通过进行科学研究及总结当时的科学成就、科学研究方法,整理日常的思维形式,加以提炼,创立了以三段论为中心,包括论辩的、分析的、非分析的、归纳的本体论的逻辑学。亚里士多德建立了比较完整的逻辑学体系,使逻辑学成为一门独立的科学。而计算机的起源相对更为大家所熟悉,早在20 世纪30 年代,Godel、Church、Turing 等逻辑学家就得出了“可计算”的概念并于1936 年发明了世界上第一台用来帮助求解数学问题的通用数字计算机。从此,逻辑与计算机科学间的联系在各方面越来越紧密,而于1936年诞生的抽象计算机更是逻辑学在计算机方面的贡献。后来随着科技和人类思想的进步,数理逻辑正式成为了一门独立研究推理的逻辑学科,在计算机科学中用以推理和检验程序和计算机模型、软硬件设计、开发的正确性,联系也越来越紧密。
2 数理逻辑在计算机科学中的作用
2.1 逻辑为计算机语言提供思想
我们都知道,人类有人类的沟通语言,计算机也有计算机的语言,即为基础的0、1的二进制。计算机语言的设计就是依赖于数理逻辑的思想。从前人们运用的古典逻辑推理方法在现今技术越来越发达的时代已经远远力不从心了,因此为了建立真正智能的知识系统,非经典的
浅谈计算机逻辑学,浅谈逻辑在计算机科学中的应用相关推荐
- 计算机在财务核算中的应用,浅谈计算机在财务核算和财务管理工作中的辅助应用...
浅谈计算机在财务核算和财务管理工作中的辅助应用 计算机在财务管理中的应用日益广泛,已成为企业财务管理的必要手段.计算机的应用改善了企业财务管理环境,提高了财 (本文共1页) 阅读全文>> ...
- 园林计算机制图在计算机上的应用,浅谈计算机园林效果图在园林景观设计中运用.doc...
浅谈计算机园林效果图在园林景观设计中运用 浅谈计算机园林效果图在园林景观设计中运用 [摘要]园林设计中除了部分文字,更多的是以线条来表达设计者的设计理念,非专业人士则很难相互沟通.园林设计师通过实地考 ...
- 计算机方面的文献在哪里找,最新浅谈计算机参考文献 浅谈计算机专著类参考文献哪里找...
[100个]关于最新浅谈计算机参考文献汇总,作为大学生的毕业生应该明白了浅谈计算机专著类参考文献哪里找,收集好参考文献后的浅谈计算机论文写作起来会更轻松! 一.浅谈计算机论文参考文献范文 [1]浅谈计 ...
- 浅谈计算机系统仿真,浅谈计算机仿真技术
介绍了计算机仿真的概念.意义.方法及Simulink仿真的一般步骤,并研究设计了几个仿真实例. 维普资讯 http://doc.xuehai.net 第2卷第 1 2期 20 06年 2月 赤峰学院学 ...
- 计算机科学中的逻辑运用,浅谈逻辑在计算机科学中的应用
摘 要:本文阐述了逻辑与计算.计算机的起源.程序设计之间的相互关系,并在一阶逻辑的基础上,以LISP.PROLOG等为例,给出了逻辑在程序设计语言和逻辑程序设计中的应用,以此说明计算机科学是逻辑的超大 ...
- 园林计算机制图在计算机上的应用,浅谈计算机园林效果图在园林景观设计中的运用...
[摘要]园林设计中除了部分文字,更多的是以线条来表达设计者的设计理念,非专业人士则很难相互沟通.园林设计师通过实地考察并经过深思熟虑,在头脑中有了初步的轮廓,通过电脑效果图来表现自己的设计思想和设计理 ...
- 数值计算方法在计算机的应用,数值计算方法在计算机科学中的应用和误差序列实验推荐.doc...
数值计算方法在计算机科学中的应用和误差序列实验推荐 数值计算方法在计算机科学中的应用和误差序列实验 [摘要]计算数学也叫做数值计算方法或数值分析.主要内容包括代数方程.线性代数方程组.微分方程的数值解 ...
- 浅谈数学在计算机科学中的应用,浅谈计算机科学技术在数学思想中的应用(原稿)...
<浅谈计算机科学技术在数学思想中的应用(原稿).doc>由会员分享,可免费在线阅读全文,更多与<浅谈计算机科学技术在数学思想中的应用(原稿)>相关文档资源请在帮帮文库(www. ...
- 管理中计算机系统的应用论文,浅谈计算机数据库的管理与应用论文
浅谈计算机数据库的管理与应用论文 摘要:随着社会经济的快速发展,信息化网络技术手段不断进步,信息技术在人们日常生活.工作及学习中的广泛渗透,不仅给人们生活带来了极大便利,还极大的提升了人们工作与学习效 ...
最新文章
- flash里alert
- python的web框架哪个最好学_2018年要学习的10大Python Web框架
- QWSLock::up(): Invalid argument
- 释疑の字段符号 FIELD-SYMBOLS
- 面试官让我说出2种@Transactional注解的失效场景,我一口气给他说了六种
- HDU4669_Mutiples on a circle
- 汇编指令的学习2——常用的ARM指令
- 聚类实践(无监督学习)
- element table表格里的多选按钮,根据条件判断是否可以被选中
- Android基础View回顾
- J2EE Architecture(6)
- 代码整洁之道 python_代码整洁之道的 7 个方法
- django和php学哪个好,哪个更适合我的项目:Django、Plone、php还是rubyonrails
- 软件测试系统主要包括哪几项内容,系统测试包含哪几部分?
- ffmpeg gl-transitions 图片合成视频 转场特效
- java 集成支付宝支付
- 以技术入股物流细分领域,是对赌还是协同发展?--专访握物流CEO欧阳铭
- 调整Android音量等级及默认音量
- 奋斗的青春,无悔的时光
- 加强化工企业危化品管理的几点建议