Academic Catalog

COGS502 PROGRAMMING AND LOGIC

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. HSEYN CEM BOZAHN
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.