|
KEMENTERIAN PENDIDIKAN TINGGI, SAINS, DAN TEKNOLOGI
UNIVERSITAS NEGERI PADANG
– FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
– PROGRAM STUDI ILMU AKTUARIA (S1)
|
||||||
| RENCANA PEMBELAJARAN SEMESTER | |||||||
| MATA KULIAH (MK) | KODE | Rumpun MK | BOBOT (sks) | SEMESTER | Tgl Penyusunan | ||
| Logika dan Himpunan | IAK.62.0004 | - | 0 | 3 | 1 | - | |
| OTORISASI / PENGESAHAN | Dosen Pengembang RPS | Koordinator RMK | Koordinator Prodi | ||||
| - | - | - | - | ||||
| Capaian Pembelajaran |
CPL-PRODI yang dibebankan pada MK | |
| CPL | - | |
| Capaian Pembelajaran Mata Kuliah (CPMK) | ||
| CPMK 1 | Menentukan konsep logika matematika, proposisi, fungsi proposisi dalam menyelesaikan masalah. | |
| CPMK 2 | Menggunakan konsep argument, tautology, bukti kevalidan fungsi proposisi, bukti kevalidan fungsi berkuantor. 3) Menerapkan konsep , himpunan dan operasinya, himpunan bilangan dan perkalian Cartesius. 4) Menganalisis dan menerapkan konsep invers fungsi, rel | |
| Kemampuan akhir tiap tahapan belajar (Sub-CPMK) | ||
| SUB CPMK | - | |
| Matriks CPL ke CPMK |
|
| Deskripsi Singkat Mata Kuliah |
Mata kuliah ini membahas tentang: logika matematika, proposisi, fungsi proposisi, argument, tautology, bukti kevalidan fungsi proposisi, bukti kevalidan fungsi berkuantor. himpunan dan operasinya, himpunan bilangan dan perkalian Cartesius, jenis dan invers fungsi, relasi, aljabar himpunan, dualitas, himpunan berindeks, himpunan terbilang. |
| 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 | |||||||