Deskripsi
Kursus dasar pascasarjana dalam logika matematika. Logika proposisional dan predikat, teori pembuktian, Pemotongan-Gentzen (Cut-Elimination), kelengkapan, kekompakan, model Henkin, teori model, aritmetika dan ketidakputusan. Topik khusus (jika waktu memungkinkan) tergantung minat pengajar dan audiens.
Teks rujukan dalam bahasa aslinya
A basic graduate course in mathematical logic. Propositional and predicate logic, proof theory, Gentzen's Cut-Elimination, completeness, compactness, Henkin models, model theory, arithmetic and undecidability. Special topics (time permitting) depending on interests of instructor and audience.
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://calendar.carleton.ca/grad/courses/MATH/