Veranstaltung umgezogen / Vergangene Veranstaltung

Diese Veranstaltung wird seit SS 2018 vom Lehrstuhl Formale Methoden der Informatik gehalten. Für aktuelle Termine, Folien usw. siehe dort.

Die untenstehenden Informationen beziehen sich auf die Veranstaltung aus dem SS 2017.

Dozent:
Prof. Dr. Janis Voigtländer

Übungsleitung:
Dennis Nolte

Lernziele

Die Studierenden sollen gebräuchliche mathematische Strukturen kennenlernen und in die Lage versetzt werden, mit diesen umzugehen. Dabei sollen sie selbstständig formale Definitionen basierend auf Mengen- und Funktionsnotation verwenden und mit Hilfe grundlegender algebraischer Strukturen (Gruppen, Ringe, Körper, Vektorräume) Berechnungen durchführen können. Außerdem lernen sie Methoden der Kombinatorik und Wahrscheinlichkeitstheorie kennen und werden mit den Grundlagen der Analysis vertraut. Dabei geht es weniger darum, dass die Studierenden eigene Beweise führen, sondern darum, dass sie sicher mit den entsprechenden Methoden umgehen können.

Inhalt

  • Grundlagen (Mengen, Relationen, Funktionen)
  • Algebraische Strukturen (Gruppen, Ringe, Körper, Vektorräume)
  • Kombinatorik und Wahrscheinlichkeit
  • Elemente der Analysis (Differenzierbarkeit)

Siehe (teilweise) auch die Webseite aus dem SS 2016 (mit den Folien des Vorjahres).

Literatur

  • Harald Scheid, Wolfgang Schwarz: Elemente der Arithmetik und Algebra. Spektrum 2008
  • Lutz Warlich: Grundlagen der Mathematik für Studium und Lehramt: Mengen, Funktionen, Teilbarkeit, Kombinatorik, Wahrscheinlichkeit. Books on Demand, 1. Auflage (Juli 2006)
  • Gerald Teschl, Susanne Teschl: Mathematik für Informatiker, Diskrete Mathematik und Lineare Algebra, Bd.1, Springer, 2008
  • Angelika Steger: Diskrete Strukturen 1. Kombinatorik, Graphentheorie, Algebra. Springer 2007 Martin Aigner: Diskrete Mathematik. Vieweg+Teubner, 2006

Termine

Vorlesung

Dienstag, 8:30-10:00, LB 107

Erste Vorlesung: 18.04.2017.

Übungen

  • Gruppe 1: Di, 12–14, LE 120
    (Björn Kammilla)
  • Gruppe 2: Di, 12–14, LF 035 
    (Dennis Nolte)
  • Gruppe 3: Di, 12–14, LC 140 
    (Linus Stegmann)
  • Gruppe 4: Di, 16–18, LC 026 
    (fällt weg)
  • Gruppe 5: Mi, 08–10, LF 035 
    (Malin Schneitzer)
  • Gruppe 6: Mi, 12–14, LE 105 
    (Margret Konnertz)
  • Gruppe 7: Mi, 12–14, LC 137 
    (Tamara Feldkamp)
  • Gruppe 8: Do, 08–10, LE 120 
    (Tamara Feldkamp)

Die Übungsgruppen beginnen ab dem 2.5.

Tutorium

  • Freitag, 10-12, LB 134 (Dennis Nolte)
  • Vorläufige Termine: 05.5. | 19.5. | 02.6. | 23.6. | 07.7. | 21.7. | 18.8.