Veranstaltung

• 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.

Die Übungen orientieren sich an der Vorlesung Grundlagen der Informatik I.

Mehrere Übungen werden abgehandelt, welche die Themen, die in der Vorlesung Grundlagen der Informatik I behandelt werden, aufgreifen und im Detail besprechen. Dabei werden den Studierenden praktische Beispiele demonstriert um einen Wissenstransfer der gelernten theoretischen Aspekte in die praktische Umsetzung zu ermöglichen.

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).