Uni-Logo

Informatik III: Ziele

Definitionen, Sätze, etc

Definition: Inhalt reproduzieren. Satz o.ä.: Aussage reproduzieren, anwenden, beweisen (falls nicht explizit ausgenommen)

Algorithmen

reproduzieren, auf Beispiele anwenden, erklären = mindestens Skizze des Korrektheitbeweises

Sprachklassen

Definition, erkennen, beweisen ob Sprache dazugehört oder nicht, beweisen des Abschluss unter einer Operation, Wissen über lösbare und unlösbare Probleme

Simulation

Übertragen einer Berechnung von einem Formalismus auf einen anderen (kennen und selbst konstruieren), Korrektheitsbeweis

Komplexitätsklassen

welche gibt es, Definition, wie hängen sie zusammen (Ausschnitt)

Techniken

induktive Beweise verstehen und selbst führen; über (Länge von) Worten; über Anzahl von Ableitungs- bzw. Beweisschritten

Abzählargumente

Konstruktion von Widersprüchen durch Selbstanwendung


Peter Thiemann

Last modified: Wed Oct 21 16:00:59 CEST 2015