计算机逻辑是指 应用于计算机科学和人工智能的逻辑。它涉及计算机不仅能够进行数值计算，还能进行逻辑计算的能力，即按照程序自动、高速地处理海量数据。计算机逻辑是现代化智能应用的基础，涵盖了多种逻辑组合在不同领域的应用。
具体来说，计算机逻辑包括：
以在计算机科学中的应用为导向的逻辑学研究，例如组合子逻辑和抽象释义。
以逻辑形式自然表达的计算机科学基本概念，如编程语言的形式语义、Hoare逻辑和逻辑编程。
计算理论的关注形式逻辑的基本问题，例如Curry-Howard对应和博弈语义。
作为应用计算机科学的逻辑工具，如自动定理证明和模型效验。
软件（和硬件）开发的形式方法，比如在Z符号中使用谓词逻辑。
基本数理逻辑，如命题逻辑和谓词逻辑（通常联合上集合论），这是大学计算机科学课程中非常重要的理论基础。
高阶逻辑，通常不教，但在定理证明工具如HOL中非常重要。
相关年刊，例如IEEE Symposium on Logic in Computer Science （LICS）。
计算机逻辑的应用非常广泛，在中国已经较为普遍。它不仅是计算机科学和人工智能领域的基础，也是现代数字电路设计和数字系统逻辑设计的核心。通过逻辑运算和操作，计算机能够实现复杂的控制和数据处理任务，从而在各个领域发挥重要作用。