Search for tag: "a"

dapr1 - lab test 2 instructions

Instructions for lab test 2

From  Umberto Noe on February 8th, 2021 0 likes 245 plays 0  

FDS-S2-03-1-1 principle of A/B testing

We explain the principle of A/B testing, and how to derive confidence intervals for the difference in population proportions using the bootstrap.

From  David Sterratt on January 28th, 2021 0 likes 124 plays 0  

Jean-Simon Lemay (University of Oxford): The Theory of Differential Categories

Jean-Simon Lemay (University of Oxford): The Theory of Differential Categories The theory of differential categories uses category theory to study the foundations of differentiation. Differential…

From  OLLIE Quinn on December 9th, 2020 0 likes 26 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 351 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 238 plays 0  

FP - Lecture 17 - IO and Monads

This is the first video for the FP lecture on IO and Monads.

From  Claudia-Elena Chirita on November 23rd, 2020 0 likes 308 plays 0  

FP - Lecture 18 - IO and Monads

This is the second video on the FP lecture on IO and Monads.

From  Claudia-Elena Chirita on November 23rd, 2020 0 likes 256 plays 0  

CL - 13d - Black holes and DFA

We begin with a short discussion of the history and some applications of FSM. We then introduce Deterministic Finit-state Automata (DFA), and the use of the black hole convention when presenting…

From  Haoran Peng on November 18th, 2020 0 likes 295 plays 0  

CL - 13b - regex and FSM

We introduce some simple finite state machines, and three key ideas of the theory.The first idea is that of the language recognised by a machine. Given an alphabet of symbols, a language is a set…

From  Haoran Peng on November 17th, 2020 0 likes 366 plays 0  

CL - 12b - Binary Constraints

In this video we focus on binary constraints: clauses with two literals. A 2-SAT problem is a conjunction of binary constraints. We will represent it as a partial ordering on literals.In this video…

From  Haoran Peng on November 9th, 2020 0 likes 268 plays 0  

CL - Barbara

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

From  Haoran Peng on October 21st, 2020 0 likes 276 plays 0  

CL - Review 2 - Venn Apples

Venn diagrams on a sphere.

From  Haoran Peng on October 20th, 2020 0 likes 308 plays 0  

CL - Lecture 4.f - Sequents 1

We interpret additional predicates before the turnstile. These simply express validity in a sub-universe. This means that for any sound rule the corresponding rule with additional predicates is…

From  Claudia-Elena Chirita on October 15th, 2020 0 likes 412 plays 0  

CL - Lecture 4b - Visualising Negation

What is the difference between 'a' and 'not a'? Here we visualize them on a globe instead of a plane.

From  Haoran Peng on October 11th, 2020 0 likes 440 plays 0  

Gareth Tracey: Introduction to crowns in finite groups

Gareth Tracey: Introduction to crowns in finite groups

From  OLLIE Quinn on October 9th, 2020 0 likes 16 plays 0  

CL - Lecture 3f - Presenting your justifications and counterexamples

In this video, we label each region in the Venn diagram with a number from 0 to 7. We can then present our justifications and counter-examples by referring to those 8 regions.

From  Haoran Peng on October 3rd, 2020 0 likes 466 plays 0