Search for tag: "union"

10B MMEH B Revision part 2

10B Revision part 2

From  Anthony Gorman on March 23rd, 2021 0 likes 58 plays 0  

11.b

The second video of the Inf2d lecture on Unification.

From  Claudia-Elena Chirita on February 2nd, 2021 0 likes 157 plays 0  

How-To join sport at Edinburgh

How-To join sport at Edinburgh

From  Ravinder Panesar on January 22nd, 2021 0 likes 13 plays 0  

The Edinburgh Race Lectures: The Eclipse of Black Women in Anti-Discrimination Law - 9 December 2020

'The Eclipse of Black Women in Anti-Discrimination Law'by Professor Iyiola Solanke, Chair of European Union Law and Social Justice within the University of Leeds Law School.Chaired by Dr…

From  Clare de Mowbray on January 11th, 2021 0 likes 29 plays 0  

CL - 15b - Boolean operations on DFA-Regular Languages

Since DFA-regular languages are closed under complements and intersections, they are closed under all Boolean operations.

From  Haoran Peng on November 22nd, 2020 0 likes 305 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 255 plays 0  

The Terry Wall Lecture 2020: Professor Claire Voisin, Collège de France

Subtitles have been automatically addeded to this lecture, to turn off please select "cc". Professor Claire Voisin, Collège de France - Quadratic Extensions: Algebra and Geometry …

From  Liam Holligan on November 18th, 2020 0 likes 29 plays 0  

Kenneth_Falconer-ESM

EMS meeting date ... Talk delivered by Professor Kenneth Falconer

From  Hossein Amini Kafiabad on October 30th, 2020 0 likes 12 plays 0  

CL - Lecture 4.k - Logic and Algebra

Last CL video for week 4.

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

IMA, LMS Joint Meeting: Topological methods in Data Science (1-2 October 2020)

An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar. Vidit Nanda (Oxford) - Geometric anomaly detection in data. …

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

IMA, LMS Joint Meeting: Topological methods in Data Science (1-2 October 2020)

An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar. Ulrike Tilmann (Oxford) - Homology of random geometric…

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

Rosanna Laking: Infinite-dimensional representations of algebras

Rosanna Laking: Infinite-dimensional representations of algebras

From  OLLIE Quinn on October 8th, 2020 0 likes 14 plays 0  

CL - Lecture 2.e - Aristotelian Syllogisms. Another Example

In this video, we get syllogisms for free! We see how some simple reasoning allows us to derive three more syllogisms.

From  Claudia-Elena Chirita on September 26th, 2020 0 likes 458 plays 0  

CL - Lecture 2.b - Aristotelian Syllogisms. First Example

This is the third video on Syllogisms. We use Venn diagrams to show that barbara is sound.

From  Claudia-Elena Chirita on September 26th, 2020 0 likes 475 plays 0  

I Castellano

Ilaria Castellano: Introduction to totally disconnected locally compact groups

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