计算机逻辑是计算机科学的重要组成部分，主要研究二进制数字电路下的逻辑运算和决策过程。这一领域利用二进制数字（0和1）作为信息载体，并通过逻辑门实现对信息的处理。

计算机逻辑的应用广泛，涵盖了多个方面的研究。其中包括组合子逻辑和抽象释义等逻辑学领域的研究；编程语言的形式语义、Hoare逻辑以及逻辑编程等计算机科学基本概念的逻辑表达；计算理论中关注形式逻辑基本问题的方面，如Curry-Howard对应和博弈语义；以及将逻辑视为计算机科学的实用工具，如自动定理证明和模型验证。此外，在软件和硬件开发中，形式方法也得到了广泛应用，如在Z符号中使用的谓词逻辑。