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

Credits

3