LOGIKA

Logika matematika (mathematical logic) adalah cabang ilmu di bidang matematika yang memperdalam masalah logika, atau lebih tepatnya memperjelas logika dengan kaidah-kaidah matematika.Logika dalam ilmu komputer dalam ilmu komputer digunakan sebagai dasar dalam belajar bahasa pemrograman, struktur data, kecerdasan buatan, teknik/sistem digital, basis data, teori komputasi, rekayasa perangkat lunak, sistem pakar, jaringan syaraf tiruan, dan lain-lainnya yang mempergunakan logika secara intensif. Salah satu contoh yang populer adlah sistem digital, yaitu bidang ilmu yang didasari oleh logika untuk membuat gerbang logika (logic gates) dan arsitektur komputer sebagai inti mikroprosesor, otak komputer atau central processing unit. Selama satu semester kedepan semua materi dan tugas matakuliah LOGIKA INFORMATIKA akan di upload di halaman ini. Kritik, saran, dan pertanyaan silahkan Anda post di kolom comment. Semoga bermanfaat dan Selamat Belajar. MATERI BAB 1: DASAR-DASAR LOGIKA download bab 1 : klik di sini
1.1	Pengertian Umum Logika
1.2	Logika dan Pernyataan
	1.2.1 Logika
	1.2.2 Pernyataan (Proposisi)
	1.2.3 Penghubung Kalimat Dan Tabel Kebenaran
	1.2.4 Ingkaran (Negasi) Suatu Pernyataan
1.3	Tautologi dan Kontradiksi
1.4	Konvers, Invers, dan Kontraposisi.
1.5	Inferensi Logika
1.6	Soal Latihan
BAB 2: KALIMAT BERKUANTOR download bab 2 : klik disini
2.1	Predikat dan Kalimat Berkuantor
2.2	Kuantor Universal dan Kuantor Eksistensial
2.3	Ingkaran Kalimat Berkuantor
2.4	Kalimat Berkuantor Ganda
2.5	Soal Latihan
BAB 3 : ALJABAR BOOLE download bab 3 : klik disini
3.1	Aljabar Boole Sebagai Suatu Struktur Aljabar
3.2	Fungsi Boolean
3.3	Ekspresi Boole
3.4	Bentuk Kanonik
3.5	Rangkaian Logika
3.6	Teknik Minimisasi Aljabar Boole