Referensi ini menggambarkan katalog yang disebutkan. Hubungi lembaga untuk mengonfirmasi penawaran saat ini dan ketentuan yang berlaku untuk pendaftaran Anda.
Deskripsi
Logika dalam Ilmu Komputer Pengantar menyeluruh ke logika matematika, mencakup topik-topik berikut: logika proposisional dan orde-pertama; kefasihan, kelengkapan, dan kekompakan logika orde-pertama; teori-teori orde-pertama; ketidakputusan dan teorema ketidaklengkapan Gödel; serta pengantar ke logika lain seperti logika intuisionistik dan modal. Aplikasi logika pada berbagai bidang seperti kemampuan komputasi, bahasa pemrograman, spesifikasi program dan verifikasi.
Teks rujukan dalam bahasa aslinya
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.
Sumber dan referensi
Tanggal dan sumber disimpan untuk membantu Anda memverifikasi informasi. Terjemahan disediakan untuk memudahkan pembacaan; sumber resmi menjadi rujukan untuk syarat dan ketentuan.
Referensi sumber : https://brocku.ca/webcal/2024/graduate/cosc.html