Search for tag: "bottom"

Veering triangulations and their polynomials - Yair Minsky

Geometry and Topology online seminar series Veering triangulations and their polynomials Yair Minsky (Yale) 22 October 2020 An automated programme is used to generate the subtitles on this talk. You…

From  GILLIAN KERR on October 22nd, 2020 0 likes 4 plays 0  

CL - Implication

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

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

CL - Lecture 4.h - Sequents 3

We can now give Gentzen's rules for ¬ ⋀ ⋁.

From  Claudia-Elena Chirita on October 15th, 2020 0 likes 292 plays 0  

Workshop 1 - Distillation Sequencing Solutions

Workshop 1 - Distillation Sequencing Solutions

From  Mennatallah Mohamed Awny Ali Labib on October 11th, 2020 0 likes 3 plays 0  

UniSim Workshop 2 - BTX Separation Solutions

UniSim Workshop 2 - BTX Separation Solutions

From  Mennatallah Mohamed Awny Ali Labib on October 8th, 2020 0 likes 3 plays 0  

CL - Lecture 3j - Aristotle's Syllogisms

We describe the traditional presentation of the syllogisms, and introduce Aristotle's existential assumption, on the basis of which he derives nine more syllogisms. These are not sound in our…

From  Haoran Peng on October 5th, 2020 0 likes 408 plays 0  

Lecture 12 - Complex Distillation Arrangements II

Lecture 12 - Complex Distillation Arrangements II

From  Mennatallah Mohamed Awny Ali Labib on October 5th, 2020 0 likes 26 plays 0  

Lecture 11 - Complex Distillation Arrangements I

Lecture 11 - Complex Distillation Arrangements I

From  Mennatallah Mohamed Awny Ali Labib on October 5th, 2020 0 likes 28 plays 0  

USMR lecture 4 part 3

chisq test of independence

From  Martin Corley on October 4th, 2020 0 likes 71 plays 1  

CL - Lecture 3g - Making more rules with contrapositions

Using meta-/object-level contrapositions, we can derive all 15 sound syllogisms from Barbara.

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

Join Group Collaborate Room

A quick video showing students how to access their Collaborate group rooms in Learn.

From  Iraklis Pantopoulos on September 30th, 2020 0 likes 127 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 440 plays 0  

A Hazi LMS Autumn Algebra School

Amit Hazi: Soergel bimodules, including their motivation from classical Lie theory, their (diagrammatic) construction and applications to modular representation theory

From  OLLIE Quinn on September 25th, 2020 0 likes 5 plays 0  

Lecture 4 Civil Components

David Williams describes typical approaches used for the major civil engineering elements of a hydro scheme, including a walk through of the construction of a scheme.

From  Gareth Harrison on September 25th, 2020 0 likes 36 plays 0  

Lecture 7 - Vapour Flow Method

Lecture 7 - Vapour Flow Method

From  Mennatallah Mohamed Awny Ali Labib on September 24th, 2020 0 likes 58 plays 0  

Lecture 5 - Fundamentals of Distillation Sequencing

Lecture 5 - Fundamentals of Distillation Sequencing

From  Mennatallah Mohamed Awny Ali Labib on September 21st, 2020 0 likes 65 plays 0