Formal Methods for Software Development
TDA294/DIT271, LP1, HT2017
Lecture Notes: First-Order Logic
In this lecture we
finished the theory of LTL model checking
introduced first-order logic (FOL) and
started presenting a sequent calculus for FOL to prove validity of formulas
Slides (full version)
Slides (paper saving version)
Examples
Home
|
Course
|
Schedule
|
Exam
|
Exercises
|
Labs
|
Eval
|
Tools
W. Ahrendt
, Sep 28, 2017