Formale Methoden 2 WS 2014/2015

 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 2014/15
 SWS  2 (1V+1Ü)
 Kreditpunkte
  • Bachelor Lehramt Informatik Gy/Ge: 3
  • Bachelor Lehramt Informatik BK: 2
 Ort und Zeit  OH 14, E02; freitags, 12:15 - 14:00 Uhr
 Querverbindungen  Vorbereitungskurs zu Grundbegriffe der Theoretischen Informatik
 Voraussetzungen
 Forum  InPUD
 Übungsleiter Gaetano Geck

 

 

  • Die Veranstaltung ist beendet.
  • Die Studienleistung ist in BOSS verzeichnet.

Inhalt

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.

Übungsblätter

Hier finden Sie fortlaufend die Übungsblätter.