Inhalt

[ 404SLOCMALV23 ] VL (*)Mathematical Logic

Versionsauswahl
Es ist eine neuere Version 2024W dieser LV im Curriculum Masterstudium Artificial Intelligence 2024W vorhanden.
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
3 ECTS M1 - Master 1. Jahr Mathematik Teimuraz Kutsia 2 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Masterstudium Computational Mathematics 2023W
Ziele (*)Understand the principles of Mathematical Logic and its mathematical models, acquire the skills for using it in Mathematics and Computer Science
Lehrinhalte (*)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).
Beurteilungskriterien (*)Amount of knowledge on the basic notions and basic proofs. Ability to use the main algorithms on simple examples.
Lehrmethoden (*)Presentation and discussion of the material in the classroom, accompanying lecture notes, exercises in the classroom and homeworks.
Abhaltungssprache Englisch
Lehrinhalte wechselnd? Nein
Frühere Varianten Decken ebenfalls die Anforderungen des Curriculums ab (von - bis)
404LFMTML1V20: VL Mathematical logic 1 (2020W-2023S)
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung