|
The third video on the first Inf2d lecture on Resolution.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Second video of the Inf2d lecture on First-Order Logic.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
The first 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
|
|
Third video of the Inf2D Reasoning and Agents lecture on Logical Agents.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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
|
|
The second 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
|
|
A demo on how to create symbols in Cadence Virtuoso, along with some tips on using the schematic editor
Licence Type
Creative Commons - Attribution Language
English Date Created
January 13th, 2021
|
|
Our third definition: we say a language is DFA-regular if it is the language recognised by some DFA.We show that the complement of a DFA-regular language is DFA-regular.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We begin with a short discussion of the history and some applications of FSM. We then introduce Deterministic Finit-state Automata (DFA), and the use of the black hole convention when presenting…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video we present the formalisation of the accepts function in Haskell.In this video we use lists to represent the sets used in the mathematical definition. In the code for tutorials we use…
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
|
|
This video considers a wider class of nonstationary processes that share
some similarities with wide-sense periodic processes. Such
nonstationary processes occur in systems where, for example,…
Course Code
PGEE11164 Licence Type
All rights reserved Date Created
November 11th, 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
|
|
You have already met Aristotle's universal propositions, universal assertion, "every a is b", and universal denial, "no a is b". The negations of these are his particular…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video, we introduce binary data as a simple example
of information, and show how apparently more-complex examples can be
encoded as binary data.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|