Academic Catalog

CENG424 LOGIC FOR COMPUTER SCIENCE

Course Code: 5710424
METU Credit (Theoretical-Laboratory hours/week): 3(3-0)
ECTS Credit: 6.0
Department: Computer Engineering
Language of Instruction: English
Level of Study: Undergraduate
Course Coordinator: Prof.Dr. FERDANUR ALPASLAN
Offered Semester: Fall or Spring Semesters.
Prerequisite: Set 1: 5710223
The course set above should be completed before taking CENG424 LOGIC FOR COMPUTER SCIENCE.

Course Content

Overview of propositional and first-order logic. Computational aspects of logic: definite clauses, resolution, unification, and clausal forms. Modal, temporal, and other non-standard logics. Applications of various logics in computer science.