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. (36/0/0/0/0) PREREQUISITES: ELEC 270 or CISC 203