Proseminar: Wurzeln der Informatik

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ámXin ChenFlorian CorziliusGereon KremerStefan Schupp.