Die Vorlesung bietet eine Einführung in grundlegende Konzepte der Informatik und des Software Engineerings. Wesentliche theoretische Grundlagen und Lösungsansätze, die in allen Bereichen der Informatik von Bedeutung sind, werden vorgestellt sowie anhand von Beispielen erläutert.

Folgende Themenbereiche werden abgedeckt:

• Objektorientierte Modellierung
• Logik (Aussagenlogik, Prädikatenlogik, Boolesche Algebra)
• Algorithmen und ihre Eigenschaften
• Sortier- und Suchverfahren
• Komplexitätstheorie
• Problemspezifikationen
• Dynamische Datenstrukturen

Lernziele:

Der/die Studierende

• kann Aufgabenstellungen in der Informatik formalisieren und Lösungswege aufzeigen.

• kennt die grundlegenden Begriffe aus der Informatik und besitzt die Fähigkeit diese Begriffe im Zusammenhang mit der Beschreibung von Problemen anzuwenden.

• kennt grundlegende Programmierstrukturen und kann diese anwenden (insbesondere einfache Datenstrukturen, Umgang mit Objekten und Implementierung elementarer Algorithmen).

Arbeitsaufwand:

• Gesamtaufwand bei 5 Leistungspunkten: ca. 150 Stunden
• Präsenzzeit: 45 Stunden
• Vor – und Nachbereitung der LV: 67.5 Stunden
• Prüfung und Prüfungsvorbereitung: 37.5 Stunden

• H. Balzert. Lehrbuch Grundlagen der Informatik. Spektrum Akademischer Verlag 2004.
• U. Schöning. Logik für Informatiker. Spektrum Akademischer Verlag 2000.
• T. H. Cormen, C. E. Leiserson. Introduction to Algorithms, MIT Press 2001.