3 ms·
Dijkstra: Reasoning About Programs (1990) [video]
- zengid 8y agoI'm always excited when I realize that my one semester of Discrete Math allows me to understand lectures like this!
- jonsen 8y agoIf you are tempted to dig further into these techniques there's this book: https://www.amazon.com/Science-Programming-Monographs-Computer/dp/0387964800/ https://www.amazon.com/Science-Programming-Monographs-Comput...
- sabalaba 8y agoCool side note, introducing Prof. Dijkstra was a younger Eric Schmidt during his tenure as a software engineering manager at Sun. I wonder where all of the other lectures are? Somebody should repost them.