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 | |
| CS-DS-3. Proof Techniques | |
| CS-DS-2. Basic Logic |
Graduate Learning Outcomes (GLO) carried by the course
| CPMK Code | Course Learning Outcomes Elements (CLO) |
|---|---|
| CPMK 1 | |
| CPMK 2 | |
| CPMK 3 | |
| CPMK 4 | |
| CPMK 5 | |
| CPMK 6 |