CSCI 311 - Discrete Structures and Functional Programming II
Propositional and predicate logic. Formal and informal proof. Resolution theorem proving. Applications of logic: program correctness, automatic reasoning, logic programming.
Prerequisites & Notes: CSCI 211; MATH 124 or MATH 157