FB 6 Mathematik/Informatik/Physik

Institut für Mathematik


Osnabrück University navigation and search


Main content

Top content

Kommendes Semester

Formalisierung von Wissen

6.018

Dozenten

Beschreibung

Die Vorlesung setzt kein fundiertes spezifisches Vorwissen zum Umgang mit formalen Sprachen voraus. Eine grundlegende Erfahrung im Umgang mit formaler Sprache der Mathematik (Umgang mit Variablen) und Kenntnisse aus dem Bereich der mathematischen Logik sind von Vorteil. Dieses Wissen wird in der Vorlesung reflektiert und erweitert.

Ein erster Schwerpunkt der Veranstaltung betrifft die Frage, welche theoretische Aspekte aus der mathemaischen Logik und Grundlagenforschung herangezogen werden müssen, um – ausgehend von einem in Umgangssprache formulierten und im Umgang mit Begriffen naiv verstandenen Text – letztlich zu einerseits einer formalen Sprache und ihrer Syntax und andererseits einer dazu passenden Semantik zu kommen. Dabei wird insbesondere auf induktives Definieren und Beweisen als zentrale Technik von formalen Sprachen eingegangen.

Ein zweiter Schwerpunkt betrifft die Frage, was man sich unter impliziten Definitionen von Begriffen und Funktionen durch einen axiomatischen Ansatz vorstellen soll. Dabei wird auf erarbeitete Erkenntnisse aus dem ersten Teil der Veranstaltung zurückgegriffen.

Die Vorlesungsinhalte werden im Rahmen der eigenständigen Bearbeitung von Übungszetteln in der Übung (1SWS) vertieft.

Weitere Angaben

Ort: nicht angegeben
Zeiten: Mo. 18:00 - 19:00 (wöchentlich), Di. 10:00 - 12:00 (wöchentlich), Termine am Freitag, 24.07.2020, Montag, 28.09.2020 09:00 - 11:00
Erster Termin: Montag, 20.04.2020 18:00 - 19:00
Veranstaltungsart: Vorlesung (Offizielle Lehrveranstaltungen)

Studienbereiche

  • Für die Studierenden des Master-Studiengangs Lehramt an Gymnasien > Kerncurriculum Lehrerbildung KCL Med Gy [alt] > Wahlpflichtbereich > Vertiefungsmodul > Komponente 1 (WPK 1)
  • Für die Studierenden des Master-Studiengangs Lehramt an Gymnasien > Kerncurriculum Lehrerbildung KCL Med Gy [alt] > Wahlpflichtbereich > Vertiefungsmodul > Komponente 2 (WPK 2)
  • Mathematik > Vorlesungen
  • Mathematik > 2-Fächer-Bachelor
  • Mathematik > Bachelor Mathematik
  • Mathematik > Master Lehramt an Gymnasien
  • Mathematik > Master Mathematik
  • Mathematik > Lehrangebote für andere Studiengänge