Quicklinks

O-Phase 2011

Schnupperstudium 2011

Studienfahrten

Pizza Seminar

Modellierung ist eine der Grundlagenveranstaltungen für den Bereich der Informatik.

Wie der Name schon sagt, geht es hier darum, Probleme mit Hilfe von Modellen darzustellen. Da Texte ein Problem oft unzureichend beschreiben, indem sie viele überflüssige Informationen enthalten, ist die Aufgabe der Modellierung, die wesentlichen Aspekte eines Problems zu erkennen und diese in einem Modell übersichtlich und eindeutig zusammen zu fassen.

Damit man dies schaffen kann, werden in der Vorlesung grundlegende Definitionen und Methoden vermittelt, auf die im Laufe des Studiums immer wieder zurückgegriffen wird. Daher kann ein gutes Verständnis dieser Verfahren in vielen weiteren Vorlesungen helfen, die dort gelehrten Methoden zu verstehen.

Dieses Modul stellt vielleicht die größte Herausforderung im ersten Semester dar, weshalb es ratsam ist, die Tutorien zu besuchen und die Übungszettel zu bearbeiten. Wenn man diese ohne allzu große Schwierigkeiten bearbeiten kann und sich mit alten Klausuren auf die Prüfung vorbereitet, muss man sich keine großen Sorgen über die Prüfung machen.

Schlagworte

• Petrinetz

• Kontextfreie Grammatik

• Beweistechniken

• Prädikatenlogik

• Aussagenlogik