Search for tag: "a"

CL - 15d - Using ε-transitions

We present a first example of the use of ε-transitions to concstruct new mahines, and pose a problem to be answered in the following video.

From  Haoran Peng on November 23rd, 2020 0 likes 60 plays 0  

FP - Lecture 17 - IO and Monads

This is the first video for the FP lecture on IO and Monads.

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

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 53 plays 0  

CL - 13d - Black holes and DFA

We begin with a short discussion of the history and some applications of FSM. We then introduce Deterministic Finit-state Automata (DFA), and the use of the black hole convention when presenting…

From  Haoran Peng on November 18th, 2020 0 likes 252 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 310 plays 0  

CL - 12b - Binary Constraints

In this video we focus on binary constraints: clauses with two literals. A 2-SAT problem is a conjunction of binary constraints. We will represent it as a partial ordering on literals.In this video…

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

DAPR1 (20-21): 7.2

Dapr1 Lect7_2

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

CL - Barbara

Gentzen's rules provide a complete system that does not require the cut rule. For many logical systems, cut elimination (showing that uses of the cut rule may be eliminated from any sound proof)…

From  Haoran Peng on October 21st, 2020 0 likes 272 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 - Lecture 4.f - Sequents 1

We interpret additional predicates before the turnstile. These simply express validity in a sub-universe. This means that for any sound rule the corresponding rule with additional predicates is…

From  Claudia-Elena Chirita on October 15th, 2020 0 likes 406 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 436 plays 0  

Gareth Tracey: Introduction to crowns in finite groups

Gareth Tracey: Introduction to crowns in finite groups

From  OLLIE Quinn on October 9th, 2020 0 likes 9 plays 0  

CL - Lecture 3f - Presenting your justifications and counterexamples

In this video, we label each region in the Venn diagram with a number from 0 to 7. We can then present our justifications and counter-examples by referring to those 8 regions.

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

CL - Lecture 2.d - Negation and Contraposition of Predicates

In this video on syllogisms, we introduce the logic of negation.

From  Claudia-Elena Chirita on September 26th, 2020 0 likes 447 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 480 plays 0  

Introduction to University of Edinburgh Library 2020-21

An introduction to library services for MSc Philosophy online students.

From  Ishbel Leggat on September 22nd, 2020 0 likes 10 plays