计算机逻辑描述应用于计算机科学和
人工智能的逻辑，是以在计算机科学中的应用为导向的逻辑学研究。
以逻辑形式自然表达的计算机科学基本概念。例如: 编程语言的形式语义, Hoare 逻辑, 和
逻辑编程;
计算理论的关注形式逻辑的基本问题的方面。例如: Curry-Howard对应和
博弈语义;
基本
数理逻辑比如
命题逻辑和
谓词逻辑(通常联合上集合论)的研究被认为是对任何大学计算机科学课程都非常重要的理论基础。
高阶逻辑通常不教，但在定理证明工具如
HOL中是很重要的。
有相关的一个年刊
IEEE Symposium on Logic in Computer Science (LICS)。