Logika Matematika

Logika Matematika

• 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:

1. Konsep logika, sejarah dan peranannya dalam Teknik Informatika
2. Representasi bilangan dan operasi aritmatika bilangan
3. Kalkulus proposisi dan kalkulus predikatif
4. Teori himpunan
5. Fungsi dan Relasi

Topik Logika Matematika:

1. Pendahuluan: Konsep logika, sejarah, peranan logika dalam ranah ilmu Teknik Informatika
2. Representasi Bilangan: sistem bilangan biner, sistem bilangan desimal, sistem bilangan hexadesimalk konversi bilangan, aritmatika bilangan
3. Logika Proposisional: preposisi, variabel dan konstanta preposisi, tabel kebenaran, proposisi majemuk, tautologi, ekuivalensi, hukum-hukum logika
4. Logika Predikatif: komponen logika predikatif, interpretasi dan validity, derivasi
5. Himpunan: Himpunan, operasi himpunan, tuples, sequences dan powersets.
6. Relasi: Relasi, komposisi relasi, property relasi
7. Fungsi: fungsi, operasi terhadap fungsi, invers fungsi