Allgemeines

Die Übung findet im Wechsel mit der Vorlesung Do 17:00 - 18:15 im HS 6 statt. Die Übungstermine sind: 20.10., 03.11., 17.11., 08.12. (geändert!), 22.12., 12.01.

Newsgroup: fhw.gdt (News-Server: news.fh-wedel.de)
Diese Newsgroup wird nicht als Verteiler von Informationen des Dozenten verwendet. Sie dient dem Austausch der Studierenden untereinander. 

 

Tutorien

Die Tutorien und Termine stehen unten. Die rot markierten Termine standen bisher noch nicht endgültig fest bzw. waren anders festgelegt, wurden aber nach Absprache in der Vorlesung und mit den Tutoren inzwischen auf die unten angegebenen Termine festgelegt. Hierbei spielt auch eine Rolle, dass der Übungstermin vom 01.12. auf den 08.12. verschoben ist, sodass sich die Tutorien zur 4. Übung alle um eine Woche verschieben.

Der Abschlusstermin findet zum Ende der Vorlesungszeit statt und wird noch bekannt gegeben.

Die Tutorien starten ab dem 24.10. Sie finden zweiwöchentlich statt. Die Tutoren sind unter ihrer FH-e-mail-Adresse erreichbar, die sich aus der Matrikelnummer ergibt.

Termine

Raum

Abschlusstermin

Lennart Steffin (winf1026) Mo 1, 12:30 Uhr:
24.10., 07.11., 21.11., 12.12., 02.01.

Lennart Steffin (winf1026) Mo 2, 12:30 Uhr:
31.10., 14.11., 28.11., 19.12., 09.01.

Timo Jacobs (winf9122) Mi 1, 12:30 Uhr:
26.10., 09.11., 23.11.14.12., 04.01.

Timo Jacobs (winf9122) Mi 2, 12:30 Uhr:
02.11., 16.11., 30.11., 21.12., 11.01.

Tobias Krebber (winf9255) Do 1, 12:30 Uhr:
27.10., 10.11., 24.11., 15.12., 05.01.

Tobias Krebber (winf9255) Do 2, 12:30 Uhr:
03.11., 17.11, 01.12., 22.12., 12.01.

SR8

SR8

HS4

HS4

SR8

SR8

19.01., 12:30 Uhr, SR 8

19.01., 12:30 Uhr, SR 8

19.01., 12:30 Uhr, HS 4

19.01., 12:30 Uhr, HS 4

19.01., 12:30 Uhr, HS 5

19.01., 12:30 Uhr, HS 5

 

 

 

Übungszettel

Nr

Themen

Download   
ab

Abgabe/ 
Besprechung

Anmerkungen

01Aussagenlogik (pdfdoc)Mi, 13.10.11Do, 20.10.11Lösung von Timo Jacobs
02Prädikatenlogik (pdfdoc)Mi, 26.10.11Do, 03.11.11
03Prädikatenlogik, Hoare-Tripel,
einfache Zuweisungen (pdf, doc)
Di, 08.11.11Do, 17.11.11Teil-Lösung für Aufgabe 1
04

Verifikation von Zuweisungen und Verzweigungen (pdfdoc)

Di, 22.11.11Do, 08.12.11
05Verifikation von Schleifen (pdfdoc)Mi, 07.12.11Do, 22.12.11

06Verifikation von rekursiven Prozeduren (pdfdoc)Mo, 19.12.11Do, 12.01.12