Es ist eine neuere Version 2018W dieses Fachs/Moduls im Curriculum Master's programme Mathematics for Natural Sciences (discontinuing) 2022W vorhanden.
(*) Unfortunately this information is not available in english.
Workload
Mode of examination
Education level
Study areas
Responsible person
Coordinating university
0-3 ECTS
Course examination
M2 - Master's programme 2. year
Mathematics
Walter Zulehner
Johannes Kepler University Linz
Detailed information
Original study plan
Master's programme Mathematics for Natural Sciences 2012W
Objectives
(*)In diesem Fach werden einerseits die theoretischen Grundlagen der mathematischen Logik behandelt, die in der Diskussion des Zusammenhangs zwischen der inhaltlichen "Wahrheit" einer Aussage und ihrer formalen "Beweisbarkeit" mündet; darauf aufbauend werden grundsätzliche Fragen der Aussagekraft und der Einschränkungen formaler Logik behandelt. Andererseits wird in diesem Fach der fundamentale Zusammenhang zwischen der Mathematik/Logik und der Informatik herausgearbeitet. Insbesondere werden die theoretischen Grundlagen der Informatik, die wissenschaftliche Behandlung von Programmen, und alternative (auf mathematischen Prinzipien aufbauende) Programmiermodelle präsentiert. Die Studierenden lernen damit, die wichtige Verbindung zwischen Mathematik und Informatik herzustellen, insbesondere informatische Konzepte formal zu behandeln.
Subject
(*)Seminar Logik und Softwaredesign:
Spezielle Themen und aktuelle wissenschaftliche Arbeiten aus dem Fach Logik und Softwaredesign.
