Logika Diskrit (C)
Course modified date: 11 Des 2022
Matakuliah ini memberikan gambaran mengenai teori-teori himpunan, pernyataan atau kalimat logika proposisi dan proposisi majemuk, pembuktian keekivalenan dua buah proposisi dengan menggunakan hukum-hukum logika proposisi atau dengan tabel kebenaran, mengkombinasikan proposisi, macam metode-metode untuk penarikan kesimpulan (inferensi) yang dapat dibuktikan dengan tabel kebenaran, struktur diskrit seperti himpunan, matriks, relasi dan fungsi, induksi matematik, kombinatorial dan peluang diskrit
- Pengajar: Agus Sehatman Saragih Teknik Informatika
- Siswa terdaftar: 75