CISC-204 * /0.5 Logic for Computing Science 3L

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. PREREQUISITE