top | item 42204872

(no title)

e79 | 1 year ago

If you’re interested in computer science, have you ever looked at the Software Foundations course by UPenn? It follows a similar approach of having you build all sorts of fascinating math principles and constructions from the ground up. But then it keeps going, all the way up to formal methods of software analysis and verification.

https://softwarefoundations.cis.upenn.edu/

discuss

order

No comments yet.