|
Perlen der Theoretischen Informatik
- Dozent/in
- Prof. Dr. Isolde Adler
- Angaben
- Seminar
Rein Präsenz 2 SWS, Schein
Zeit und Ort: Einzeltermin am 21.10.2022, Einzeltermin am 28.10.2022 10:00 - 12:00, WE5/05.005; Einzeltermin am 20.1.2023, Einzeltermin am 27.1.2023, Einzeltermin am 3.2.2023 8:00 - 18:00, WE5/05.005; Bemerkung zu Zeit und Ort: 1. Vorbesprechung am 21.10.22; 2. Vorbesprechung am 28.10.22; Blockseminar: 20.01.23, 27.01.23 und 03.02.23 jeweils von 08:00 - 18:00 Uhr
- Inhalt
- Ein Großteil der Informatik passiert "unplugged", bevor wir uns
hinsetzen und programmieren.
Elegante Argumente, überraschende Konstruktionen und geschickte Beweise können vieles erleichtern und sehr viel Freude machen! In der Praxis können sie z.B.Verlässlichkeit, Nachhaltigkeit, Effizienz, Sicherheit, Korrektheit oder Optimalität garantieren oder auch Nichtmachbarkeit aufweisen.
Anhand ausgewählter Themen werden wir die Vielfalt der theoretischen
Informatik kennenlernen. Das Seminar ist inspiriert durch das Buch
"Perlen der Theoretischen Informatik" von Uwe Schöning. Neben diesem Buch wird noch weitere Literatur zu Verfügung gestellt. Die Teilnehmer:innen stellen daraus einen Abschnitt in einem 20-minütigen Vortrag vor.
Eine schriftliche Ausarbeitung des Vortrags ist bis Ende des Semesters
zu erstellen.
- Empfohlene Literatur
- Uwe Schöning: Perlen der Theoretischen Informatik, BI Wissenschaftsverlag 1995
Ingo Wegener: Highlights aus der Informatik, Springer 1996
Martin Aigner, Günter M. Ziegler: Proofs from THE BOOK, Springer 2018
- Englischsprachige Informationen:
- Title:
- Gems of Theoretical Computer Science
- Credits: 3
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 20
- Institution: Lehrstuhl für Algorithmen und Komplexitätstheorie
Hinweis für Web-Redakteure: Wenn Sie auf Ihren Webseiten einen Link zu dieser Lehrveranstaltung setzen möchten, verwenden Sie bitte einen der folgenden Links:Link zur eigenständigen Verwendung Link zur Verwendung in Typo3
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|