Es ist eine neuere Version 2018W dieses Fachs/Moduls im Curriculum Master's programme Computer Mathematics 2018W vorhanden.
(*) Unfortunately this information is not available in english.
Workload
Mode of examination
Education level
Study areas
Responsible person
Coordinating university
6 ECTS
Course examination
M1 - Master's programme 1. year
Mathematics
Walter Zulehner
Johannes Kepler University Linz
Detailed information
Original study plan
Master's programme Computer Mathematics 2012W
Objectives
(*)In diesem Fach wird eine Einführung in die theoretischen Grundlagen der mathematischen Logik präsentiert, die in der Diskussion des Zusammenhangs zwischen der inhaltlichen "Wahrheit" einer Aussage und ihrer formalen "Beweisbarkeit" mündet; weiters werden informatische Anwendungen der Logik diskutiert. Die Studierenden sollen den formalen Unterbau logischer Aussagen und mathematischer Beweise kennenlernen und auf ihr Gebiet anwenden können.
Subject
(*)Mathematische Logik 1:
Aussagenlogik, Prädikatenlogik erster Stufe, Syntax, Semantik, Normalformen, Beweissysteme, Korrektheit und Vollständigkeit, Ausblick auf logisches Programmieren und Programmverifikation.
