Search for tag: "mary"

PGHC11506 Ancient Egyptian Hieroglyphs: Week 8 Appeals to the Living

Video by Dr Zsuzsanna Vegh for Ancient Egyptian Hieroglyphs Introduction: Week 8

From  Anna Raczynski on March 3rd, 2021 0 likes 16 plays 0  

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 322 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 340 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 473 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 476 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 70 plays

23a

Introduction to Bayesian Networks

From  Alexandra Lascarides on July 13th, 2020 0 likes 158 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 52 plays 0