逻辑是计算机科学的基础。鉴于计算机是由布尔电路构建的，这并不奇怪。但是，所谓的逻辑在计算机科学中的异常有效性远远超出了硬件设计：它适用于知识代表，编程语言理论，自动验证，复杂性理论，数据库和约束解决方案。将逻辑在计算机科学中的作用与微积分在物理和工程中的作用进行了比较。本课程将重点放在逻辑的基础上，而不是其计算机科学应用程序。我们主要将申请留在上述领域的后续课程中。但是，我们的重点是与计算机科学最相关的逻辑部分。特别是，我们使用计算课程模型中的概念（包括有限状态自动机和Post的对应问题问题）研究了可定义性问题。我们还将在命题逻辑中提出令人满意的问题，作为一个原型搜索问题，与第一年算法课程建立联系。