05:33 duration 5 minutes 33 seconds
CL - 7h - Some Haskell remarks
In this video we give an example showing how Haskell's types can help us to avoid confusions.We then discuss the types of the Boolean operations lifted to predicates, and show how…
07:48 duration 7 minutes 48 seconds
CL - Lecture 2.d - Negation and Contraposition of…
CL - Lecture 2.d - Negation and Contraposition of Predicates
In this video on syllogisms, we introduce the logic of negation.