130105RP3 - 20251 - A1 - LOGIKA MATEMATIKA

Mata kuliah ini memberikan dasar-dasar logika untuk komputasi. Materi yang dibahas meliputi Dasar-dasar Logika (logika proposisi, inferensi logika dan logika predikat)

CPL-PRODI yang dibebankan pada MK      

 

S10

CPL1

CPL2

 

Menunjukkan sikap bertanggungjawab atas pekerjaan di bidang keahliannya secara mandiri;

Menguasai konsep-konsep matematika untuk memecahkan berbagai masalah yang berkaitan dengan logika.

Menguasai konsep teoretis matematika secara umum

 

Capaian Pembelajaran Mata Kuliah (CPMK)

 

CPMK1

CPMK2

 

CPMK3

 

Menguasai konsep-konsep matematika untuk memecahkan berbagai masalah yang berkaitan dengan logika (Mendukung CPL1)

Mahasiswa dapat menyajikan konsep dan teori dasar logika pada berbagai area yang berkaitan dengan system komputasi (Mendukung CPL1, CPL2)

Mahasiswa memiliki sikap tanggung jawab, berani mengkomunikasikan ide dalam diskusi kelas, diskusi kelompok, dan kerjasama kelompok. (Mendukung CPL3)

 

 

CPL Sub-CPMK

 

Sub CPMK1

Sub CPMK2

Sub CPMK3

 

Sub CPMK4

 

Sub CPMK5

Mahasiswa mampu menyusun dan membandingkan pernyataan-pernyataan yang benar secara logika. (Mendukung CPMK1, CPMK2, CPMK3)

Mahasiswa mampu menerapkan aturan-aturan inferensi untuk membuktikan validitas suatu argumentasi dalam logika proposisional. (Mendukung CPMK1)

Mahasiswa mampu menerapkan aturan-aturan inferensi logika predikat untuk membuktikan validitas suatu argumentasi yang melibatkan kuantor universal atau eksistensial. (Mendukung CPMK2, CPMK3)

Mahasiswa mampu menjelaskan kaitan konsep-konsep dasar logika matematika dan dengan cabang ilmu yang lain. (Mendukung CPMK2)