Search for tag: "predicates"

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

lecture 8 part 2

+22 More
From  Pauline Phemister 0 likes 49 plays 0  

15.a

The first video of the Inf2d lecture on Situation…

+22 More
From  Claudia-Elena Chirita 0 likes 190 plays 0  

CL - 11a - Expressions

This video introduces the idea that expressions…

+23 More
From  Haoran Peng 0 likes 319 plays 0  

CL - 7h - Some Haskell remarks

In this video we give an example showing how…

+23 More
From  Haoran Peng 0 likes 247 plays 0  

CL - 8b - Language III

In this video we link the language of forms to…

+23 More
From  Haoran Peng 0 likes 335 plays 0  

CL - 8a - Language II

In this video we return to the idea of a formal…

+23 More
From  Haoran Peng 0 likes 358 plays 0  

CL - 7a - Mary Loves Everybody

In this video we introduce the interpretation of…

+23 More
From  Haoran Peng 0 likes 495 plays 0  

CL - 6a - Keeping it Simple

We begin by revisiting the idea of a universal…

+24 More
From  Haoran Peng 0 likes 413 plays 0  

lecture 6 part 2 Kaltura Capture recording - October 21st 2020, 3:08:57 pm

lecture 6 part 2

+22 More
From  Pauline Phemister 0 likes 46 plays 0  

CL - Sequents

We introduce sequents, where we have finite sets…

+24 More
From  Haoran Peng 0 likes 345 plays 0  

CL - Review 1 - Contraposition

We show the intuition of contraposition using…

+24 More
From  Haoran Peng 0 likes 355 plays 0  

CL - Q&A - Thursday Week 4

In week 4 we introduced Gentzen's…

+25 More
From  Haoran Peng 0 likes 353 plays 0  

CL - Lecture 4.k - Logic and Algebra

Last CL video for week 4.

+24 More
From  Claudia-Elena Chirita 0 likes 314 plays 0  

CL - Lecture 4d - Disjunction

In this video, we try to arrive at the…

+25 More
From  Haoran Peng 0 likes 484 plays 0  

CL - Lecture 4c - Conjunction

In this video, we try to arrive at the…

+25 More
From  Haoran Peng 0 likes 527 plays 0  

CL - Lecture 4b - Visualising Negation

What is the difference between 'a' and…

+25 More
From  Haoran Peng 0 likes 464 plays 0