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.
Capaian Mata Kuliah
CPL-8 - Mampu mengimplementasikan kebutuhan computing dengan mempertimbangkan berbagai metode/algoritma yang sesuai (COM-03)
CPMK 8.1 - Mahasiswa mampu memahami konsep matematika diskrit
SUB-CPMK 8.1.1 - Memahami Konsep dasar matematika diskrit
CPMK 8.2 - Mahasiswa mampu memahami dan menerapkan prinsip-prinsip dasar logika proposisional dan logika predikat untuk menyusun argumen yang valid secara logis
SUB-CPMK 8.2.1 - Mampu memahami dan menyatakan bentuk logika dan proposisi
SUB-CPMK 8.2.2 - Mampu memahami konsep logika implikasi dan biimplikasi
CPMK 8.3 - Mahasiswa mampu mengoperasikan dan memanipulasi himpunan serta menggunakan prinsip-prinsip dasar himpunan dalam pemodelan masalah (C4).
SUB-CPMK 8.3.1 - Mampu memahami konsep himpunan
SUB-CPMK 8.3.2 - Mampu melakukan perampatan pada operasi himpunan
SUB-CPMK 8.3.3 - Mampu memahami konsep himpunan
CPMK 8.4 - Mahasiswa mampu mengidentifikasi, merepresentasikan, dan menganalisis relasi serta fungsi, termasuk sifat-sifatnya dalam konteks pemodelan matematika (C4).
SUB-CPMK 8.4.1 - Mahasiswa memahami konsep Matriks
SUB-CPMK 8.4.2 - Mahasiswa memahami konsep Matriks
CPMK 8.5 - Mahasiswa mampu memformulasikan dan memecahkan masalah menggunakan deret, relasi rekurens, serta membuktikan pernyataan matematika menggunakan teknik induksi matematika (C5).
SUB-CPMK 8.5.1 - UTS
SUB-CPMK 8.5.2 - Mahasiswa mampu memahami dan mengimplementasikan Induksi Matematika dengan prinsip sederhana, perampatan dan kuat untuk pembuktian pernyataan
CPMK 8.6 - Mahasiswa mampu menghitung dan menganalisis kemungkinan menggunakan prinsip-prinsip dasar kombinatorial seperti permutasi, kombinasi, dan prinsip inklusi-eksklusi (C4).
SUB-CPMK 8.6.1 - Memahami konsep Relations dan Graphs
SUB-CPMK 8.6.2 - Memahami konsep Relations dan Graphs
CPMK 8.7 - Mahasiswa mampu merepresentasikan dan menganalisis graf, serta menyelesaikan permasalahan yang berkaitan dengan graf seperti jalur, sirkuit(C4).
SUB-CPMK 8.7.1 - Memhamai konsep Tree dan mengimplementasikannya dalam kehidupan nyata
CPMK 8.8 - Mahasiswa mampu memahami dan menerapkan konsep pohon dalam struktur data dan algoritma seperti pohon biner dan pohon pencarian(C4).
SUB-CPMK 8.8.1 - Memhamai konsep Tree dan mengimplementasikannya dalam kehidupan nyata
SUB-CPMK 8.8.2 - Memhamai konsep Tree dan mengimplementasikannya dalam kehidupan nyata
CPMK 8.9 - Mahasiswa mampu menjelaskan dan menganalisis efisiensi algoritma berdasarkan waktu dan ruang, serta memahami konsep notasi Big-O (C4).
SUB-CPMK 8.9.1 - Memhamai konsep Tree dan mengimplementasikannya dalam kehidupan nyata
