Veranstaltungsnummer 043043
Titel Formale Methoden 2
Veranstalter MSc. Gaetano Geck
Klassifikation
  • Pflichtveranstaltung im Bachelor Lehramt Informatik Gy/Ge
  • Pflichtveranstaltung im Bachelor Lehramt Informatik BK
Semester Wintersemester 2015/16
SWS 2 (1V+1Ü)
Kreditpunkte
  • Bachelor Lehramt Informatik Gy/Ge: 3
  • Bachelor Lehramt Informatik BK: 2
Ort und Zeit OH 12, Raum 3.013; freitags, 12:15 - 14:00 Uhr
Querverbindungen Vorbereitungskurs zu Grundbegriffe der Theoretischen Informatik
Voraussetzungen  
Forum  
Übungsleiter Gaetano Geck

 

 

Die Veranstaltung Formale Methoden 2 vermittelt die zum Verständnis der Vorlesung GTI benötigten mathematischen Grundlagen sowie den Umgang mit mathematischer Notation.

Speziell werden Grundlagen der folgenden Themenbereiche behandelt:

  • Mengenlehre
    • Mengen
    • Relationen
    • Abbildungen
    • Algebraische Strukturen
    • Ordnungen und spezielle Relationen
  • Graphentheorie
    • Grundbegriffe
    • Typische Probleme der Komplexitätstheorie
  • Logik
    • Aussagenlogik
    • Prädikatenlogik
  • Definitions- und Beweistechniken
  • Wahrscheinlichkeitstheorie
  • Kodierung

Vorlesungsfolien

Hier finden Sie fortlaufend die aktuellen Vorlesungsfolien.

Logbuch

Hier finden Sie Informationen zum Verlauf der Vorlesung.

Hier finden Sie fortlaufend die Übungsblätter.