Softwareentwicklung III: Logikprogrammierung

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

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

• Literatur
• Skript zur Vorlesung
• Übungsaufgaben
• Bildergalerie
• Chatbots
• Informationen zur Klausur

• werbung.pdf: