|
We look at the representation of DFA in Haskell (using lists to represent the sets of the formal definition).In this video the code isDFA is defining what counts as a DFA when we use the black-hole…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This video introduces the notion of a machine.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video we formalise the definition of an FSM, describe how a machine and its behaviour may be represented in Haskell.In this video we use lists to represent the sets used in the mathematical…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video we look at another example, then consider graphs with a cycle of implications. If we have cycles of implications, then all nodes in the cycle must take the same truth value.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video we look at more complicated patterns of implications, and introduce a method for counting the satisfying valuations.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video we look at the next simplest example, chains of implications between atoms. We introduce the arrow rule.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar. LMS Autumn Algebra School Raquel Coelho Guardado Simoes:…
Licence Type
All rights reserved Language
English Date Created
September 24th, 2020
|
|
How to enrol onto the Fundamentals of Music Theory Diagnostic Learn Course
Publisher
Eli Appleby-Donald Licence Type
All rights reserved
|
|
How to change the priority on a case.
Licence Type
All rights reserved The University of Edinburgh
|
|
Video content for Introduction to Design by Maria Stoian, Teaching Fellow in Design as part of the Open Studies Arts Hub,an online learning resource , Centre for Open Learning.
Publisher
The Centre for Open Learning Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
June 5th, 2020
|
|
RStudio Projects
Course Code
GLHE11086 Licence Type
Creative Commons - Attribution Language
English Date Created
June 4th, 2020
|
|
How to add your feedback and score to an assignment submission in learn.
Publisher
Eli Appleby-Donald Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
February 19th, 2018
|
|
Presenter: Thomas Arrow (tom@contentmine.org) Recorded by Chaos Computer Club at the Tagesspiegel, Berlin for WikidataCon 2017 on Saturday 28 October 2017. Original source:…
Publisher
Chaos Computer Club Licence Type
Creative Commons - Attribution Share A Like Language
English Date Created
October 28th, 2017
|
|
WikiFactMine (Thomas Arrow) Slides: https://commons.wikimedia.org/wiki/File:Wikifactmine-wikicite-2017.pdf A project funded by the WMF as a project grant.Linking up the ContentMine pipeline with…
Publisher
Andrew Lih Licence Type
Creative Commons - Attribution Language
English Date Created
May 23rd, 2017
|