Search for tag: "calculus"
24 - Hebatallah Shoukry – Developing a teaching approach for GA that combine practical and theoretical aspects - Edinburgh Winter School 25 - Teaching Programming across DisciplinesVideo recorded during the Edinburgh Winter School 2025: Teaching Programming across Disciplines. Event happened at the Usher Institute, University of Edinburgh, on Wednesday 8th January 2025. See the…
From Pawel Orzechowski
0 likes
3 plays
0
|
|
From K-theory to calculus - Niall TaggartClassifying 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
20 plays
0
|
|
Student Perspective: Introduction to Edinburgh3rd 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
71 plays
0
|
|
The Dark Side of Isaac Newton, Piers Bursill-HallThis 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
181 plays
0
|
|
Decolonising the Curriculum: The Podcast Series - Dr Srinjoy Mitra in conversation with Prof. Rowena ArshadWelcome 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
196 plays
0
|
|
The Disc-structure space - Manuel KrannichThe 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
108 plays
0
|
|
School of Informatics Sample Undergraduate LectureSchool of Informatics - Sample 1st year lecturePropositions as Types by Professor Philip WadlerSemester 1: Lecture 19 (INF1A)
From Informatics at Edinburgh
0 likes
30 plays
0
|
|
Emma Simpson EVA Talk PreviewThis 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
27 plays
0
|
|
15.bThe second video of the Inf2d lecture on Situation Calculus.
From Claudia-Elena Chirita
0 likes
178 plays
0
|
|
15.aThe first video of the Inf2d lecture on Situation Calculus.
From Claudia-Elena Chirita
0 likes
189 plays
0
|
|
FP - Lecture 19 - Propositions as TypesThis is the last FP video lecture, on Propositions as Types.
From Claudia-Elena Chirita
0 likes
428 plays
0
|
|
CL - 5x - Supplementary on SequentsThis 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 - BarbaraGentzen'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 - SequentsWe introduce sequents, where we have finite sets of predicates on both sides of the turnstile.
From Haoran Peng
0 likes
345 plays
0
|
|
CL - Q&A - Thursday Week 4In 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
353 plays
0
|
|