- Schedule of Classes - January 14, 2015 6:16PM EST
- Course Catalog - January 14, 2015 6:21PM EST
Course information provided by the Courses of Study 2014-2015.
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.
Permission Note Permission of instructor is required.
Disabled for this roster.