Prof. Dr. Peter Thiemann
Mitwirkung: Jochen Walter
Zeit und Ort: Di 11-13, Do 11-13, Hörsaal 006, Gebäude 82,
Universitätsgelände Flugplatz
Diese Vorlesung ist neben der Technischen Informatik 1 die erste Informatik-Lehrveranstaltung, die Studentinnen/Studenten im Diplomstudiengang Informatik hören. (Für Studentinnen/Studenten anderer Studiengänge mit Neben- oder Wahlfach Informatik gibt es die Vorlesung Informatik für Nebenfächler von Prof. Burgard.)
Die Vorlesung gibt eine Einführung in die Grundlagen der Informatik. Sie ist aufgeteilt in zwei parallel ablaufende Teile, Konstruktion und Bedeutung. Unter "Konstruktion" werden die Grundbegriffe der Programmierung erläutert. Anhand der funktionalen Sprache Scheme wird zunächst die datengetriebene Programmierung studiert. Danach folgen die Techniken der prozeduralen Abstraktion sowie der Datenabstraktion. Den Abschluß bilden imperative und objekt-orientierte Programmiertechniken. Letztere werden anhand der Sprache Java konkretisiert.
Unter dem Titel "Bedeutung" werden formale Grundlagen der Informatik vorgestellt, soweit sie für die Programmierung, für die Beschreibung von Programmiersprachen sowie für die Spezifikation von Programmen erforderlich sind. Hierzu zählen Grundbegriffe der Logik, der Mengenlehre und der abstrakten Algebra.
Die Vorlesung wird durch praktische Übungen am Rechner und durch Tutorien begleitet, in denen Übungsaufgaben besprochen werden.
Die Scheine (auch für die Teilnehmer der Nachholklausur) können nach Terminabsprache per e-mail bei Jochen Walter abgeholt werden. Das betrifft nur diejenigen, die nach der alten Prüfungsordnung studieren. Alle anderen, also insbesondere alle Erstsemester, sind davon nicht betroffen!