Search for tag: "mary"

CL - 8b - Language III

In this video we link the language of forms to our derivations of CNF.

From  Haoran Peng on November 1st, 2020 0 likes 319 plays 0  

CL - 8a - Language II

In this video we return to the idea of a formal language — a language whose expressions can be represented in Haskell.

From  Haoran Peng on November 1st, 2020 0 likes 336 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 470 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 472 plays 0  

GREATS - From Plato to the Enlightenment

This course will introduce you to key texts in the history of philosophy.

From  Damian Caluori on September 1st, 2020 0 likes 63 plays

23a

Introduction to Bayesian Networks

From  Alexandra Lascarides on July 13th, 2020 0 likes 2 plays 0  

Ada Lovelace and her mentors - Christopher D. Hollings

For Ada Lovelace Day 2016, Christopher D. Hollings (Mathematical Institute & The Queen's College, Oxford), provides a brief introduction to the life and works of Ada Lovelace (1815-1852) and…

From  Ewan McAndrew on October 8th, 2016 0 likes 47 plays 0