Skip to main content
City of Melbourne Libraries

Filter results

Loading...

Search results

Showing 1 of 1
List view record 1: Relational Logic [efilm]List view anchor tag for record 1: Relational Logic [efilm]
Thumbnail for Relational Logic [efilm]

Relational Logic [efilm]

2017
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.
Clear current selections
items currently selected
View my active Pick list
0Items in my active Pick list