EN: Mathematical Logic A course provides a rigorous exposure concerning mathematical logic for computer science. There are five main topics in this course, i.e.: propositional logic, first-order predicate logic, elementary mathematical proof methods, mathematical induction, and elementary set theory.

ID: Mata kuliah Logika Matematika A memberikan paparan yang rinci terkait logika matematika dalam ilmu komputer (computer science). Mata kuliah ini memiliki lima topik utama, yaitu: logika proposisi, logika predikat orde pertama, metode pembuktian matematis elementer, induksi matematika, dan teori himpunan elementer.