Formal Methods I
Practical information
Tuesdays, from 2pm to 4pm, and every other Friday, from 12pm to 2pm
Office hours by appointment, in room 234, Ludwigstrasse 31, second floor
Method of evaluation: exercises every two weeks
There are modifications in the assignments for lectures 7 and 8! The latter is significative.
Lecture Notes
- Introduction and Classical Propositional Logic: Language and Proof-theory
- Normal Modal Logic: Language and Proof theory
- First-Order Classical Predicate Logic: Language and Proof-Theory
- Definitions (Explicit)
- Basic Set Theory
- Classical Propositional Logic: Semantics and Metatheoretic Results
- Normal Modal Logic: Semantics and Metatheoretic Results
- First-Order Classical Predicate Logic: Semantics and Metatheoretic Results
Plan of the course
Introduction
Propositional Logic
Language
Syntactic Concepts and Methods
Modal Propositional Logic
Language
Syntactic Concepts and Methods
Predicate Logic
Language
Syntactic Concepts and Methods
Definitions (explicit)
Basic Set Theory
Propositional Logic
Semantic Concepts and Methods
Soundness, Completeness
Modal Propositional Logic
Semantic Concepts and Methods
Soundness, Completeness
Predicate Logic
Semantic Concepts and Methods
Soundness, Completeness, Compactness
Bibliography
- Halbach, V. (2010) The Logic Manual, Oxford University Press.
- Priest, G. (2008) An Introduction to Non-Classical Logic. From If to is, Cambridge University Press, second edition.
- Mendelson, E. (1997) Introduction to Mathematical Logic, CRC Press, fourth edition.
- Enderton, H. B. (2015) A Mathematical Introduction to Logic, Elsevier, second edition.
- Bell, J. & Machover, M. (1997) A Course in Mathematical Logic, North-Holland, fourth edition.
- Suppes, P. (1957) Introduction to Logic, Van Nostrand.
- Boolos, G. & Burgess, J. & Jeffrey, R. (2007) Computability and Logic, CUP, fifth edition.
- Hunter, G. (1973) Metalogic. An Introduction to the Metatheory of Standard First Order Logic, University of California Press.
- Suppes, P. (1960) Axiomatic Set Theory, Dover Books on Mathematics.
- Jech, T. (2003) Set Theory. The Third Millenium Edition, Springer.