- 以在计算机科学中的应用为导向的逻辑学研究。例如:组合子逻辑和抽象释义;
- 以逻辑形式自然表达的计算机科学基本概念。例如:编程语言的形式语义,霍尔逻辑和逻辑编程;
- 计算理论的关注形式逻辑的基本问题的方面。例如:Curry-Howard对应和博弈语义;
- 被当作应用计算机科学的逻辑工具。例如:自动定理证明和模型效验。
- 软件(和硬件)开发的形式方法,比如在Z符号中使用谓词逻辑。
基本数理逻辑比如命题逻辑和谓词逻辑(通常联合上集合论)的研究被认为是对任何大学计算机科学课程都非常重要的理论基础。高阶逻辑通常不教,但在定理证明工具如HOL中是很重要的(Wikipedia,计算机逻辑词条)。
之所以说逻辑在计算机科学的学习中占有很重要的成分,是因为在大学中,传统上,他们专注于微积分,线性代数和微分方程,但在计算机科学领域,逻辑,
程序的正确性。(Huth&Ryan,2004)
这里所说的逻辑常规上由三部分组成Syntax, Semantics, Proof theory
而逻辑的种类又分为
propositional logic命题逻辑,first-order logic一阶逻辑, temporal logic时间逻辑,这些所有数学逻辑,他们在计算机科学领域的最重要的应用是程序验证。