
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 counterexample 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


MATH07003 Fundamentals of Algebra and Calculus 20 credits, Semester 1 Lecturer: Dr George Kinnear An introductory course in University Mathematics covering topics not covered in the previous…
Course Code
MATH07003 Licence Type
All rights reserved The University of Edinburgh


Gradient Descent Algorithm
Licence Type
Creative Commons  Attribution


Regularisation in our Structure
Licence Type
Creative Commons  Attribution


Learning the Parameters
Licence Type
Creative Commons  Attribution
