CMSC 452 - Logic for Computer Science

(3.00)

This course covers the fundamental topics in sentential and first-order logic, including models, logical consequence, deduction and the completeness theorem. Other topics include: undecidability theorems, including Goedel’s incompleteness theorem and Tarski’s theorem; Herbrand’s theorem; and applications including resolution, logic programming, automatic deduction, program specification and program verification.

Course ID: 52948
Consent: No Special Consent Required
Components: Lecture
Requirement Group: You must have completed CMSC 203 with the grade of C or better.