LFU:online

Introduction to logical deduction, syllogisms and traditional logic; modern propositional logic: truth-tables and formal proof procedures, non-classical variants of logic; formalization of natural language sentnences and basic steps into predicate logic.

The lecture will be held by distant teaching. Slides and lecture notes will be supplemented by screencast and video units.

Written end-term examination.

Winfried Löffler; Einführung in die Logik; Stuttgart, Kohlhammer, 2008 - Wesley Salmon: Logik; Stuttgart, Reclam, 1983 - Peter J. Cameron: Logic, Sets and Categories; New York, Berlin, Springer Verlag, 1999 - Peter Smith: An Introduction to Formal Logic, Cambridge University Pressm, 2003 - Ian Chiswell/Wilfrid Hodges: Mathematical Logic; Oxford University Press, 2007.

None.

The course will be exclusively held by online and distant teaching.  No previous knowledge in formal methods required. The exercises might require some investment in time. Details on distant teaching will be given at the beginning of the semester.