Search for tag: "calculus"

From K-theory to calculus - Niall Taggart

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…

From  Greg McCracken 0 likes 18 plays 0  

Student Perspective: Introduction to Edinburgh

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…

From  Informatics at Edinburgh 0 likes 69 plays 0  

The Dark Side of Isaac Newton, Piers Bursill-Hall

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…

From  Ami Andrews 0 likes 172 plays 0  

Decolonising the Curriculum: The Podcast Series - Dr Srinjoy Mitra in conversation with Prof. Rowena Arshad

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…

From  Josephine Foucher 0 likes 189 plays 0  

The Disc-structure space - Manuel Krannich

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…

From  GILLIAN KERR 0 likes 106 plays 0  

School of Informatics Sample Undergraduate Lecture

School of Informatics - Sample 1st year lecturePropositions as Types by Professor Philip WadlerSemester 1: Lecture 19 (INF1A)

From  Informatics at Edinburgh 0 likes 27 plays 0  

Emma Simpson EVA Talk Preview

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…

From  Anna Munro 0 likes 26 plays 0  


The second video of the Inf2d lecture on Situation Calculus.

From  Claudia-Elena Chirita 0 likes 177 plays 0  


The first video of the Inf2d lecture on Situation Calculus.

From  Claudia-Elena Chirita 0 likes 189 plays 0  

FP - Lecture 19 - Propositions as Types

This is the last FP video lecture, on Propositions as Types.

From  Claudia-Elena Chirita 0 likes 416 plays 0  

CL - 5x - Supplementary on Sequents

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…

From  Haoran Peng 0 likes 25 plays 0  

CL - Barbara

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)…

From  Haoran Peng 0 likes 292 plays 0  

CL - Sequents

We introduce sequents, where we have finite sets of predicates on both sides of the turnstile.

From  Haoran Peng 0 likes 344 plays 0  

CL - Q&A - Thursday Week 4

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…

From  Haoran Peng 0 likes 352 plays 0  

Gradient Descent Algorithm

Gradient Descent Algorithm

From  Nigel Goddard 1 likes 2,955 plays 0  

Regularisation in our Structure

Regularisation in our Structure

From  Nigel Goddard 0 likes 2,265 plays 0