计算机逻辑 计算机逻辑描述应用于计算机科学和人工智能的逻辑它包括 以在计算机科学中的应用为导向的逻辑学研究例如组合子逻辑和抽象释义 以逻辑形式自然表达的计算机科学基本概念例如编程语言的形式语义霍尔逻辑和逻辑编程 计算理论的关注形式逻辑的基本问题的方面例如CurryHoward对应和博弈语义 被当作应用计算机科学的逻辑工具例如自动定理证明和模型效验 软件和硬件开发的形式方法比如在Z符号中使用谓词逻辑 基本数理逻辑比如命题逻辑和谓词逻辑通常联合上集合论的研究被认为是对任何大学计算机科学课程都非常重要的理论基础高阶逻辑通常不教但在定理证明工具如HOL中是很重要的 有相关的一个年刊IEEE Symposium on Logic in Computer ScienceLICS