该参考描述所示目录。请向院校确认当前的招生项目及适用于您入学年的条件。
描述
计算机科学中的逻辑 对数学逻辑的全面介绍，涵盖以下主题：命题逻辑与一阶逻辑；一阶逻辑的正确性、完备性与紧致性；一阶理论；不可判定性与哥德尔不完全性定理；以及对其他逻辑（如直觉主义逻辑与模态逻辑）的简介。逻辑在可计算性、编程语言、程序规范与验证等领域的应用。
原文参考文本
Logic in Computer Science Thorough introduction to mathematical logic, covering the following topics: propositional and first-order logic; soundness, completeness, and compactness of first-order logic; first-order theories; undecidability and Gödel's incompleteness theorem; and an introduction to other logics such as intuitionistic and modal logics. Application of logic to various areas such as computability, programming languages, program specification and verification.
来源与参考
为帮助您核实信息，保留了日期和来源。为便于阅读提供了翻译；以官方来源为准，查看条件和要求。
来源参考 : https://brocku.ca/webcal/2024/graduate/cosc.html