[ 404SLOCMALV23 ] VL Mathematical Logic

Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS M1 - Master's programme 1. year Mathematics Teimuraz Kutsia 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Master's programme Computational Mathematics 2023W
Objectives Understand the principles of Mathematical Logic and its mathematical models, acquire the skills for using it in Mathematics and Computer Science
Subject The principles of Mathematical Logic and its role in human activity. Main models: propositional logic, first-order predicate logic, higher-order logic. Proof systems rewriting, resolution, sequent calculus. Practical use of Mathematical Logic in Mathematics (building theories, proving), and in Computer Science (automatic reasoning, programming, describing and proving properties of programs).
Criteria for evaluation Amount of knowledge on the basic notions and basic proofs. Ability to use the main algorithms on simple examples.
Methods Presentation and discussion of the material in the classroom, accompanying lecture notes, exercises in the classroom and homeworks.
Language English
Changing subject? No
Earlier variants They also cover the requirements of the curriculum (from - to)
404LFMTML1V20: VL Mathematical logic 1 (2020W-2023S)
On-site course
Maximum number of participants -
Assignment procedure Direct assignment