Search for tag: "elements"

FP - Lecture 15 - Combinatorics

This is the first video for the FP lectures on Combinatorics.

From  Claudia-Elena Chirita on November 16th, 2020 0 likes 364 plays 0  

CL - 12a - Order

This video looks at the ordering of predicates. We first met thsis as the satisfaction ordering a ⊨ b.We look at the ordering of the 16 possible boolean functions of two variables. We can also view…

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

FP - Lecture 13 - Laziness, Higher-order, and Sorting

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

From  Claudia-Elena Chirita on November 8th, 2020 0 likes 459 plays 0  

FP - Lecture 12 - Data Types and Data Abstraction (continued)

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

From  Claudia-Elena Chirita on November 1st, 2020 0 likes 430 plays 0  

CL - 5x - Supplementary on Sequents

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…

From  Haoran Peng on October 30th, 2020 0 likes 10 plays 0  

DAPR1 (20-21): 6.1

DAPR1 Lect 6, part 1

From  Leonidas Doumas on October 30th, 2020 0 likes 354 plays 0  

Orthogonal Polynomials and Random Matrices - Walter Van Assche

VISS online seminar series Orthogonal Polynomials and Random Matrices Walter Van Assche (KU Leuven) 28 October 2020 An automated programme is used to generate the subtitles on this talk. You can…

From  GILLIAN KERR on October 28th, 2020 0 likes 23 plays 0  

CL - 6g - CNF II

This video shows how to use a Karnaugh map to represent an arbitrary Boolean function of four variables as a conjunctive normal form (CNF) — a conjunction of disjunctions of literals.

From  Haoran Peng on October 24th, 2020 0 likes 378 plays 0  

Lecture 6 part 3B Kaltura Capture recording - October 23rd 2020, 8:22:29 pm

lecture 6 part 3B

From  Pauline Phemister on October 23rd, 2020 0 likes 9 plays 0  

South East Mathematical Physics Seminars: Theodoros Kouloukas (Lecture 3)

South East Mathematical Physics Seminars: Theodoros Kouloukas (Lecture 3)

From  Liam Holligan on October 20th, 2020 0 likes 14 plays 0  

T2_1_Unit_Testing

This lecture covers Unit Testing and provides several examples of using the xUnit framework. In particular we look at an API of a bounded queue data structure.

From  Evgenij Belikov on October 11th, 2020 0 likes 57 plays 0  

Bart Vlaar: Introduction to quantum groups

Bart Vlaar: Introduction to quantum groups

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

LAGOON: Leicester Algebra and Geometry Open ONline -Karin Baur (Leeds, UK and Graz, Austria)

An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar. Karin Baur (Leeds, UK and Graz, Austria) Structure of…

From  Liam Holligan on October 9th, 2020 0 likes 30 plays 0  

IMA, LMS Joint Meeting: Topological methods in Data Science (1-2 October 2020)

An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar. Gueorgui Mihaylov (GSK & King's College London) - A…

From  Liam Holligan on October 9th, 2020 0 likes 21 plays 0  

Bart Vlaar: Introduction to quantum groups

LMS Autumn Algebra School - Bart Vlaar: Introduction to quantum groups

From  OLLIE Quinn on October 7th, 2020 0 likes 21 plays 0  

Locally analytic representations of p-adic groups - Andreas Bode

LMS Autumn Algebra school Locally analytic representations of p-adic groups Andreas Bode 6 October 2020 An automated programme is used to generate the subtitles on this talk. You can remove the…

From  GILLIAN KERR on October 6th, 2020 0 likes 13 plays 0