Google Suche
Prof. Dr. Dietrich Kuske
Fachgebietsleiter
Telefon: +49 3677 69-1444
E-Mail: dietrich.kuske@tu-ilmenau.de
Am 28.04.2022 haben Sie zwischen 14:00 und 15:30 Uhr im Raum Z2073 die Gelegenheit, Einsicht in Ihre Klausur zu nehmen. Um einen hinreichenden Infektionsschutz zu gewährleisten, bitten wir Sie, sich vorher über unsere Terminumfrage (hier klicken) anzumelden.
Vorlesungen und Übungen im Fach "Logik und Logikprogrammierung" werden im SS21 bis auf Weiteres nur online stattfinden. Wir werden für jede Vorlesung Videos und Folien (sowie gegebenenfalls zusätzliches Material) hochladen. Wir bieten einmal pro Woche (Montags um 17:00 Uhr) eine Sprechstunde an, zu der Sie Ihre Fragen und Probleme stellen können. Zu den Terminen am Donnerstag um 11:00 Uhr in Ihrem Stundenplan findet vorerst keine Sprechstunde statt.
Die Links zu den WebEx-Meetings finden Sie im zugehörigen Moodle-Kurs: Link. In diesem Kurs können Sie auch Ihre Lösungen für die Übungen zum Korrigieren abgeben.
Der Vorlesungsteil zur Logikprogrammierung beginnt am 05.07.2021. Sie finden die notwendigen Materialien für die Vorlesungen und Übungen im oben verlinkten Moodle-Kurs.
Vorlesung:
Montag, 17:00 - 18:30 Uhr, (LdV-Hs 2) Online, C. Köcher
(Donnerstag (G), 11:00 - 12:30 Uhr (26.,28.,30. KW), H-Hs, Prof. R. Knauf)
Übungen:
Montag, 13:00 - 14:30 Uhr, (Sr HU 202) Online, Ch. Hugenroth
Montag, 15:00 - 16:30 Uhr, (LdV-Hs 2) Online, Ch. Hugenroth
Dienstag, 9:00 - 10:30 Uhr, (Sr K 2002b) Online, Ch. Hugenroth