- Schedule of Classes - June 15, 2016 6:14PM EDT
- Course Catalog - June 9, 2016 6:15PM EDT
Course information provided by the Courses of Study 2015-2016.
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.
Credits and Grading Basis
1 Credit Stdnt Opt(Letter or S/U grades)
Class Number & Section Details
- WBill and Melinda Gates Hll 203
Disabled for this roster.