Deskripsi Mata Kuliah
Mata kuliah ini membahas konsep dasar logika matematika, himpunan, relasi dan fungsi, deret, rekursi, kombinatorik, teori graf dan pohon, serta kompleksitas algoritme yang merupakan dasar penting dalam ilmu komputer dan teknik informatika.
CPMK
- Mahasiswa mampu memahami konsep matematika diskrit
- Mahasiswa mampu memahami dan menerapkan prinsip-prinsip dasar logika proposisional dan logika predikat untuk menyusun argumen yang valid secara logis (C3)
- Mahasiswa mampu mengoperasikan dan memanipulasi himpunan serta menggunakan prinsip-prinsip dasar himpunan dalam pemodelan masalah (C4).
- Mahasiswa mampu mengidentifikasi, merepresentasikan, dan menganalisis relasi serta fungsi, termasuk sifat-sifatnya dalam konteks pemodelan matematika (C4).
- Mahasiswa mampu memformulasikan dan memecahkan masalah menggunakan deret, relasi rekurens, serta membuktikan pernyataan matematika menggunakan teknik induksi matematika (C5).
- Mahasiswa mampu menghitung dan menganalisis kemungkinan menggunakan prinsip-prinsip dasar kombinatorial seperti permutasi, kombinasi, dan prinsip inklusi-eksklusi (C4).
- Mahasiswa mampu merepresentasikan dan menganalisis graf, serta menyelesaikan permasalahan yang berkaitan dengan graf seperti jalur, sirkuit(C4).
- Mahasiswa mampu memahami dan menerapkan konsep pohon dalam struktur data dan algoritma seperti pohon biner dan pohon pencarian(C4).
- Mahasiswa mampu menjelaskan dan menganalisis efisiensi algoritma berdasarkan waktu dan ruang, serta memahami konsep notasi Big-O (C4).