Logika Komputasional
Kode Mata Kuliah
IF1221
Jumlah SKS
2
Semester
2
Jenis Mata Kuliah
C
Mata Kuliah Terkait
| No | Kode | Mata Kuliah | Relasi |
|---|---|---|---|
| 1 | IF2121 | Logika Komputasional | Ekuivalen |
Bahan Kajian
| Bahan Kajian | Kedalaman |
|---|---|
| CS-IS-3. Basic Knowledge Representation and Reasoning | |
| CS-DS-3. Proof Techniques | |
| CS-DS-2. Basic Logic |
Capaian Pembelajaran Lulusan (CPL) yang diemban mata kuliah
| Kode CPMK | Unsur Capaian Pembelajaran Mata Kuliah (CPMK) |
|---|---|
| CPMK 1 | CPMK1. Menjelaskan persoalan dalam bahasa alami ke dalam representasi logika proposisional. |
| CPMK 2 | CPMK2. Menjelaskan persoalan dalam bahasa alami ke dalam representasi logika relasional. |
| CPMK 3 | CPMK3. Menunjukkan bukti atau membuat kesimpulan dari fakta/premis yang ada/diberikan menggunakan bukti proposisional/relasional. |
| CPMK 4 | CPMK4. Menunjukkan bukti atau membuat kesimpulan dari fakta/premis yang ada/diberikan menggunakan resolusi proposisional/relasional. |
| CPMK 5 | CPMK5. Menyusun rancangan dan mengimplementasikan sebuah program sederhana dalam bahasa Prolog untuk menyelesaikan persoalan sederhana, berdasarkan pada pembuktian teorema otomatis. |
| CPMK 6 | CPMK6. Melakukan evaluasi sebuah program prolog yang diberikan, berdasarkan pada persoalan yang diselesaikan. |
Metode Pembelajaran
- Kuliah, Diskusi, Kerja kelompok, Praktikum
Modalitas Pembelajaran
- Luring Sinkron Mandiri dan Kelompok
Metode Penilaian
- UTS, UAS, Kuis, Praktikum, Tugas