Search for tag: "quantifiers"

10.c

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

From  Claudia-Elena Chirita on February 1st, 2021 0 likes 189 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 on November 1st, 2020 0 likes 237 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 on October 30th, 2020 0 likes 480 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 on October 30th, 2020 0 likes 481 plays 0  

5: Anselm - Premise 2

Anselm - Premise 2

From  Brian Rabern on September 17th, 2020 0 likes 19 plays 0