Veranstaltung/Aspekte der Theoretischen Informatik

Aus LaborWiki
Version vom 25. Juli 2009, 02:20 Uhr von Asklepios (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „ == Facts == *Was: Aspekte der theoretischen Informatik *Wann: 01.12.2007, Samstag *Wer: Daniel Altmann (Informatikstudent) == Worum es geht == In dem Vortrag …“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu: Navigation, Suche

Facts

  • Was: Aspekte der theoretischen Informatik
  • Wann: 01.12.2007, Samstag
  • Wer: Daniel Altmann (Informatikstudent)

Worum es geht

In dem Vortrag soll es darum gehen ein paar Grundlagen der Komlexitätstheorie vorzustellen ... vll mit Bandkompression und Linear Speedup anfangen ... und dann zum Savitch und dem Platzhierarchie-Theorem was erzählen. Anhand vom Platzhierarchie-Theorem würde ich gerne die Nützlichkeit der Diagonalisierung motivieren, vll. noch ein zwei Bsp. dazu machen.

Vll NPv - Probleme ?

Ich würde auch gerne etwas zu Logik erzählen, insbesondere eine Bsp.-Logik vorstellen und ihre Vollständigkeit und Korrektheit zeigen.

Abgerufen von „https://wiki.das-labor.org/index.php?title=Veranstaltung/Aspekte_der_Theoretischen_Informatik&oldid=12419“