Allgemeiner Kurskatalog WiSe 2012/13 - Fakultät für Maschinenbau ...

Stand: 24.10.2012
Formale Methoden der Informationstechnik
Formal Methods in Information Technology
Dozent: Barke E-Mail:
Artur.Quiring@ims.uni~
Ziel des Kurses:
Ziel der Vorlesung ist es, einen detaillierten Überblick über grundlegende mathematische Methoden zu
geben, die in der modernen Informationstechnik verwendet werden. Einen speziellen Schwerpunkt
bilden dabei kombinatorische Optimierungsmethoden, die bei der Entwicklung von Hard- und
Softwaresystemen, so z.B. beim Entwurf mikroelektronischer Schaltungen, von besonderer Bedeutung
sind.
Inhalt:
- Einfache kombinatorische Probleme,
- Aussagenlogik,
- Laufzeitkomplexität von Algorithmen,
- Grundzüge der Graphentheorie,
- Bäume sowie kombinatorische Optimierung (Problemklassen, Lösungsverfahren, lineare und
quadratische Optimierung).
Empfohlene Vorkenntnisse:
---
Voraussetzungen:
---
Literaturempfehlung:
---
Besonderheiten:
---
Präsenzstudienzeit: 32h
Selbststudienzeit: 88h
Empfohlen ab dem: 1. Semester
Art der Prüfung: schriftlich
V2/Ü1
ECTS-LP (alt LP): 4 SS
Institut für Mikroelektronische Systeme, FG Entwurfsautomat
Seite 99