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.

Vorlesungsmaterialien

Die Vorlesungsmaterialien befinden sich im Rubikon-System:

http://rubikon2.informatik.uni-ulm.de/course/81

Übungen

Die Übungsmaterialien befinden sich im Rubikon-System:

http://rubikon2.informatik.uni-ulm.de/course/81

Vorlesungsmaterialien

  • Zahlensysteme
  • <link fileadmin website_uni_ulm iui.inst.040 formale_methoden_der_informatik vorlesungsskripte fmdi-02-graphen__stand_2008-11-30_.pdf download>Graphen
  • <link fileadmin website_uni_ulm iui.inst.040 formale_methoden_der_informatik vorlesungsskripte fmdi-03-modellbildung__einschub_.pdf download>Modellbildung
  • <link fileadmin website_uni_ulm iui.inst.040 formale_methoden_der_informatik vorlesungsskripte download>Rekursion-Berechenbarkeit
  • <link fileadmin website_uni_ulm iui.inst.040 formale_methoden_der_informatik vorlesungsskripte fmdi-05-formalesprachen__stand_2009-01-22_.pdf download>Formale Sprachen
  • <link fileadmin website_uni_ulm iui.inst.040 formale_methoden_der_informatik vorlesungsskripte fmdi-06-aussagenlogik__stand_2009-02-02_.pdf download>Aussagenlogik
  • <link fileadmin website_uni_ulm iui.inst.040 formale_methoden_der_informatik vorlesungsskripte subprime.pdf download>Subprime

Dozent

Prof. Dr. Dr. F.-J. Radermacher

Assistent

Dipl.-Ing. Halit Ünver

Zeit & Ort

Mo, 8-10 Uhr, O28/H22

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

Aktuelle Infos

  • Die Ergebnisse der Klausur vom 21.02.2012 sind online. Eine Zusammenfassung der Ergebnisse finden Sie hier.
  • Formale Methoden der Informatik (WiWi) - Nachklausur: Freitag, 13.04.2012, 12-14 Uhr, H1, 3, 4/5