描述
形式逻辑在计算机科学中的应用。使用诸如经典谓词演算等符号逻辑来表示领域知识、对计算问题建模，并通过自动推理器求解。应用包括人工智能、软件工程、数据管理与硬件验证。
先修课程
- 先修课程：COMP 2804。
条件与方式
- 先修课程：COMP 2804。
- 每周讲课三小时。
原文参考文本
Applications of formal logic in computer science. Symbolic logics such as classical predicate calculus are used to represent domain knowledge, to model computational problems and to solve them by means of automated reasoners. Applications include artificial intelligence, software engineering, data management and hardware verification.
- Prerequisite(s): COMP 2804 .
- Lectures three hours a week.
来源与参考
为帮助您核实信息，保留了日期和来源。为便于阅读提供了翻译；以官方来源为准，查看条件和要求。
来源参考 : https://calendar.carleton.ca/undergrad/courses/COMP/