Einführung in die Theoretische Informatik und in die Mathematische Logik
aka18_kurs1_wiki
http://uxul.de/4DQNJeqOrv/index.php?title=Hauptseite
MediaWiki 1.31.0
first-letter
Medium
Spezial
Diskussion
Benutzer
Benutzer Diskussion
Einführung in die Theoretische Informatik und in die Mathematische Logik
Einführung in die Theoretische Informatik und in die Mathematische Logik Diskussion
Datei
Datei Diskussion
MediaWiki
MediaWiki Diskussion
Vorlage
Vorlage Diskussion
Hilfe
Hilfe Diskussion
Kategorie
Kategorie Diskussion
Hauptseite
0
1
258
255
2018-08-29T15:19:39Z
Css
1
/* Kapitel 2: Berechenbarkeitstheorie */
wikitext
text/x-wiki
<strong>MediaWiki wurde installiert.</strong>
$\sum\limits_{i=1}^\infty i=-\frac{1}{12}$
Hilfe zur Benutzung und Konfiguration der Wiki-Software findest du im [https://www.mediawiki.org/wiki/Special:MyLanguage/Help:Contents 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]]
* [[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 ==
* [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:Configuration_settings Liste der Konfigurationsvariablen]
* [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:FAQ MediaWiki-FAQ]
* [https://lists.wikimedia.org/mailman/listinfo/mediawiki-announce Mailingliste neuer MediaWiki-Versionen]
* [https://www.mediawiki.org/wiki/Special:MyLanguage/Localisation#Translation_resources Übersetze MediaWiki für deine Sprache]
* [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:Combating_spam Erfahre, wie du Spam auf deinem Wiki bekämpfen kannst]
5x7nsr5tkuqfbx9cqwwlo9fr0sq85hg