Select the desired Level or Schedule Type to find available classes for the course. |
CSCI 2950Y - Theorem Proving |
This course explores computer-assisted theorem proving with the Coq Proof Assistant. The course will teach students to formally specify software and model mathematical theories. We will then study techniques for mechanically proving theorems about these Coq. Prerequisites: CSCI 1730 or CSCI 0170 and permission of the instructor.
0.000 OR 1.000 Credit hours 0.000 OR 1.000 Lecture hours Levels: Graduate, Undergraduate Schedule Types: Discussion Section/Conference, Primary Meeting Computer Science Department Prerequisites: Undergraduate level CSCI 0170 Minimum Grade of S or Undergraduate level CSCI 1730 Minimum Grade of S |
Return to Previous | New Search |