|
N/A
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
|
|
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
|
|
We continue with the simple example and its representation in Haskell.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|