Matakuliah
Logika Matematika
Deskripsi Mata Kuliah
Mata kuliah Logika Matematika membahas dasar-dasar penalaran logis dalam matematika dan ilmu komputer, termasuk logika proposisional dan predikat, metode pembuktian, relasi dan fungsi, serta konsep himpunan dan logika simbolik, yang menjadi landasan penting dalam pemrograman, algoritma, dan analisis formal.
CPL Program Studi pada MK
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
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.
Aktivitas Pembelajaran
Aktivitas pembelajaran untuk course ini belum tersedia.
Lecture Note
Lecture Video
Assignments
E-Book
UTS
UAS
Related