Search for tag: "diagram"

CL - 6b - Karnaugh Maps I

In logic, we call the things in the universal model valuations; they are Boolean-values functions defined on the set of predicates.In computer science we often call these states, because, as we will…

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

CL - Review 2 - Venn Apples

Venn diagrams on a sphere.

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

CL - Review 1 - Contraposition

We show the intuition of contraposition using Venn diagrams.

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

BMS2: Chemical Synaptic Transmission 2 Part 1 Dr Phil Larkman

Post-synaptic nicotinic acetylcholine receptor structure and function

From  Philip Larkman on October 14th, 2020 0 likes 189 plays 0  

CL - Lecture 4d - Disjunction

In this video, we try to arrive at the disjunction rule.

From  Haoran Peng on October 11th, 2020 0 likes 428 plays 0  

CL - Lecture 4c - Conjunction

In this video, we try to arrive at the conjunction rule.

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

CL - Lecture 4a - Aristotle's Rules

Our first video is a recap of last week's materials.

From  Haoran Peng on October 11th, 2020 0 likes 487 plays 0  

LAGOON: Leicester Algebra and Geometry Open ONline -Karin Baur (Leeds, UK and Graz, Austria)

An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar. Karin Baur (Leeds, UK and Graz, Austria) Structure of…

From  Liam Holligan on October 9th, 2020 0 likes 15 plays 0  

Waves in Complex Continua (Wavinar) - Marie Touboul, (LMA, France)

An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar. Marie Touboul, (LMA, France) Title: High-frequency…

From  Liam Holligan on October 9th, 2020 0 likes 20 plays 0  

The complexity of determining knot genus in a fixed three-manifold - Mehdi Yazdi

Geometry and Topology online seminar series The complexity of determining knot genus in a fixed three-manifold Mehdi Yazdi (Oxford) 7 October 2020 An automated programme is used to generate the…

From  GILLIAN KERR on October 8th, 2020 0 likes 10 plays 0  

CL - Lecture 3h - Operator Precedence

In this video, we introduce operator precedence. An expression such as a ⋀ b ⋁ c, without parentheses, could represent either (a ⋀ b) ⋁ c or a ⋀ (b ⋁ c). To specify which we mean, we either need to…

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

CL - Lecture 3d - Using Venn Diagrams to show a Syllogism is Sound

Given a syllogistic rule, how do we show that it is sound? Here we show that using Venn diagrams.

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