|
Writing Philosophy
Licence Type
All rights reserved
|
|
The second video on the first Inf2d lecture on…
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Third video of the Inf2d lecture on First-Order…
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
The first video of the Inf2D Reasoning and Agents…
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Third video of the Inf2D Reasoning and Agents…
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Description Pending
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We return to the example introduced in the…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We can now give Gentzen's rules for ¬ â‹€…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
What is the difference between 'a' and…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This is how Aristotle organised his propositions.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
You have already met Aristotle's universal…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This is an old recording of Lecture 2, from 2019.…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video on syllogisms, we introduce the…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Natural Language Processing Tasks
Course Code
GLHE11086 Licence Type
Creative Commons - Attribution
|