Lehrveranstaltung von Prof. Dr. Sebastian Iwanowski an der FH Wedel im SS 2005:

Grundlagen der Programmierung

Termin: Mi 14:00 Uhr - 15:15 Uhr
Ort: HS 4
Übung: Di 11:00 Uhr - 12:15 Uhr HS 4 (gehalten von Alissa Kaplunova)
Studiengänge: B_Inf1, B_TInf1, B_WInf1

Die einzelnen Vorlesungen im pdf-Format:

werden jeweils am Tag vor der Vorlesung hier ins Netz gestellt.

Vorlesung 1 vom 06.04.2005
Vorlesung 2 vom 13.04.2005
Vorlesung 3 vom 20.04.2005
Vorlesung 4 vom 27.04.2005
Vorlesung 5 vom 04.05.2005
Vorlesung 6 vom 11.05.2005
Vorlesung 7 vom 25.05.2005 (Beispiele aus der Vorlesung)
Vorlesung 8 vom 08.06.2005 (Beispiele aus der Vorlesung)
Vorlesung 9 vom 15.06.2005
Vorlesung 10 vom 22.06.2005
Vorlesung 11 vom 29.06.2005
Vorlesung 12 vom 06.07.2005

Übergangsprüfung (3. Versuch für B_Inf / B_TInf) vom 27.06.2005 (7 Teilnehmer, 6 durchgefallen, Notendurchschnitt 4,9)
Klausur für die Bachelorstudiengänge (90 Minuten) vom 10.08.2005 (45 Teilnehmer, 17 durchgefallen, Notendurchschnitt 3,8)
Klausur für die Diplomstudiengänge (60 Minuten) vom 10.08.2005 (21 Teilnehmer, 9 durchgefallen, Notendurchschnitt 4,2)
Übergangsprüfung (4. Versuch für B_Inf / B_Tinf) vom 31.08.2005 (4 Teilnehmer, 0 durchgefallen, Notendurchschnitt 3,3)

Vorlesungsinhalte:

Diese Vorlesung legt das theoretische Fundament zur Vorlesung Programmieren 1 und wendet sich an die Anfänger aller Informatikstudiengänge.
Es gibt in den Inhalten Überschneidungen nicht nur zu Programmieren 1, sondern auch zur Vorlesung Diskrete Mathematik,
die aus Gründen der inhaltlichen Geschlossenheit gewünscht sind.

Die Vorlesung wurde in dieser Form erstmals im WS 2004/2005 gehalten.
Die zugehörigen Folien können hier eingesehen werden. Sie werden in großen Teilen unverändert auch in dieser Vorlesung zum Einsatz kommen.

Inhaltlich wird sich die Vorlesung in diesem Semester nur darin unterscheiden, dass einige Themen der Logik in die Vorlesung Diskrete Mathematik verlagert werden
und hier nur verkürzt dargestellt werden. Auf diese Weise können Themen am Ende des Semesters (Rekursion und Algorithmen) ausführlicher behandelt werden.

Die Vorlesung ist in folgende Kapitel gegliedert (unterschiedlicher Länge):

1. Einführung (1 Vorlesung)
2. Logik (3 Vorlesungen)
3. Programmentwicklung und -verifikation (ca. 6 Vorlesungen)
4. Algorithmen (ca. 2 Vorlesungen)

In jeder Woche werden von Alissa Kaplunova Übungsaufgaben gestellt. Diese sollen selbständig bearbeitet werden und können in der Übung in der nächsten Woche abgegeben werden.
Abgegebene Lösungen werden korrigiert. Die richtigen Lösungen werden in der Übung und in den studentischen Tutorien besprochen.

Literatur:

    Robert Baber: Fehlerfreie Programmierung für den Software-Zauberlehrling, Oldenbourg 1990, ISBN 3-486-21637-6

    Roland Backhouse: Programmkonstruktion und Verifikation, Hanser 1989 (vergriffen, Kopie ist im Asta erhältlich), ISBN 3-446-15056-0
    Englische Neuauflage: Program Construction: Calculating Implementations from Specifications, Wiley 2003, ISBN 0470848820

    Helmut Balzert: Lehrbuch Grundlagen der Informatik, Spektrum 2005 (2. Auflage), ISBN 3-8274-1410-5
    in unserer Bibliothek: Spektrum 1999 (1. Auflage), ISBN 3-8274-0358-8

    Heinz-Peter Gumm / Manfred Sommer: Einführung in die Informatik, Oldenbourg 2004 (6. Auflage), ISBN  3-486-27389-2

    Gerhard Goos: Vorlesungen über Informatik, Band1: Grundlagen und funktionales Programmieren, Springer 2000 (3. Auflage), ISBN 3-540-67270-2

    Michael Huth / Mark Ryan: Logic in Computer Science, Cambridge University Press 2004 (2. Auflage), ISBN 052154310X

    Uwe Schöning: Logik für Informatiker, Spektrum 2000 (5. Auflage), ISBN 3-8274-1005-3