Description
Elements of mathematical logic with computing applications. Formal proof systems for propositional and predicate logic. Interpretations, validity, and satisfiability. Introduction to soundness, completeness and decidability.
Follow-On Courses
This course appears in the pre- or co-requisites for the following course(s):