Inhalt

Dieses Proseminar behandelt Themen aus der Geschichte der theoretischen Informatik die als wichtige Grundlagen des heutigen Fachgebiets angesehen werden können.

Themen

• George Boole
• Julius Büchi
• Noam Chomsky
• Stephen Cook
• Edsger Dijkstra
• David Hilbert
• Tony Hoare
• Grace Hopper
• Donald Knuth
• Gottfried Leibniz
• Ada Lovelace
• John von Neumann
• Michael Rabin
• Dana Scott
• Konrad Zuse

Voraussetzungen

Für diese Veranstaltung sind keine besonderen Grundkenntnisse erforderlich.

Organisation

• Die Themenvergabe erfolgt in der Einführungsveranstaltung.
• Das Proseminar umfasst eine schriftliche Ausarbeitung und eine Präsentation über das vergebene Thema sowie eine Einführung in das Textsatzsystem LaTeX und eine Präsentationsübung.
• Literatur wird nach der Einführungsveranstaltung mit dem jeweiligen Betreuer abgesprochen.
• Die Vorträge werden gegen Ende des Semesters als Blockseminar gehalten.

Termine

• 14.04.2014, 12:30: Vorbesprechung (Seminarraum Informatik 2) [Folien]
• 22.04.2014, 11:00: Einführung in die Literaturrecherche GRUPPE 1 (Info-Bib)
• 23.04.2014, 10:30: Einführung in die Literaturrecherche GRUPPE 2 (Info-Bib)
• 23.04.2014, 14:30: Einführung in LaTeX (Seminarraum Informatik 2) [Folien]
• bis 28.04.2014: Literatursuche und Kontaktaufnahme zu Betreuer
• 02.05.2014, 14:15: Vortragsschulung (Seminarraum Informatik 2)
• bis 05.05.2014: Gliederung der Ausarbeitung
• bis 30.05.2014: Fertigstellung Ausarbeitung
• bis 06.06.2014: Endversion Ausarbeitung
• bis 23.06.2014: Fertigstellung Folien
• bis 30.06.2014: Endversion Folien
• 07.07/08.07.2014: Proseminar-Vorträge

Vorträge

Die Vorträge sind chronologisch nach Geburtsdatum sortiert.

07.07.2014 13:30 — 17:00 (Seminarraum Informatik 2)

• 13:30: Gottfried Wilhelm Leibniz
• 14:00: George Boole
• 14:30: David Hilbert
• 15:00: Grace Hopper
• 15:30: Konrad Zuse
• 16:00: Julius Richard Büchi
• 16:30: Edsger Dijkstra

08.07.2014 10:00 — 12:30 (Raum 5052)

• 10:00: Michael Rabin
• 10:30: Dana Scott
• 11:00: Tony Hoare
• 11:30: Donald Knuth
• 12:00: Stephen Cook

Kontakt

Kontaktperson zu diesem Proseminar ist Ulrich Loup.
Weitere Betreuer sind: Erika Ábrahám, Xin Chen, Florian Corzilius, Gereon Kremer, Stefan Schupp.