Search for tag: "disjunction"

13.c

The third video on the first Inf2d lecture on…

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

13.a

The first video on the first Inf2d lecture on…

+19 More
From  Claudia-Elena Chirita 0 likes 221 plays 0  

CL - 9c - DPLL II

We return to the example introduced in the…

+23 More
From  Haoran Peng 0 likes 267 plays 0  

CL - 7c - Language I

In this video we introduce the idea of a formal…

+23 More
From  Haoran Peng 0 likes 389 plays 0  

CL - 6f - CNF I

This video shows how blocks of zeros, which…

+24 More
From  Haoran Peng 0 likes 470 plays 0  

CL - 6e - DNF

More on blocks of ones (which correspond to…

+24 More
From  Haoran Peng 0 likes 409 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