|
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 | Menyusun deskripsi saintifik hasil kajian implikasi pengembangan atau implementasi ilmu pengetahuan teknologi dalam bentuk skripsi atau laporan tugas akhir atau artikel ilmiah. | |
| CPL-6 | Memiliki kompetensi untuk menganalisis persoalan computing yang kompleks untuk mengidentifikasi solusi pengelolaan proyek teknologi bidang informatika/ilmu komputer dengan mempertimbangkan wawasan perkembangan ilmu transdisiplin. | |
| 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 |