Relational Logic
Streaming video - 2016
Hone your skill with first-order predicate logic by expanding into relations. An example: "If I am taller than my son and my son is taller than my wife, then I am taller than my wife."This relation is obvious, but the techniques you learn allow you to prove subtler cases.
Saved in:
- Subjects
- Genres
- Educational films
- Published
-
[San Francisco, California, USA] :
The Great Courses
2016.
2017. - Language
- English
- Online Access
- A Kanopy streaming video
Cover Image - Item Description
- Title from title frames.
In Process Record.
Film - Physical Description
- 1 online resource (streaming video file) (32 minutes): digital, .flv file, sound
- Playing Time
- 00:31:22
- Format
- Mode of access: World Wide Web.
- Access
- AVAILABLE FOR USE ONLY BY IOWA CITY AND RESIDENTS OF THE CONTRACTING GOVERNMENTS OF JOHNSON COUNTY, UNIVERSITY HEIGHTS, HILLS, AND LONE TREE (IA).