|
KEMENTERIAN PENDIDIKAN TINGGI, SAINS, DAN TEKNOLOGI
UNIVERSITAS NEGERI PADANG
– FAKULTAS TEKNIK
– PROGRAM STUDI INFORMATIKA (S1)
|
||||||
| RENCANA PEMBELAJARAN SEMESTER | |||||||
| MATA KULIAH (MK) | KODE | Rumpun MK | BOBOT (sks) | SEMESTER | Tgl Penyusunan | ||
| Logika Matematika | INF.62.0054 | - | 0 | 2 | 2 | - | |
| OTORISASI / PENGESAHAN | Dosen Pengembang RPS | Koordinator RMK | Koordinator Prodi | ||||
| - | - | - | Dr. Yeka Hendriyani S.Kom., M.Kom. | ||||
| Capaian Pembelajaran |
CPL-PRODI yang dibebankan 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. | |
| Capaian Pembelajaran Mata Kuliah (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. | |
| Kemampuan akhir tiap tahapan belajar (Sub-CPMK) | ||
| SUB CPMK | - | |
| Matriks CPL ke CPMK |
|
| Deskripsi Singkat 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. |
| Pustaka | Utama: |
| - | |
|
Pendukung: (Jika diperlukan)
-
|
|
| Dosen Pengampu |
- |
| Mata kuliah syarat |
- |
| Minggu Ke- | SUB-CPMK (Kemampuan Akhir Yang Diharapkan) | Penilaian | Bentuk Pembelajaran, Metode Pembelajaran, Penugasan Mahasiswa [Estimasi Waktu] |
Materi Pembelajaran [Rujukan] |
Bobot Penilaian (%) |
||
|---|---|---|---|---|---|---|---|
| Indikator | Teknik & Kriteria | Luring (Tatap Muka) | Daring (Online) | ||||
| - | - | - | - | - | - | - | 0 |
| UTS | |||||||
| UAS | |||||||