Kembali ke KatalogMasuk untuk Akses
STSI41063 SKS
Logika Informatika
Logika Informatika
Program Studi:Sistem Informasi (S1)
Bahan Ajar Utama
Logika Informatika
MSIM410302 • Edisi 2
1
Modul 1: Kalimat Logika Proposisional, Aturan Sintaktik dan Interpretasi
Diupdate 7/20/2026
2
Modul 2: Aturan Semantik Logika Proposisional, Interpretasi yang Diperluas
Diupdate 7/20/2026
3
Modul 03: Pohon Semantik dan Sifat-Sifat Kalimat
Diupdate 7/20/2026
4
Modul 4: Pembuktian Validitas dengan Pohon Semantik dan Proof By Falsification
Diupdate 7/20/2026
5
Modul 05: Substitusi Kalimat
Diupdate 7/20/2026
... dan 4 modul lainnya
Mulai Belajar
Rangkuman Materi Lengkap
Latihan Soal Interaktif
Tracking Progress
Belum punya akun? Daftar gratis