计算机科学史的轨迹:逻辑与技术

摘要：

计算机科学史的研究忽略了计算机技术细节,根植于可计算理论的逻辑基础.可计算理论是计算机科学发展的基础核心,逻辑与工程技术的竞争与合作建构了计算机科学史发展的轨迹.

关键词：计算机科学史、可计算理论、计算机逻辑

所属期刊栏目：33

分类号：N031(科学的方法论)

在线出版日期：2018-01-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：32-36