http://www.tu-ilmenau.de

Logo TU Ilmenau


INHALTE

Logik und Logikprogrammierung

Mitteilungen

Sämtliche Prüfungen an der TU Ilmenau sind grundsätzlich bis zum 4.5.2020 abgesagt (siehe hier). Neue Termine werden zu gegebener Zeit bekanntgegeben.

Zusammenfassung der Lehrevaluation

Materialien

Vorlesungsfolien

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

Übungsblätter

Termine

Vorlesung:

Montag, 17:00 - 18:30 Uhr, LdV-Hs 2, Prof. D. Kuske

Donnerstag (G), 11:00 - 12:30 Uhr, K-Hs 1, Prof. D. Kuske

Übungen:

Montag, 13:00 - 14:30 Uhr, Sr HU 202, C. Köcher

Montag, 15:00 - 16:30 Uhr, Sr HU 117, C. Köcher

Dienstag, 09:00 - 10:30 Uhr, Sr K 2002B, C. Köcher

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, 13: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. Vergessen Sie bitte nicht, Ihre Matrikelnummer und Übungsgruppe auf jedem abgegebenen Blatt anzugeben sowie alle Ihre Lösungsblätter geeignet zusammenzuheften.

Die abgegebenen Lösungen werden anschließend von uns kontrolliert und werden in der Regel in der darauffolgenden Woche zurückgegeben.

Am Ende des Semesters werden die erzielten Bonuspunkte aufsummiert und mittels eines Faktors in Klausur-Bonuspunkte umgerechnet. Dabei entspricht die maximale Anzahl der erzielbaren Bonuspunkte zehn Prozent der erzielbaren Klausurpunkte im Logik-Teil der Klausur. Bei einer Klausur, in der 150 Punkte zu erreichen sind, können Sie im besten Fall also 100 Punkte im Logik-Teil plus 10 Bonuspunkte erzielen. Damit ist es möglich eine Gesamtpunktzahl von 160 Punkten in der Klausur zu erreichen.