This is the video presenting the first Coursework for Inf2D, Reasoning and Agents.

First video of the Inf2d lecture on Adversarial Search.

Second video of the Inf2D lecture on Adversarial Search.

First video on Informed Search Algorithms.

This is the third video on Uninformed Search Strategies, on depth-limited and iterative deepening search.

This is the second video on Uninformed Search Strategies, where we present depth-first search.

This is the first video on Search Strategies, where we see what uninformed strategies are we present the breadth-first search algorithm.

This is the third video on Problem Solving and Search: we look at a general tree search algorithm – the first step towards searching strategies.

The University Christmas tree lights in the Old College Quadrangle have been switched on to celebrate the start of the festive period.The Principal delivered a short message for all students and…

This is the video for the FP lecture on Laziness, Higher-order, and Sorting.

This is the second video for the FP lecture on Data Types and Data Abstraction.

This is the video for the ninth FP lecture on Expression Trees as Algebraic Data Types.

We use the rules to reduce a sequent to a conjunction of simple sequents, sequents that only mentions propositional letters, with no connectives, and no repetitions — in this example, we find…

An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar. Kathryn Hess (EPFL) - Trees, barcodes, and symmetric groups …

In this video, we introduce operator precedence. An expression such as a ⋀ b ⋁ c, without parentheses, could represent either (a ⋀ b) ⋁ c or a ⋀ (b ⋁ c). To specify which we mean, we either need to…

This is part 3 of 4 of the Easter Bush Campus Tour. We apologise for the sound quality. Please note, captions are autogenerated