Skip to content
🔹 PERTEMUAN 1: Pengantar Logika Informatika
- Pengertian logika dan logika informatika
- Peran logika dalam ilmu komputer
- Jenis-jenis logika
- Contoh penerapan dalam pemrograman
🔹 PERTEMUAN 2: Pernyataan (Proposisi)
- Definisi proposisi
- Kalimat deklaratif vs non-deklaratif
- Nilai kebenaran (True/False)
- Contoh kasus dalam kehidupan nyata
🔹 PERTEMUAN 3: Operator Logika Dasar
- NOT (Negasi)
- AND (Konjungsi)
- OR (Disjungsi)
- XOR (Exclusive OR)
- Tabel kebenaran
🔹 PERTEMUAN 4: Tabel Kebenaran
- Cara menyusun tabel kebenaran
- Evaluasi ekspresi logika
- Kombinasi operator logika
- Latihan soal
🔹 PERTEMUAN 5: Logika Matematika Lanjutan
- Implikasi (→)
- Biimplikasi (↔)
- Negasi implikasi
- Konvers, invers, kontraposisi
🔹 PERTEMUAN 6: Ekivalensi Logika
- Hukum-hukum logika (De Morgan, dsb.)
- Penyederhanaan ekspresi logika
- Pembuktian ekuivalensi
🔹 PERTEMUAN 7: Tautologi, Kontradiksi, Kontingensi
- Definisi dan contoh
- Cara menentukan
- Aplikasi dalam pemrograman
🔹 PERTEMUAN 8: 🔸 UJIAN TENGAH SEMESTER (UTS)
🔹 PERTEMUAN 9: Logika Predikat
- Predikat dan variabel
- Domain pembicaraan
- Fungsi dan relasi
🔹 PERTEMUAN 10: Kuantor
- Kuantor universal (∀)
- Kuantor eksistensial (∃)
- Negasi kuantor
- Contoh soal
🔹 PERTEMUAN 11: Inferensi Logika
- Aturan inferensi
- Modus ponens
- Modus tollens
- Silogisme
🔹 PERTEMUAN 12: Pembuktian Logika
- Metode pembuktian langsung
- Pembuktian tidak langsung
- Kontradiksi
- Induksi matematika (dasar)
🔹 PERTEMUAN 13: Logika dalam Pemrograman
- Logika dalam algoritma
- Percabangan (if-else)
- Looping
- Representasi logika dalam kode
🔹 PERTEMUAN 14: Logika dan Gerbang Digital
- Gerbang AND, OR, NOT
- NAND, NOR, XOR
- Implementasi rangkaian logika
🔹 PERTEMUAN 15: Aplikasi Logika Informatika
- Logika dalam AI
- Basis data (query logika)
- Sistem pakar
- Studi kasus sederhana
🔹 PERTEMUAN 16: 🔸 UJIAN AKHIR SEMESTER (UAS)
