Courses of Study 2018-2019 
    Oct 14, 2019  
Courses of Study 2018-2019 [ARCHIVED CATALOG]

[Add to Favorites]

CS 7192 - [Seminar in Programming Refinement Logics]

Fall, Spring. 1 credit. Student option grading.

Permission of instructor required.


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.

[Add to Favorites]