谈计算机语言的逻辑基础

摘要：

@@ 计算机语言是一种符号化、形式化的人工语言,在它初创时期就与逻辑结下了不解之缘.逻辑科学是以自然语言和人工语言的语法和语义研究为基础的关于命题之间推论关系的一般理论.计算机与逻辑之间有着内在联系,可以说逻辑是计算机语言的重要基础理论.

关键词：计算机语言、逻辑、基础理论

分类号：TP312:B815(计算技术、计算机技术)

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

页数：共2页

页码：34-35