Kurikulum 2024

Kode Mata KuliahIF1221 / 2 SKS
Penyelenggara135 - Teknik Informatika / STEI
KategoriKuliah
Bahasa IndonesiaEnglish
Nama Mata KuliahLogika KomputasionalComputational Logic
Bahan Kajian
  1. CS-IS-3. Basic Knowledge Representation and Reasoning 
  2. CS-DS-3. Proof Techniques  
  3. CS-DS-2. Basic Logic  
  1. CS-IS-3. Basic Knowledge Representation and Reasoning 
  2. CS-DS-3. Proof Techniques  
  3. CS-DS-2. Basic Logic  
Capaian Pembelajaran Mata Kuliah (CPMK)
  1. CPMK1. Menjelaskan persoalan dalam bahasa alami ke dalam representasi logika proposisional.  
  2. CPMK2. Menjelaskan persoalan dalam bahasa alami ke dalam representasi logika relasional.  
  3. CPMK3. Menunjukkan bukti atau membuat kesimpulan dari fakta/premis yang ada/diberikan menggunakan bukti proposisional/relasional.  
  4. CPMK4. Menunjukkan bukti atau membuat kesimpulan dari fakta/premis yang ada/diberikan menggunakan resolusi proposisional/relasional.  
  5. CPMK5. Menyusun rancangan dan mengimplementasikan sebuah program sederhana dalam bahasa Prolog untuk menyelesaikan persoalan sederhana, berdasarkan pada pembuktian teorema otomatis.  
  6. CPMK6. Melakukan evaluasi sebuah program prolog yang diberikan, berdasarkan pada persoalan yang diselesaikan. 
    Metode PembelajaranKuliah, Diskusi, Kerja kelompok, Praktikum
    Modalitas PembelajaranLuring Sinkron Mandiri dan Kelompok
    Jenis NilaiABCDE
    Metode PenilaianUTS, UAS, Kuis, Praktikum, Tugas
    Catatan Tambahan