Formale Grundlagen der Informatik (WiWi)

Von realen Systemen, samt aller betreffenden Einwirkungen und Auswirkungen, macht man sich formale Modelle, um diese im Computer speichern, bearbeiten, analysieren, weiter berechnen bzw. Voraussagen ermöglichen zu können. Solche Modelle können sein: (Differential-) Gleichungen, Formeln, logische Aussagen, Graphen, Automaten, Grammatiken, Algorithmen, u.a.m. Informatiker haben ein Vielzahl derartiger Modelle, Konzepte, Beschreibungsmethoden für komplexe Sachverhalte entwickelt, bzw. aus der Mathematik, Linguistik oder Elektrotechnik entlehnt. Diese Modellierungsmöglichkeiten und die dahinter stehenden "algorithmischen Denkweisen" sollen in dieser Vorlesung behandelt werden.

Im Einzelnen werden behandelt: Graphen, Grammatiken, Automaten, Berechenbarkeit, NP-Vollständigkeit, Anwendungen in der Kryptografie, formale Logik.

Übungen

Zeit & Ort

Mo, 8-10 Uhr, O28/H22

Mi, 16-18 Uhr, N25/H4/5

Aktuelle Infos

  • Ergebnisse der Klausur "Formale Methoden der Informatik (WiWi)" vom 19.02.2013 sind online.
  • Die Einsicht zur Klausur "Formale Methoden der Informatik (WiWi)" findet am 12.03.2013 von 10-12 Uhr statt im FAW/n (Lise-Meitner-Str. 9, 89081 Ulm, 3.Stock).
  • Nachklausur "Formale Methoden der Informatik (WiWi)" am 02.04.2013, 10-12 Uhr, H20+22