Logika Matematika ini memberikan suatu metode atau cara yang sistematis dalam berpikir (reasoning).
Terdapat dua metode cara berpikir yang digunakan, yaitu Logika Proposisi dan Logika Predikat.
Dengan menggunakan logika, diharapkan dapat mengurangi tindakan menebak dalam menghadapi dan menyelesaikan suatu masalah sehingga masalah tersebut dapat diselesaikan dengan suatu jawaban yang dikerjakan dengan sistematis.
Cara berpikir dengan dasar logika ini dapat dijadikan program dan dilaksanakan oleh komputer sehingga komputer dapat melakukan kemampuan ”berpikir” walaupun secara sederhana.
Cakupan Logika Matematika:
Konsep logika, sejarah dan peranannya dalam Teknik Informatika
Representasi bilangan dan operasi aritmatika bilangan
Kalkulus proposisi dan kalkulus predikatif
Teori himpunan
Fungsi dan Relasi
Topik Logika Matematika:
Pendahuluan: Konsep logika, sejarah, peranan logika dalam ranah ilmu Teknik Informatika
Representasi Bilangan: sistem bilangan biner, sistem bilangan desimal, sistem bilangan hexadesimalk konversi bilangan, aritmatika bilangan
Logika Proposisional: preposisi, variabel dan konstanta preposisi, tabel kebenaran, proposisi majemuk, tautologi, ekuivalensi, hukum-hukum logika
Logika Predikatif: komponen logika predikatif, interpretasi dan validity, derivasi
Himpunan: Himpunan, operasi himpunan, tuples, sequences dan powersets.
Relasi: Relasi, komposisi relasi, property relasi
Fungsi: fungsi, operasi terhadap fungsi, invers fungsi