← Back to context Comment by fnord77 6 hours ago side question, which CS class(es) teach about invariants? 2 comments fnord77 Reply pramodbiligiri 5 hours ago Usually goes under Formal Methods: https://github.com/luigiapetre/Formal-Methods-CoursesThere’s a book called Logic for Programmers: https://leanpub.com/logic#table-of-contents ventana 4 hours ago The well-known algorithms book Cormen et al. describes a lot of algorithms using loop invariants. I must say I never really liked this approach but I admit it makes things easier to reason about.
pramodbiligiri 5 hours ago Usually goes under Formal Methods: https://github.com/luigiapetre/Formal-Methods-CoursesThere’s a book called Logic for Programmers: https://leanpub.com/logic#table-of-contents
ventana 4 hours ago The well-known algorithms book Cormen et al. describes a lot of algorithms using loop invariants. I must say I never really liked this approach but I admit it makes things easier to reason about.
Usually goes under Formal Methods: https://github.com/luigiapetre/Formal-Methods-Courses
There’s a book called Logic for Programmers: https://leanpub.com/logic#table-of-contents
The well-known algorithms book Cormen et al. describes a lot of algorithms using loop invariants. I must say I never really liked this approach but I admit it makes things easier to reason about.