CSC 611 Logic for Computing Scientists
Topics may include propositional logic, syntax and semantics,
proof theory vs. model theory, soundness, consistency and
completeness, first order logic, logical theories, automated
theorem proving, ground resolution, pattern matching unification
and resolution, Dijkstras logic, proof obligation, and program
proving. Prerequisite: CSC 312