Mata kuliah ini membahas prinsip penalaran logis, validitas argumen, dan konsep diskret yang menjadi landasan berpikir komputasional. Topik kajian meliputi logika proposisi, tabel kebenaran, hukum ekuivalensi, logika predikat (kuantor), teori himpunan, relasi dan fungsi, aljabar Boolean, serta metode pembuktian formal untuk mendukung analisis algoritma, perancangan basis data, dan verifikasi perangkat lunak.
- Pengajar: AHMAD FERDIAN SHOBUR
- Pengajar: AGUNG TRALISNO