|
Classifying spaces
in homotopy theory: in honour of Ran Levi's 60th BirthdayNiall Taggart, Utrecht UniversityThis recording is in the process being subtitled. This typically takes around two…
Licence Type
All rights reserved Date Created
September 6th, 2022
|
|
3rd year Informatics student, Donald Jennings, tells us about his first two years studying at the University of Edinburgh. His presentation covers: 1st year at Edinburgh Optional Courses 2nd year…
Publisher
UoE School of Informatics Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
July 28th, 2022
|
|
This public lecture was part of the Young Researchers in Combinatorics workshop at ICMS. We were delighted to welcome speaker Piers Bursill-Hall (University of Cambridge) for this public lecture.We…
Publisher
ICMS Licence Type
All rights reserved Language
English Date Created
July 19th, 2022
|
|
Welcome to this podcast series produced by The Race Equality and Anti-Racist Sub-Committee (REAR) at the University of Edinburgh in collaboration with Teaching Matters where we hear from different…
Licence Type
All rights reserved The University of Edinburgh
|
|
Year 1 maths courses
Publisher
Nikolaos Bournaveas Licence Type
All rights reserved Language
English Date Created
July 30th, 2021
|
|
The Disc-structure space Manuel Krannich (University of Cambridge) Manifolds and K-theory: the legacy of Andrew Ranicki online workshop 21 - 25 Jun 2021 To remove the captions from this video press…
Licence Type
All rights reserved Language
english Date Created
June 22nd, 2021
|
|
School of Informatics - Sample 1st year lecturePropositions as Types by Professor Philip WadlerSemester 1: Lecture 19 (INF1A)
Publisher
UoE School of Informatics Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
June 3rd, 2021
|
|
This talk has captions. You can remove these by pressing CC on the video toolbar. Name: Emma Simpson Talk Title: A geometric investigation into the tail dependence of vine copulas Abstract: Vine…
Licence Type
All rights reserved Language
English
|
|
The second video of the Inf2d lecture on Situation Calculus.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
The first video of the Inf2d lecture on Situation Calculus.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This is the last FP video lecture, on Propositions as Types.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This video includes a couple of points from a 2019 review lecture on Sequents.First we discuss how to use reduction to find an inhabited model in which Γ ⊨ Δ, which is equivalent to…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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)…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We introduce sequents, where we have finite sets of predicates on both sides of the turnstile.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In week 4 we introduced Gentzen's sequents.You should make sure you understand when a sequent is valid, and what it means to provide a counter-example to a sequent -- a universe in which the…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
An introduction to, and outline of, the School of Mathematics course Calculus and its Applications by Course Organiser Dr Nikola Popovic.
Course Code
MATH08058 Licence Type
All rights reserved
|