Hauptseite

MediaWiki wurde installiert.

$\sum\limits_{i=1}^\infty i=-\frac{1}{12}$

Hilfe zur Benutzung und Konfiguration der Wiki-Software findest du im Benutzerhandbuch.

Index

Kapitel 0: Einführung

• Grundbegriffe
• Logarithmus
• Landau-Notation

Kapitel 1: Automaten

• Deterministische Endliche Automaten
• Nichtdeterministische Endliche Automaten
• Reguläre Ausdrücke
• Pumping Lemma
• Kellerautomaten

Kapitel 2: Berechenbarkeitstheorie

• Deterministische Turingmaschinen
• Zweikellerautomaten
• Registermaschinen
• Die Universelle Registermaschine
• Das Halteproblem
• Entscheidbarkeit
• Orakel

Kapitel 3: Komplexitätstheorie

• Nichtdeterministische Turingmaschinen
• Zeit- und Platzklassen
• L
• NL
• P
• NP
• LINSPACE
• PSPACE

Kapitel 4: Logik

• Logische Theorien
• Klassische Modelle
• Logische Komplexität
• Der Satz von Fagin
• Der Kalkül des natürlichen Schließens
• Der Vollständigkeitssatz (evtl.)
• Der Unvollständigkeitssatz (evtl.)
• Intuitionistische Logik und Kripkemodelle (evtl.)

Starthilfen

• Liste der Konfigurationsvariablen
• MediaWiki-FAQ
• Mailingliste neuer MediaWiki-Versionen
• Übersetze MediaWiki für deine Sprache
• Erfahre, wie du Spam auf deinem Wiki bekämpfen kannst