Search for tag: "possibilities"

CL - 6f - CNF I

This video shows how blocks of zeros, which correspond to disjund=ctions of literals, lead us to conjunctive normal form (CNF) which we met earlier as the output of our reduction procedure. CNF is in…

From  Haoran Peng on October 24th, 2020 0 likes 0 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 0 plays 0  

FP - Lecture 10 - Expression Trees as Algebraic Data Types

This is the video for the 10th FP lecture.

From  Claudia-Elena Chirita on October 19th, 2020 0 likes 123 plays 0  

CL - Lecture 3e - Constructing a Counterexample

In the last video, we showed a rule is sound using Venn diagrams. In this video, we will again use Venn diagrams to construct counter-examples for unsound rules.

From  Haoran Peng on October 3rd, 2020 0 likes 462 plays 0  

CL - Lecture 2.aa - Aristotelian Syllogisms. Venn diagrams

This is the second video on Syllogisms. We return to discuss the relationship between Euler and Venn diagrams, and introduce some notation.Having watched this video, you should be able to count how…

From  Claudia-Elena Chirita on September 26th, 2020 0 likes 472 plays 0  

2: Anselm - Modal logic

Anselm - Modal logic

From  Brian Rabern on September 16th, 2020 0 likes 30 plays 0  

2.3-part1: Counting techniques

.

From  Vesselin Velichkov on July 19th, 2020 0 likes 1 plays 0  

2.1-part1: Sample spaces, events

.

From  Vesselin Velichkov on July 19th, 2020 0 likes 5 plays 0