Jun 12, 2024  
2015-2016 Undergraduate Catalog 
    
2015-2016 Undergraduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

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.



Add to Portfolio (opens a new window)