|
The first video of the Inf2d lecture on Inference in First-Order Logic.
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
|
|
If you have been tasked with creating learning content for an online environment, this series of videos will help you write, edit, and present clear and engaging scripts that convey your teaching and…
Publisher
Media Hopper Studios Licence Type
Creative Commons - Attribution Non Commercial Share A Like Date Created
April 22nd, 2020
|
|
Part 2 of 3
Licence Type
All rights reserved The University of Edinburgh
|