COGS502 SYMBOLS AND PROGRAMMING
| Course Code: |
9020502 |
| METU Credit (Theoretical-Laboratory hours/week): |
3(3-0) |
| ECTS Credit: |
8.0 |
| Department: |
Cognitive Sciences |
| Language of Instruction: |
English |
| Level of Study: |
Graduate |
| Course Coordinator: |
Prof.Dr. HÜSEYÝN CEM BOZÞAHÝN |
| Offered Semester: |
Fall Semesters. |
Course Content
Sets, relations and functions. Propositional and predicate logic. Truth, validity, and models. Deduction and inference methods. Logic programming. Specification and construction of PROLOG programs. Various data structures and predicates of PROLOG.
