Search for tag: "rule"

9B Arab Spring part 1

9B Arab Spring part 1

From  Anthony Gorman on March 16th, 2021 0 likes 108 plays 0  

8B Iranian Revolution part 2

8B Iranian Revolution part 2

From  Anthony Gorman on March 9th, 2021 0 likes 108 plays 0  

UK-APASI in Mathematical Sciences: William Waites (Lecture 3)

Subtitles will be added soon. Monday 22 February 2021 UK-APASI in Mathematical Sciences William Waites - Coupling within-host and population dynamics of epidemics with stochastic graph rewriting

From  Liam Holligan on February 22nd, 2021 0 likes 7 plays 0  

13.c

The third video on the first Inf2d lecture on Resolution.

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 135 plays 0  

13.a

The first video on the first Inf2d lecture on Resolution.

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 188 plays 0  

12.c

The third video of the Inf2d lecture on Inference in First-Order Logic.

From  Claudia-Elena Chirita on February 3rd, 2021 0 likes 148 plays 0  

12.a

The first video of the Inf2d lecture on Inference in First-Order Logic.

From  Claudia-Elena Chirita on February 3rd, 2021 0 likes 178 plays 0  

Waves in Complex Continua (Wavinar) - Andrew Gibbs, (University College London)

Subtitles are automatically added, we are editing these to ensure they are correct. Tuesday 2 February 2021 Andrew Gibbs, (University College London) - Numerical Modelling of Scattering by Fractals

From  Liam Holligan on February 2nd, 2021 0 likes 21 plays 0  

Powerpoint 2016 - adding a talking head video

In Powerpoint 2016, you can't easily record video directly into the application. This is a quick guide on how to add a talking head video into your powerpoint if you then want to export it as an…

From  David Pammenter on January 14th, 2021 0 likes 16 plays 0  

REF2020: Anurag Tripathi- Multiparton webs beyond three loops

REF2020: Anurag Tripathi- Multiparton webs beyond three loops

From  Lyndsey Ballantyne on December 11th, 2020 0 likes 20 plays 0  

CL - 20 - syllogisms arrowrule

N/A

From  Haoran Peng on November 30th, 2020 0 likes 139 plays 0  

CL - 18 - rules

This is a raw video from 2019. I've not yet had time to edit it into chunks. If you have any questions, or find any errors, please let me know on Piazza.This lecture introduces a very important…

From  Haoran Peng on November 30th, 2020 0 likes 204 plays 0  

FP - Lecture 19 - Propositions as Types

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

From  Claudia-Elena Chirita on November 29th, 2020 0 likes 356 plays 0  

CL - 15d - Using ε-transitions

We present a first example of the use of ε-transitions to concstruct new mahines, and pose a problem to be answered in the following video.

From  Haoran Peng on November 23rd, 2020 0 likes 239 plays 0