Mata Kuliah Logika Matematika

Mata kuliah Logika Matematika pada Informatika (S1) membekali mahasiswa dengan landasan konseptual dan keterampilan terapan untuk menganalisis persoalan akademik maupun profesional. Perkuliahan dirancang melalui ceramah interaktif, studi kasus, diskusi kelompok, serta refleksi mandiri agar mahasiswa mampu mengambil keputusan berbasis data dan etika keilmuan.

• CPL-4 - Memiliki pengetahuan yang memadai terkait cara kerja sistem komputer dan mampu menerapkan/menggunakan berbagai algoritma/metode untuk memecahkan masalah pada suatu organisasi.
• CPL-6 - Menguasai konsep teoritis bidang pengetahuan Ilmu Komputer/Informatika dalam mendesain dan mensimulasikan aplikasi teknologi multi-platform yang relevan dengan kebutuhan industri dan masyarakat.

• CPMK-1 - Menerapkan konsep-konsep logika matematika dalam pemrograman dan sistem komputer, khususnya dalam perancangan algoritma dan struktur data.
• CPMK-2 - Menganalisis dan memahami konsep dasar logika matematika, termasuk proposisi, kalimat logis, dan hukum-hukum logika.
• CPMK-3 - Menggunakan aturan inferensi untuk menarik kesimpulan dalam sistem logika formal, baik dalam logika proposisional maupun logika predikat.
• CPMK-4 - Menyusun dan mengidentifikasi argumen valid menggunakan tabel kebenaran dan metode deduktif
• CPMK-5 - Memformulasikan masalah dalam bentuk logika matematika dan menyelesaikannya menggunakan teorema dan hukum-hukum logika yang berlaku.