Search for tag: "brackets"

CL - Lecture 4.i - Reduction 1

We use the rules to reduce a sequent to a conjunction of simpler sequents. In this example we find that the expression asserted by the sequent is a tautology — it is equivalent to the empty…

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

CL - Lecture 4.h - Sequents 3

We can now give Gentzen's rules for ¬ ⋀ ⋁.

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

Covariant Poisson bracket and r-matrix structure for an integrable hierarchy: role of Lagrangian and Hamiltonian multiforms - Vincent Caudrelier

VISS online seminar series Covariant Poisson bracket and r-matrix structure for an integrable hierarchy: role of Lagrangian and Hamiltonian multiforms Vincent Caudrelier (Leeds) 14 October 2020 An…

From  GILLIAN KERR on October 14th, 2020 0 likes 11 plays 0  

Kaltura Capture recording - October 13th 2020, 7:27:41 am

In this video I discuss transcription of verbal data using Jefferson's system of notation.

From  Sue Widdicombe on October 13th, 2020 0 likes 43 plays 0  

CL - Lecture 3h - Operator Precedence

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…

From  Haoran Peng on October 4th, 2020 0 likes 366 plays 0  

Nonabelian Hamiltonian (integrable) systems - double, lambda and Schouten brackets - Matteo Casati

VISS online seminar series Nonabelian Hamiltonian (integrable) systems - double, lambda and Schouten brackets Matteo Casati (Kent/Ningbo) 23 September 2020An automated programme is used to generate…

From  GILLIAN KERR on September 23rd, 2020 0 likes 12 plays 0  

Exploring Data

Exploring Data

From  Holly Marissa Tibble on June 4th, 2020 0 likes 134 plays 0  

Moving a drafted article into Wikipedia's live space.

Video tutorial to demonstrate how to move a drafted article into Wikipedia's live space.

From  Ewan McAndrew on May 7th, 2018 0 likes 1,091 plays 0  

How to Edit Wikipedia - unabridged version

How to Edit Wikipedia - unabridged version 2018 tutorial including how to navigate your way round a page.

From  Ewan McAndrew on May 7th, 2018 0 likes 51 plays 0  

How to edit Wikipedia using Visual Editor - Part 1: Creating Your Account & Enabling Visual Editor

This video includes: Hoe to create your Wikipedia account. How to add a 'New user' box to your userpage. How to enable the new Visual Editor interface. How to add text to your userpage.

From  Ewan McAndrew on September 15th, 2016 0 likes 13 plays 0