Açıklama
Sembolik mantık, önermeli ve predikat hesapları, küme kuramı ve model kuramı, tamlık.
Önkoşullar
- Önkoşul(lar): MATH 2100 veya Okul izni.
Şartlar ve koşullar
- Önkoşul(lar): MATH 2100 veya Okul izni.
- Haftada üç saat ders.
Kaynak metin orijinal dilinde
Symbolic logic, propositional and predicate calculi, set theory and model theory, completeness.
- Prerequisite(s): MATH 2100 or permission of the School.
- Lectures three hours a week.
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/undergrad/courses/MATH/