Search for tag: "ponens"

Thumbnail for 13.c

13.c

duration 6 minutes 47 seconds

13.c

13.c

13.c

The third video on the first Inf2d lecture on Resolution.

inf2d
+22 More
From  Claudia-Elena Chirita 0 likes 162 plays 0  
Course Code
INFR08010
Licence Type
All rights reserved The University of Edinburgh
Language
English
Thumbnail for 12.b

12.b

duration 14 minutes 53 seconds

12.b

12.b

12.b

The second video of the Inf2d lecture on Inference in First-Order Logic.

inf2d
+5 More
From  Claudia-Elena Chirita 0 likes 187 plays 0  
Course Code
INFR08010
Licence Type
All rights reserved The University of Edinburgh
Language
English
Thumbnail for 12.a

12.a

duration 12 minutes 12 seconds

12.a

12.a

12.a

The first video of the Inf2d lecture on Inference in First-Order Logic.

inf2d
+23 More
From  Claudia-Elena Chirita 0 likes 216 plays 0  
Course Code
INFR08010
Licence Type
All rights reserved The University of Edinburgh
Language
English