Search for tag: "delta"

Mats Vermeeren, (University of Leeds): Discrete integrable systems

LMS Introduction to Integrability Lecture SeriesThis is a lecture course of 5 lectures which gives samples of main types of integrable systems together with techniques for dealing with them.…

From  OLLIE Quinn on November 20th, 2020 0 likes 3 plays 0  

LMS Introduction to Integrability Lecture Series - Bart Vlaar : Coordinate Bethe Ansatz.

LMS Introduction to Integrability Lecture Series Thursday 5 November 3:30pm (GMT)Speaker: Bart Vlaar, (Heriot Watt University)Title:Coordinate Bethe Ansatz.

From  OLLIE Quinn on November 6th, 2020 0 likes 7 plays 0  

CL - 9a - Recap

This video is a brief recap of most of the logic we have covered so far. You may find it useful, to jog your memory and check your understanding.

From  Haoran Peng on November 2nd, 2020 0 likes 342 plays 0  

CL - 8e - DPLL I

This video introduces the key idea behind the DLPP algorithm. If we decide to make some literal true, we may reduce the problem to a simpler problem. We will build our DPLL algorithm by using this…

From  Haoran Peng on November 2nd, 2020 0 likes 304 plays 0  

CL - 7h - Some Haskell remarks

In this video we give an example showing how Haskell's types can help us to avoid confusions.We then discuss the types of the Boolean operations lifted to predicates, and show how…

From  Haoran Peng on November 1st, 2020 0 likes 234 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  

DAPR2 (20-21): 10.2

From  Josiah King on October 27th, 2020 0 likes 81 plays 0  

Lecture 20 - Cost Optimal HX Network II

Lecture 20 - Cost Optimal HX Network II

From  Mennatallah Mohamed Awny Ali Labib on October 26th, 2020 0 likes 52 plays 0  

Approximating real numbers by fractions - James Maynard

Edinburgh Mathematical Society talk Approximating real numbers by fractions James Maynard (University of Oxford) 23 October 2020 An automated programme is used to generate the subtitles on this talk.…

From  GILLIAN KERR on October 26th, 2020 0 likes 18 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 272 plays 0  

CL - Implication

We derive the implication rule using the rules introduced last week.

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

CL - Sequents

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

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

CL - Q&A - Thursday Week 4

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…

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

Waves in One World - Bard Ermentrout

14/10/20Bard Ermentrout - Nonlocal Phase Waves There is increasing evidence that much of the rhythmic activity seen in the brain is not synchronous, but rather organized into various types of waves…

From  OLLIE Quinn on October 19th, 2020 0 likes 12 plays 0  

Lecture 17 - Revision of HX Equipment

Lecture 17 - Revision of HX Equipment

From  Mennatallah Mohamed Awny Ali Labib on October 18th, 2020 0 likes 47 plays 0  

Lecture 16 - Grand Composite Curve

Lecture 16 - Grand Composite Curve

From  Mennatallah Mohamed Awny Ali Labib on October 18th, 2020 0 likes 42 plays 0