|
lecture 8 part 2
Course Code
PHIL10064 Licence Type
Creative Commons - Attribution Date Created
March 6th, 2021
|
|
The first video of the Inf2d lecture on Situation…
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This video introduces the idea that expressions…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video we give an example showing how…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video we link the language of forms to…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video we return to the idea of a formal…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video we introduce the interpretation of…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We begin by revisiting the idea of a universal…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
lecture 6 part 2
Course Code
PHIL10086 Licence Type
Creative Commons - Attribution Date Created
October 21st, 2020
|
|
We introduce sequents, where we have finite sets…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We show the intuition of contraposition using…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In week 4 we introduced Gentzen's…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Last CL video for week 4.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video, we try to arrive at the…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video, we try to arrive at the…
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
|