mi1214_HalmschlagSchulz.jpg

Softwareentwicklung III: Logikprogrammierung

Wintersemester 2011/2012

  • Vorlesung: Freitag, 12-14 Uhr, ESA H (Wolfgang Menzel)

  • Übungen:
    • Dienstag, 8-10 Uhr, D-129 (Wolfgang Menzel)
    • Mittwoch, 10-12 Uhr, D-129 (Michael König)
    • Mittwoch, 12-14 Uhr, D-129 (Michael König)
    • Mittwoch, 14-16 Uhr, D-129 (Isabelle Streicher)

Informationen zum Praktikum Logikprogrammierung finden Sie hier.

Aktuelles

  • Eine Einsichtnahme in die Klausurbögen ist am 17.2.2012 bzw. am 21.2.2012 jeweils von 15.00 bis 16.00 Uhr in Stellingen Raum F-429 möglich. Wenn Sie einen dieser Termine wahrnehmen möchten, schicken Sie bitte eine Mail an menzel at inf
  • Wegen der Festveranstaltung zum 40jährigen Bestehen der Informatik an der Universität Hamburg fällt die Vorlesung am 18.11.2011 aus. Aufgabenblatt 5 soll ihnen dabei helfen, sich die Inhalte zur Peano-Arithmetik selbständig zu erarbeiten.
  • 25.10.2011: Die Skripte liegen ab sofort vor Raum F-411 zur Abholung bereit.
  • Die ersten Übungen finden am 25./26.10.2010 statt.

Material zur Veranstaltung

-- WolfgangMenzel -- 07 Oct 2011
 
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback