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. FERDA NUR 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.
