Lab for Automated Reasoning and Analysis LARA

Sets and Relations

Sets and Relations - useful preparation for program semantics

First-Order Logic

First-Order Logic, also called predicate logic or predicate calculus, extends propositional Logic with functions, relations, and quantification over individuals.



sav10/exercises_02.txt · Last modified: 2010/03/01 13:52 by piskac
© EPFL 2018 - Legal notice