谈计算机语言的逻辑基础

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