| Kode Mata Kuliah | IF1221 / 2 SKS |
|---|
| Penyelenggara | 135 - Informatics/Computer Science / STEI |
|---|
| Kategori | Lecture |
|---|
| Bahasa Indonesia | English |
|---|
| Nama Mata Kuliah | Logika Komputasional | Computational Logic |
|---|
| Bahan Kajian |
| - CS-DS-2. Basic Logic
- CS-DS-3. Proof Techniques
- CS-IS-3. Basic Knowledge Representation and Reasoning
|
|---|
| Capaian Pembelajaran Mata Kuliah (CPMK) | - CPMK1. Menjelaskan persoalan dalam bahasa alami ke dalam representasi logika proposisional.
- CPMK2. Menjelaskan persoalan dalam bahasa alami ke dalam representasi logika relasional.
- CPMK3. Menunjukkan bukti atau membuat kesimpulan dari fakta/premis yang ada/diberikan menggunakan bukti proposisional/relasional.
- CPMK4. Menunjukkan bukti atau membuat kesimpulan dari fakta/premis yang ada/diberikan menggunakan resolusi proposisional/relasional.
- CPMK5. Menyusun rancangan dan mengimplementasikan sebuah program sederhana dalam bahasa Prolog untuk menyelesaikan persoalan sederhana, berdasarkan pada pembuktian teorema otomatis.
- 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 | |
|---|
| Jenis Nilai | ABCDE |
|---|
| Metode Penilaian | UTS, UAS, Kuis, Praktikum, Tugas | |
|---|
| Catatan Tambahan | | |
|---|