Bu referans belirtilen kataloğu tanımlar. Güncel teklifi ve başlangıç için geçerli koşulları doğrulamak üzere kuruma başvurun.
Açıklama
Bilgisayar Biliminde Mantık Matematiksel mantığa kapsamlı giriş; aşağıdaki konuları kapsar: önermeler mantığı ve birinci dereceden mantık; birinci dereceden mantığın sağlamlığı, eksiksizliği ve kompaktlığı; birinci dereceden teoriler; karar verilemezlik ve Gödel'in eksiklik teoremi; sezgisel ve modal mantıklar gibi diğer mantıklara giriş. Mantığın hesaplanabilirlik, programlama dilleri, program şartlandırma ve doğrulama gibi çeşitli alanlara uygulanması.
Kaynak metin orijinal dilinde
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.
Kaynaklar ve referanslar
Tarih ve kaynaklar bilgileri doğrulamanıza yardımcı olmak için saklanır. Okumayı kolaylaştırmak için çeviriler sunulmuştur; koşullar ve gereksinimler için resmi kaynak esas alınır.
Kaynak referans : https://brocku.ca/webcal/2024/graduate/cosc.html