Berechenbarkeits- und Komplexitätstheorie Markus Bläser

News

08.02.2022

Weitere Vorsprechung

Am Donnerstag, den 10.2., findet eine weitere Vorbesprechung um 16:00 Uhr (s.t.) statt. Die Ankündigung ist leider etwas kurzfristig, ich hoffe, Sie können es trotzdem einrichten.

Es geht um Hinweise zur Gestaltung der verschiedenen Vorträge. Die Dauer sollte... Weiterlesen

Am Donnerstag, den 10.2., findet eine weitere Vorbesprechung um 16:00 Uhr (s.t.) statt. Die Ankündigung ist leider etwas kurzfristig, ich hoffe, Sie können es trotzdem einrichten.

Es geht um Hinweise zur Gestaltung der verschiedenen Vorträge. Die Dauer sollte maximal 45 Minuten betragen.

Die Vorbesprechung findet online via Zoom statt. Der Link kommt in separater Email.

 

Berechenbarkeits- und Komplexitätstheorie

 

In dem Proseminar behandeln wir weiterführende Themen aus der Berechenbarkeits- und Komplexitätstheorie. Dieses Proseminar baut auf Resultaten aus der Vorlesung "Grundzüge der Theoretischen Informatik" auf.

 

Zeit:

Blockveranstaltung in den Semesterferien nach Absprache.

Zeit: 14. bis 16. März

Ort: HS001 in E1 3

 

Ablauf:

Die Zuteilung zu dem Proseminar erfolgt über das zentrale System der Fachrichtung Informatik. Nach der Zuteilung registrieren Sie sich bitte im CMS und nehmen an der Vorbesprechung teil. Termin wird noch angekündigt.

Die nächste Besprechung findet gegen Ende der Vorlesungszeit statt. Termin wird noch gekannt gegeben.

Die Teilnehmer sollen ein Kapitel aus den unten genannten Büchern bearbeiten und dazu zwei Vorträge halten, einen kurzen Vortrag (20 Minuten) mit Folien, der in die Thematik einführt, die Resultate erläutert und evtl. die Beweisidee skizziert, sowie einen langen Vortag (ca 60 bis 90 Minuten) an der Tafel, in dem die kompletten Beweise geführt werden. Beide Vorträge werden benotet, die Endnote ist der Mittelwert beider Noten.

 

Ich hoffe sehr, dass die Veranstaltung in Präsenz stattfinden kann. Sonst halt mit Zoom.

 

Literatur:

Dexter Kozen: Theory of Computation, Springer

Dexter Kozen: Automata and Computability, Springer

Uwe Schöning, Randall Pruim: Gems of Theoretical Computer Science, Springer

Uwe Schöning: Theoretische Informatik - kurz gefasst, Spektrum

 



Datenschutz | Impressum
Bei technischen Problemen wenden Sie sich bitte an die Administratoren