Prüfung
Die Klausur findet am 30.7.2020 um 16:15Uhr in Raum B001 und B002 statt.
Bitte füllen Sie vorher dieses Anmeldeformular aus und bringen es mit.
Literatur
Anders als mehr praktisch ausgelegte Module, die sich mit praktischen Aspekten der Entwicklung von Software beschäftigen, ist ein Lehrbuch für die Inhalte dieses Moduls unabdingbar. In einem Lehrbuch werden schrittweise die Notationen und Terminologien eingeführt und auf ihnen aufbauend weitere Definitionen, Sätze und Beweise erklärt. Daher ist es besser hier auf wenige konkrete Literatur zu stützen, als sich lauter unterschiedlicher online Quellen für bestimmte Detailaspekte zu bedienen.
Skript
Lehrbücher
Theoretische Informatik - kurz gefasst; Uwe Schöning, Spektrum Akademischer Verlag 2008, ISBN-10: 3827418240
Kurz gefasst trifft es sehr gut. Eher in Form einen Vorlesungsskriptes, ohne zu viel zusätzliche Erklärungen und Asides auf das Wesentliche konzentriert.
-
Einführung in die Automatentheorie, formale Sprachen undKomplexitätstheorie; John E. Hopcroft, Jeffrey D. Ullman, Rajeev Motwani, Pearson, 2002/2011, ISBN-10: 3868940820
Der langjähtrige Klassiker der theoretischen Informatik. Mit vielen auch historischen Hintergrundinformationen.
Hier werden die Themen nicht nur erklärt, sondern auch immer in ihrer Bedeutung für die Informatik im Allgemeinen eingeordnet. Es finden sich zudem auch allgemeinere Grundlagen erklärt, die wir teilweise so schon im Modul »Diskrete Strukturen« eingeführt haben.
Enthält auch viele Aufgaben.
Online Hilfsmittel
Studienleistung
Zum Bestehen des Praktikums ist die Teilnahme an den Übungen verpflichtend. Die Note berechnet sich aus den Bepunktungen aus den Übungsblättern und der Mitarbeit in den Übungen. Es gibt dabei automatisch getestete Aufgaben auf den Übungsblättern, sowie Abgaben, die auf dem Papier zu lösen und in Subato einzureichen sind.
Prüfungsleistung
Die Note der Prüfungsleistung wird über eine 90 minütige Klausur zu Ende des Semesters ermittelt.