この参照は示されたカタログの記述です。最新の提供状況や入学条件については機関に確認してください。
説明
計算機科学における論理 数理論理の丁寧な導入。含まれるトピック：命題論理と一階述語論理；一階述語論理の健全性、完全性、コンパクト性；一階理論；決定不能性とゲーデルの不完全性定理；直観主義や様相論理など他の論理の導入。計算可能性、プログラミング言語、プログラム仕様と検証などへの論理の応用。
原語による参照テキスト
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