LOGIKA INFORMATIKA

LOGIKA INFORMATIKA
2 SKS TEORI
 PENILAIAN
 SYARAT UJIAN 75% KEHADIRAN
NILAI AKHIR = TUGAS MANDIRI *20%+ UTS *30%
+ UAS*35% + TUBES*15%
TUJUAN PERKULIAHAN
 Menjelaskan asal-usul dan pengertian logika serta
manfaatnya dalam kehidupan sehari-hari.
 Menjelaskan manfaat dan penerapan logika dalam
bidang Informatika.
SILABUS
 Pendahuluan
 Logika Informatika
 Semesta Pembicaraan
 Kalimat
 Tabel Nilai Kebenaran
 Konstanta & Peubah
 Operasi Logika Matematika
 Operasi Unary: Ingkaran
 Operasi Binary: Disjungsi, Konjungsi, Implikasi, dan BiImplikasi
 Ingkaran dari Operasi Binary
 Bentuk Normal (Normal Form) / Kanonikal (Canonical)
 Literal
 Bentuk Normal konjungtif
 Bentuk Normal disjungtif
 Klausa (clause)
 Proposisi Majemuk
 Tautologi & Kontradiksi
 Ekuivalensi Logis
 Penyederhanaan dan Strategi Pembalikan
 Tablo Semantik
 Argumen
 Modus Ponens
 Modus Tollens
 Silogisme
 Silogisme disjungtif
 Simplifikasi
 Penjumlahan
 Konjungsi
 Aksioma, Teorema, Lemma, Corollary
 Logika Predikatif
 Dasar dan Pemahaman
 Kuantor : Eksistensial dan Universal
 Urutan dari kuantor-kuantor
 Kuantor yang lain, !
 Kuantifikasi terbatas
 Transformasi pernyataan ke Logika first-order
 Pembuktian Logika first-order
 Aljabar Boole
DAFTAR PUSTAKA
 The Logical Basis for Computer Programming, vol. 1.





Zohar Manna and Richard Waldinger. Addison Wesley
Publishing Co. Inc. 2001.
Mathematical Logic for Computer Science, 2nd Edition.
Mordechai Ben-Ari. Springer-Verlag. 2010.
Logika Matematika untuk Ilmu Komputer. F.
Soesianto dan Djoni Dwijono. Penerbit Andi. Yogyakarta.
2006.
Pengantar Matematika Modern. Prof. Ir. RMJT.
Soehakso. F-MIPA UGM.
Logika Matematika. Retno Hendrowati dan Bambang
Hariyanto. Penerbit Informatika. Bandung. 2000.
Matematika Diskrit, Rinaldi Munir, Penerbit Informatika,
Bandung.