|
CIO update video 12 August 2022
Licence Type
All rights reserved The University of Edinburgh Date Created
August 12th, 2022
|
|
This is the first video of the Inf2D lecture on Smart Searching using Constraints.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This is the second video of the Inf2D lecture on Smart Searching using Constraints.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Second 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
|
|
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
|
|
The following videos introduce sequents, a far-reaching
generalisation of the idea underlying Aristotle's propositions. We have
already discussed the introduction of multiple antecedents…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|