与计算机科学的联系 布尔电路:香龙 Shanon是第一人。 计算理论:可计算性, Turing机,形式语言,自动机, 计算复杂性。 程序语义与验证技术, Intel buc:5亿美元 程序的自动生成与转换。 SQL:本质上等价于一阶逻辑。 Prolog语言—以逻辑演算为基础 LTSP语言—以λ演算为基础 ■人工智能:非单调推理,缺省推理。 ■信息安全等与计算机科学的联系 „ 布尔电路：香龙Shanon是第一人。 „ 计算理论：可计算性，Turing机，形式语言，自动机， 计算复杂性。 „ 程序语义与验证技术. Intel bug: 5亿美元 。 „ 程序的自动生成与转换。 „ SQL: 本质上等价于一阶逻辑。 „ Prolog语言——以逻辑演算为基础 „ LISP语言—— 以 λ演算为基础 „ 人工智能：非单调推理，缺省推理。 „ 信息安全等 „ ……