Search for tag: "first-order logic"

Thumbnail for 12.c

12.c

duration 9 minutes 47 seconds

12.c

12.c

12.c

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

inf2d
+25 More
From  Claudia-Elena Chirita 0 likes 183 plays 0  
Course Code
INFR08010
Licence Type
All rights reserved The University of Edinburgh
Language
English
Thumbnail for 10.c

10.c

duration 16 minutes 20 seconds

10.c

10.c

10.c

Third video of the Inf2d lecture on First-Order Logic.

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

10.b

duration 36 minutes 11 seconds

10.b

10.b

10.b

Second video of the Inf2d lecture on First-Order Logic.

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

10.a

duration 18 minutes 54 seconds

10.a

10.a

10.a

First video of the Inf2d lecture on First-Order Logic.

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