|
Accepting late tests in Learn
Publisher
Bill Farquharson Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
April 14th, 2021
|
|
|
|
Instructions for lab tests
Licence Type
All rights reserved The University of Edinburgh
|
|
The third video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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
|