Search for tag: "quantifiers"

10.c

Third video of the Inf2d lecture on First-Order Logic.

From  Claudia-Elena Chirita 0 likes 192 plays 0  

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…

From  Haoran Peng 0 likes 241 plays 0  

CL - 7b - Quantifiers And Lambda

In this video we briefly mention more examples of sections, and then introduce λ-functions, which we use to help us interpretat statements such as, "Somebody loves Everybody".

From  Haoran Peng 0 likes 484 plays 0  

CL - 7a - Mary Loves Everybody

In this video we introduce the interpretation of statements such as, "Mary loves Everybody". We use sections in Haskell to help us do this.

From  Haoran Peng 0 likes 486 plays 0  

5: Anselm - Premise 2

Anselm - Premise 2

From  Brian Rabern 0 likes 19 plays 0