Search for tag: "unsound"

Thumbnail for CL - Lecture 3e - Constructing a Counterexample

CL - Lecture 3e - Constructing a Counterexample

duration 3 minutes 44 seconds

CL - Lecture 3e - Constructing a Counterexample

CL - Lecture 3e - Constructing a Counterexample

CL - Lecture 3e - Constructing a Counterexample

In the last video, we showed a rule is sound…

inf1a
+26 More
From  Haoran Peng 0 likes 508 plays 0  
Course Code
INFR08025
Licence Type
All rights reserved The University of Edinburgh
Language
English