Computational Logic
Course Code
IF1221
Number of Credits
2
Semester
2
Course Type
C
Related Courses
| No | Code | Course | Relation |
|---|---|---|---|
| 1 | IF2121 | Computational Logic | Equivalent |
Study Material
| Study Material | Depth |
|---|---|
| CS-IS-3. Basic Knowledge Representation and Reasoning | Explore |
| CS-DS-3. Proof Techniques | Explore |
| CS-DS-2. Basic Logic | Explore |
Graduate Learning Outcomes (GLO) carried by the course
| CPMK Code | Course Learning Outcomes Elements (CLO) |
|---|---|
| CPMK 1 | Explain problems in natural language into propositional logic representations |
| CPMK 2 | Explain problems in natural language into relational logic representations |
| CPMK 3 | Demonstrate evidence or draw conclusions from facts/premises using propositional proof |
| CPMK 4 | Demonstrate evidence or draw conclusions from facts/premises using propositional/relational resolution |
| CPMK 5 | Design and implement a simple program in Prolog to solve simple problems based on automated theorem proving |
| CPMK 6 | Evaluate a given Prolog program based on the problem solved |
Learning Method
- Lectures, Discussions, Group Work, Lab Work
Learning Modality
- Offline (Luring); Synchronous; Independent/Group
Assessment Methods
- Midterm Exam (UTS), Final Exam (UAS), Quizzes, Paper Assignments