| Zeit/Ort: | Mi 10 - 12, HS 00-026, Geb. 101, Georges-Köhler-Allee |
| Dozentin: | Prof. Dr. Heike Mildenberger |
| Sprechstunde Dozentin: | n. V. |
| Mitwirkung bei den Übungen | M.Sc. Christian Bräuninger, ch.braeuninger at gmx net |
| Sprechstunde Assistent: | n. V. |
Die verbindlichen Anforderungen für die Studienleistung finden Sie im Modulhandbuch. Wir erwarten dafür von Ihnen (hier zur Info ohne Gewähr):
Diese Klausureinsicht findet am Montag, dem 27.2.2023, von 10:30 bis 11:30 Uhr im SR 125 in der Ernst-Zermelo-Str. 1 statt. Sie können Ihre Note auch per E-Mail erfragen. Erst nach dem Einsichtstermin werden wir die Noten ins HISinOne eintragen.
Vom Ilias-Start aus findet man die den Ilias-Kurs Vorlesung: Logik für Studierende der Informatik im Pfad:
Magazin > Lehrveranstaltungen aus HISinOne > Wintersemester 2022/23 > Technische Fakultaet > Logik für Studierende der Informatik - Vorlesung
Skript in der jeweils aktuellen Fassung aktuell 16.02.2023 datiert,
falls Sie Fehler finden, melden Sie sich bitte. Als englischsprachige Literatur empfehlen wir Dirk van Dalen, Logic and Structure und Herbert Enderton, A Mathematical Introduction to Logic. Ein fortgeschrittenes Buch ist Robert Soare, Turing Computability Theory and Applications. Das erste und das dritte Buch gibt es als Datei aus der UB. Als Papierbuch, das es in etlichen Exemplaren in der Bibliothek der TF gibt, empfehlen wir Michael Sipser, Introduction to the theory of computation. Die Beispiele der Turingmaschinen aus dem Skript sind hieraus.Anmeldung zur Vorlesung in HISinOne. Genaue Angaben zu den acht Gruppen findet man im HISinOne und im Ilias. Es gibt eine englischsprachige Gruppe.
Die Übungsblätter werden wöchentlich am Mittwoch auf dieser Seite veröffentlicht. Die Teilnehmer(innen) geben ihre Lösungen bis zum darauffolgenden Mittwoch um 10 Uhr durch Hochladen auf Ilias ab. Nur noch bis zum 9.11.22 (Blatt 3) kann man auch den Briefkasten benutzen.
Die Übungsstunden beginnen am Montag und Dienstag in der zweiten Vorlesungswoche mit einer Saalübung zu Blatt 0. Die gemeinsame Abgabe in einer Zweiergruppe und auch die Abgabe in Einzelarbeit sind gestattet, jedoch nicht die gemeinsame Abgabe in größeren Gruppen. Wir erwarten, dass Sie bei den Hausaufgaben bei Entscheidungsfragen Ihre Entscheidung durch einen Beweis oder ein Gegenbeispiel begründen.
| Blatt | Ausgabe | Abgabe (vor 10 Uhr vormittags) |
| Blatt 0, Blatt 0 in englischer Sprache | 21.10.2022 | keine Abgabe, Anwesenheitsübungen |
| Blatt 1 | 19.10.2022 | 26.10.2022 |
| Blatt 2 | 26.10.2022 | 03.11.2022 |
| Blatt 3 | 02.11.2022 | 09.11.2022 |
| Blatt 4 | 09.11.2022 | 16.11.2022 |
| Blatt 5, LaTeX-Datei zu Blatt 5 | 16.11.2022 | 23.11.2022 |
| Blatt 6, LaTeX-Datei zu Blatt 6 | 23.11.2022 | 30.11.2022 |
| Blatt 7, LaTeX-Datei zu Blatt 7 | 30.11.2022 | 07.12.2022 |
| Blatt 8, LaTeX-Datei zu Blatt 8 | 07.12.2022 | 14.12.2022 |
| Blatt 9, LaTeX-Datei zu Blatt 9 | 14.12.2022 | 21.12.2022 |
| Blatt 10, LaTeX-Datei zu Blatt 10 | 21.12.2022 | 11.01.2023 |
| Probeklausur ohne Abgabe | 22.12.2022 | keine |
| Blatt 11, Latex-Datei zu Blatt 11 | 11.01.2023 | 18.01.2023 |
| Blatt 12, Latex-Datei zu Blatt 12 | 18.01.2023 | 25.01.2023 |
| Blatt 13, Latex-Datei zu Blatt 13 | 25.01.2023 | 01.02.2023 |
Version der Seite vom 22.02.2023, HM
