- Schedule of Classes - February 6, 2017 7:14PM EST
- Course Catalog - February 6, 2017 7:15PM EST
Course information provided by the Courses of Study 2016-2017.
Topics in programming logics, possibly including type theory, constructive logic, decision procedures, heuristic methods, extraction of code from proofs, and the design of proof-development and problem-solving systems.
When Offered Fall, spring.
Disabled for this roster.