CENG424 LOGIC FOR COMPUTER SCIENCE
|METU Credit (Theoretical-Laboratory hours/week):
|Language of Instruction:
|Level of Study:
||Prof.Dr. FERDA NUR ALPASLAN
||Fall or Spring Semesters.
||Set 1: 5710223
|The course set above should be completed before taking
CENG424 LOGIC FOR COMPUTER SCIENCE.
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.