説明
計算機科学における形式論理の応用。古典的述語計算などの記号論理を用いてドメイン知識を表現し、計算問題をモデル化し、自動推論器によって解く。応用例は人工知能、ソフトウェア工学、データ管理、ハードウェア検証を含む。
前提条件
- 前提科目: COMP 2804 。
条件および詳細
- 前提科目: COMP 2804 。
- 講義週3時間。
原語による参照テキスト
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/