Mata Kuliah IF1221 - 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.
  1. Explain problems in natural language into propositional logic representations
  2. Explain problems in natural language into relational logic representations
  3. Demonstrate evidence or draw conclusions from facts/premises using propositional proof
  4. Demonstrate evidence or draw conclusions from facts/premises using propositional/relational resolution
  5. Design and implement a simple program in Prolog to solve simple problems based on automated theorem proving
  6. Evaluate a given Prolog program based on the problem solved
Metode PembelajaranKuliah, Diskusi, Kerja kelompok, PraktikumLectures, Discussions, Group Work, Lab Work
Modalitas PembelajaranLuring Sinkron Mandiri dan KelompokOffline (Luring); Synchronous; Independent/Group
Jenis NilaiABCDE
Metode PenilaianUTS, UAS, Kuis, Praktikum, TugasMidterm Exam (UTS), Final Exam (UAS), Quizzes, Paper Assignments
Catatan Tambahan