|
Sep 29, 2024
|
|
|
|
CAS 734 / Formalized Mathematics 3 unit(s)
W.M. Farmer
Computer-supported, formalized mathematical reasoning for practical applications. Specification and verification in higher-order logic. Interactive theorem proving systems. Techniques for developing axiomatic theories.
Add to Favourites (opens a new window)
|
|