Açıklama
Matematiksel mantığa temel düzeyde bir lisansüstü ders. Önerme ve predikat mantığı, ispat teorisi, Gentzen'in Kesme-Eleme (Cut-Elimination), tamlık, kompaklık, Henkin modelleri, model teorisi, aritmetik ve kararsızlık (undecidability). Eğitmenin ve dinleyici kitlesinin ilgisine bağlı olarak özel konular (zaman varsa).
Kaynak metin orijinal dilinde
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.
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://calendar.carleton.ca/grad/courses/MATH/