Search for tag: "predicates"

Lecture 8 part 2 Kaltura Capture recording - March 6th 2021, 4:50:16 pm

lecture 8 part 2

From  Pauline Phemister on March 6th, 2021 0 likes 21 plays 0  

15.a

The first video of the Inf2d lecture on Situation Calculus.

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 177 plays 0  

CL - 11a - Expressions

This video introduces the idea that expressions are things we can study.We look first at evaluating algebraic expressions by substituting values for variables, and then do the same for Boolean…

From  Haoran Peng on November 12th, 2020 0 likes 305 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 - 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 327 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 345 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  

CL - 6a - Keeping it Simple

We begin by revisiting the idea of a universal model. If we have only n predicates then we can distinguish only 2n kinds of individual. So we only need to consider 2^{2n} universes. For example, for…

From  Haoran Peng on October 24th, 2020 0 likes 403 plays 0  

CL - Sequents

We introduce sequents, where we have finite sets of predicates on both sides of the turnstile.

From  Haoran Peng on October 20th, 2020 0 likes 338 plays 0  

CL - Review 1 - Contraposition

We show the intuition of contraposition using Venn diagrams.

From  Haoran Peng on October 20th, 2020 0 likes 344 plays 0  

CL - Q&A - Thursday Week 4

In week 4 we introduced Gentzen's sequents.You should make sure you understand when a sequent is valid, and what it means to provide a counter-example to a sequent -- a universe in which the…

From  Haoran Peng on October 20th, 2020 0 likes 345 plays 0  

CL - Lecture 4.k - Logic and Algebra

Last CL video for week 4.

From  Claudia-Elena Chirita on October 15th, 2020 0 likes 302 plays 0  

CL - Lecture 4d - Disjunction

In this video, we try to arrive at the disjunction rule.

From  Haoran Peng on October 11th, 2020 0 likes 469 plays 0  

CL - Lecture 4c - Conjunction

In this video, we try to arrive at the conjunction rule.

From  Haoran Peng on October 11th, 2020 0 likes 519 plays 0  

CL - Lecture 4b - Visualising Negation

What is the difference between 'a' and 'not a'? Here we visualize them on a globe instead of a plane.

From  Haoran Peng on October 11th, 2020 0 likes 450 plays 0