计算机逻辑描述应用于计算机科学和人工智能的逻辑。它包括:
基本数理逻辑比如命题逻辑和谓词逻辑(通常联合上集合论)的研究被认为是对任何大学计算机科学课程都非常重要的理论基础。高阶逻辑通常不教,但在定理证明工具如HOL中是很重要的。
有相关的一个年刊(LICS)。
计算机逻辑描述应用于计算机科学和人工智能的逻辑。它包括:
基本数理逻辑比如命题逻辑和谓词逻辑(通常联合上集合论)的研究被认为是对任何大学计算机科学课程都非常重要的理论基础。高阶逻辑通常不教,但在定理证明工具如HOL中是很重要的。
有相关的一个年刊(LICS)。