Deskripsi
Logika simbolik, kalkulus proposisional dan predikat, teori himpunan dan teori model, keterlengkapan.
Prasyarat
- Prasyarat: MATH 2100 atau izin dari Sekolah.
Syarat dan ketentuan
- Prasyarat: MATH 2100 atau izin dari Sekolah.
- Kuliah tiga jam per minggu.
Teks rujukan dalam bahasa aslinya
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.
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/undergrad/courses/MATH/