Perkuliahan Logika Matematika A 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.