Perkuliahan
Logika Matematika memberikan paparan rinci mengenai logika matematika
untuk ilmu komputer. Ada lima topik utama pada kuliah ini, yaitu: logika
proposisi, logika predikat orde pertama, metode pembuktian matematis,
induksi matematika, dan teori himpunan elementer. Topik-topik ini
dikelompokkan ke dalam empat capaian pembelajaran (Course Learning
Outcome, CLO), yaitu: CLO 1 (logika proposisi), CLO 2 (logika predikat
orde pertama), CLO 3 (metode pembuktian matematis dan induksi
matematika), dan CLO 4 (teori himpunan elementer). Materi terkait logika
proposisi meliputi: nilai kebenaran dari formula proposisional,
konversi dari bahasa alami ke formula proposisional, dan inferensi untuk
kalkulus proposisi. Untuk topik logika predikat, materi yang dibahas
adalah: interpretasi dan nilai kebenaran formula predikat sederhana,
konversi dari bahasa alami ke formula predikat, inferensi untuk kalkulus
predikat, dan pengenalan Prolog sebagai bahasa deklaratif berbasis
logika. Mahasiswa juga akan mempelajari metode pembuktian elementer dan
dua tipe induksi matematika (induksi matematika biasa dan induksi kuat).
Topik terakhir adalah teori himpunan elementer, yang meliputi definisi
dan notasi himpunan, relasi elementer antar himpunan, dasar-dasar
operasi himpunan, dan prinsip inklusi-eksklusi.
- Teacher: MUHAMMAD ARZAKI
- Teacher: FITRIYANI FITRIYANI
- Teacher: NURUL IKHSAN