Penulis: Ahmad Gunawan Herdipriansyah
Program Studi: Informatika
Institusi: Universitas Linggabuana PGRI Sukabumi
- Rencana Pembelajaran Semester (RPS)
- Pengantar Logika Informatika
- Pernyataan (Proposisi)
- Operator Logika Dasar
- Tabel Kebenaran
- Logika Matematika Lanjutan
- Ekivalensi Logika
- Tautologi, Kontradiksi, Kontingensi
- Logika Predikat
- Kuantor
- Inferensi Logika
- Pembuktian Logika
- Logika dalam Pemrograman
- Logika dan Gerbang Digital
- Aplikasi Logika Informatika
