http://www.tu-ilmenau.de

Logo TU Ilmenau


INHALTE

Logik und Logikprogrammierung

Mitteilungen

  • Die Klausureinsicht findet am Dienstag, den 09.10.2018, zwischen 10:00 und 11:30 Uhr im Raum Z1050 statt.
  • Die abgegebenen Übungsaufgaben sind allesamt korrigiert und können im Büro von Herrn Köcher (Z 1056) abgeholt werden.

Zusammenfassung der Lehrevaluation

Materialien

Vorlesungsfolien

Zur Ansicht der Vorlesungsfolien bitte oben rechts mit Uni-Login einloggen.

Übungsblätter

Termine

Vorlesungen (Prof. D. Kuske):

Montag, 17:00 - 18:30 Uhr, K-Hs 2

Donnerstag G, 11:00 - 12:30 Uhr, K-Hs 2

Übungen (C. Köcher):

Montag, 15:00 - 16:30 Uhr, Sr K2002B

Dienstag, 9:00 - 10:30 Uhr, Sr K2002B

Donnerstag, 17:00 -18:30 Uhr, Sr HU 202

Bonuspunktesystem

Die Übungsaufgaben werden wöchentlich auf die Internetseite der Lehrveranstaltung gestellt. In der Zeit zwischen der Veröffentlichung der Aufgaben und ihrer Besprechung in den Übungen erarbeiten Sie bitte eigene Lösungen. 

Auf den Übungsblättern sind in der Regel einige Übungsaufgaben pro Serie zur Bewertung gekennzeichnet. Ihre handschriftlichen Lösungen dieser Aufgaben werfen Sie bis zum Montag der folgenden Woche, 15:00 Uhr in den Briefkasten des Instituts (Zusebau, Erdgeschoss, Bereich D, gegenüber von Raum 1047) ein. Alternativ können Sie die Lösung auch vor Beginn der Übung am Montag abgeben. 

Am Ende des Semesters werden die erzielten Bonuspunkte aufsummiert und mittels eines Faktors in Klausur-Bonuspunkte umgerechnet.