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) |
- Pengajar: 0922078801 Fitriyani Umar, S.Si.,M.Eng.
- Pelajar terdaftar: Tidak ada siswa yang mendaftar pada kursus ini