Search for tag: "property"

December 16 Julia Pevtsova Cohomology of finite dimensional Hopf algebras

An automated programme has been used to generate the subtitles on this talk.

From  ALASDAIR SPRATT on December 17th, 2020 0 likes 19 plays 0  

One World Virtual Seminar Series - Stochastic Numerics and Inverse Problems: Evelyn Buckwar (Johannes Kepler University)

Subtitles have been automatically added to this video, we are editing these so they correctly reflect the lecture. Click "cc" to turn subtitles off. Evelyn Buckwar (Johannes Kepler…

From  Liam Holligan on December 16th, 2020 0 likes 10 plays 0  

Software Licensing, Open Source and Sharing Your Code

Lecture on Software Licensing, Open Source and Sharing Your Code from the EPCC MSc online course on Programming Skills in Semester 1, Academic Year 2020/21

From  Neil Chue Hong on November 23rd, 2020 0 likes 18 plays 0  

FP - Lecture 15 - Combinatorics

This is the first video for the FP lectures on Combinatorics.

From  Claudia-Elena Chirita on November 16th, 2020 0 likes 378 plays 0  

2020-11-12-CRFR_Seminar_Helen-Moewaka_Barnes

CRFR Seminar - Helen Moewaka Barnes speaking at the seminar on Intersectionality Families and Relationships – Colonisation, Climate Change, Children’s Rights: Has Covid-19 changed the…

From  Helen Walker on November 12th, 2020 0 likes 25 plays 0  

CL - 11b - CNF by Boolean algebra

Description Pending

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

CL - 7b - Quantifiers And Lambda

In this video we briefly mention more examples of sections, and then introduce λ-functions, which we use to help us interpretat statements such as, "Somebody loves Everybody".

From  Haoran Peng on October 30th, 2020 0 likes 471 plays 0  

CL - 7a - Mary Loves Everybody

In this video we introduce the interpretation of statements such as, "Mary loves Everybody". We use sections in Haskell to help us do this.

From  Haoran Peng on October 30th, 2020 0 likes 474 plays 0  

CL - 6a - Keeping it Simple

We begin by revisiting the idea of a universal model. If we have only n predicates then we can distinguish only 2n kinds of individual. So we only need to consider 2^{2n} universes. For example, for…

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

Intellectual Property Law

An introduction to Intellectual Property Law, created by a current Edinburgh student who has a particular interest in this area.

From  Emma Paterson on October 21st, 2020 0 likes 5 plays 0  

Succession Law Introduction

An introduction to an area of the Law course at Edinburgh, created by a current student. This video is an introduction to Intestate Succession: what happens when someone dies without a will?

From  Emma Paterson on October 21st, 2020 0 likes 6 plays 0  

CL - Review 2 - Venn Apples

Venn diagrams on a sphere.

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

CL - Review 1 - Contraposition

We show the intuition of contraposition using Venn diagrams.

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

ELRN 2020 Annual Lecture - Prof Ambreena Manji

Professor Ambreena Manji from Cardiff University speaks on 'Searching for Care Labour in African Social History'. This is the Annual Lecture delivered on the 16th of October 2020.

From  Iain Mcgee on October 20th, 2020 0 likes 4 plays 0