Veranstaltung/Aspekte der Theoretischen Informatik: Unterschied zwischen den Versionen
Aus LaborWiki
Marcus (Diskussion | Beiträge) K (Marcus verschob die Seite Aspekte der Theoretischen Informatik nach Vortragsprogramm/2007/Aspekte der Theoretischen Informatik, ohne dabei eine Weiterleitung anzulegen) |
Marcus (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (2 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
{{Veranstaltung | |||
== | |title=Aspekte der Theoretischen Informatik | ||
|actor=Daniel Altmann | |||
|email= | |||
|url= | |||
|begin=2007/12/01 19:30:00 | |||
|place=LABOR e.V., Rottstr. 31, 44793 Bochum | |||
|contact= | |||
|audience= | |||
|tags= | |||
|type=talk | |||
|abstract= | |||
|image= | |||
|partof= | |||
}} | |||
== Worum es geht == | == Worum es geht == | ||
| Zeile 17: | Zeile 26: | ||
Ich würde auch gerne etwas zu Logik erzählen, insbesondere eine Bsp.-Logik | Ich würde auch gerne etwas zu Logik erzählen, insbesondere eine Bsp.-Logik | ||
vorstellen und ihre Vollständigkeit und Korrektheit zeigen. | vorstellen und ihre Vollständigkeit und Korrektheit zeigen. | ||
Aktuelle Version vom 22. Dezember 2014, 03:16 Uhr
| Aspekte der Theoretischen Informatik | |
|---|---|
| Akteur | Daniel Altmann |
| Akteur Email | |
| Akteur URL | |
| Beginn | 2007/12/01 19:30:00 |
| Ende | |
| Ort | LABOR e.V., Rottstr. 31, 44793 Bochum |
| Verantwortlich | |
| Publikum | |
| Schlagworte | |
| Art | talk |
| Rahmenveranstaltung | |
| Export | iCalendar-Datei |
Kurzbeschreibung:
Worum es geht[Bearbeiten | Quelltext bearbeiten]
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.