The second video of the Inf2d lecture on Situation Calculus.

The first video of the Inf2d lecture on Situation Calculus.

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

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…

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

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

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…

An introduction to, and outline of, the School of Mathematics course Calculus and its Applications by Course Organiser Dr Nikola Popovic.

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…

Gradient Descent Algorithm

Regularisation in our Structure

Learning the Parameters