此參考說明所註明的目錄。請向該機構確認當前課程供給與適用於你入學的條件。
課程說明
計算機科學中的邏輯 對數理邏輯的完整介紹，涵蓋下列主題：命題邏輯與一階邏輯；一階邏輯的正確性、完備性與緊緻性；一階理論；不可判定性與哥德爾不完全性定理；以及對其它邏輯（如直覺主義邏輯與模態邏輯）的介紹。邏輯在可計算性、程式語言、程式規格與驗證等各領域的應用。
原文參考文本
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