|
Video by Dr Zsuzsanna Vegh for Ancient Egyptian Hieroglyphs Introduction: Week 2
Course Code
PGHC11506 Publisher
The University of Edinburgh Licence Type
All rights reserved The University of Edinburgh
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video we introduce the interpretation of statements such as, "Mary loves Everybody". We use sections in Haskell to help us do this.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We can now give Gentzen's rules for ¬ ⋀ ⋁.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Licence Type
All rights reserved Language
english Date Created
October 14th, 2020
|
|
In this video I discuss transcription of verbal data using Jefferson's system of notation.
Course Code
PSYL11072 Publisher
Sue Widdicombe Licence Type
Creative Commons - Attribution Language
English Date Created
October 13th, 2020
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Licence Type
All rights reserved Language
english Date Created
September 23rd, 2020
|
|
Exploring Data
Course Code
GLHE11086 Licence Type
Creative Commons - Attribution Language
English Date Created
June 4th, 2020
|
|
Video tutorial to demonstrate how to move a drafted article into Wikipedia's live space.
Publisher
Ewan McAndrew - Wikimedian in Residence Licence Type
Creative Commons - Attribution Language
English Date Created
May 7th, 2018
|
|
How to Edit Wikipedia - unabridged version 2018 tutorial including how to navigate your way round a page.
Publisher
Ewan McAndrew - Wikimedian in Residence Licence Type
Creative Commons - Attribution Language
English Date Created
May 7th, 2018
|
|
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.
Publisher
Ewan McAndrew - Wikimedian in Residence Licence Type
Creative Commons - Attribution Language
English Date Created
September 15th, 2016
|