Search for tag: "b"

FP - Lecture 18 - IO and Monads

This is the second video on the FP lecture on IO and Monads.

From  Claudia-Elena Chirita on November 23rd, 2020 0 likes 94 plays 0  

CL - 14c - Regular Languages (I)

We give a first definition of regular language as a language that is accepted by some FSM.

From  Haoran Peng on November 18th, 2020 0 likes 217 plays 0  

CL - 13b - regex and FSM

We introduce some simple finite state machines, and three key ideas of the theory.The first idea is that of the language recognised by a machine. Given an alphabet of symbols, a language is a set…

From  Haoran Peng on November 17th, 2020 0 likes 313 plays 0  

CL - 11c - CNF by KM (I)

Description Pending

From  Haoran Peng on November 12th, 2020 0 likes 214 plays 0  

CL - 12a - Order

This video looks at the ordering of predicates. We first met thsis as the satisfaction ordering a ⊨ b.We look at the ordering of the 16 possible boolean functions of two variables. We can also view…

From  Haoran Peng on November 9th, 2020 0 likes 311 plays 0  

DAPR1 (20-21): 7.2

Dapr1 Lect7_2

From  Leonidas Doumas on November 4th, 2020 0 likes 308 plays 0  

DAPR1 (20-21): 7.1

Dapr1 Lect7_1

From  Leonidas Doumas on November 4th, 2020 0 likes 291 plays 0  

DAPR1 (20-21): 6.2

DAPR1 Lect 6, part 1

From  Leonidas Doumas on October 30th, 2020 0 likes 344 plays 0  

DAPR1 (20-21): 6.1

DAPR1 Lect 6, part 1

From  Leonidas Doumas on October 30th, 2020 0 likes 354 plays 0  

CL - 6e - DNF

More on blocks of ones (which correspond to conjunctions of literals).This video shows how to use a Karnaugh map to represent an arbitrary Boolean function of four variables as a disjunctive normal…

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

CL - Implication

We derive the implication rule using the rules introduced last week.

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

CL - Review 2 - Venn Apples

Venn diagrams on a sphere.

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

CL - Review 1 - Contraposition

We show the intuition of contraposition using Venn diagrams.

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