„Portal:Informatik/TheoretischeInformatik“ – Versionsunterschied

Versionsgeschichte interaktiv durchsuchen

Inhalt gelöscht Inhalt hinzugefügt

Inline

Aktuelle Version vom 10. September 2022, 12:19 Uhr

Die Theoretische Informatik beschäftigt sich mit der Abstraktion, Modellbildung und grundlegenden Fragestellungen, die mit der Struktur, Verarbeitung, Übertragung und Wiedergabe von Informationen in Zusammenhang stehen. Weiterlesen...

Grundlagen:
Bit · Boolesche Algebra · Boolesche Funktion · Formale Semantik · Gödelscher Unvollständigkeitssatz · Informationsgehalt · Informationstheorie · Kodierungstheorie · Logik · Problem des Handlungsreisenden

Berechenbarkeitstheorie:
Ackermannfunktion · Berechenbarkeit · Church-Turing-These · Entscheidbarkeit · Halteproblem · Lambda-Kalkül · µ-Rekursion · Satz von Rice · Turingmaschine · Türme von Hanoi

Komplexitätstheorie:
Damenproblem · Komplexitätsklasse · NP-Vollständigkeit · O-Notation · P-NP-Problem · Platzkomplexität · Polynomialzeit · Zeitkomplexität

Formale Sprachen und Automaten:
Akzeptor · Backus-Naur-Form · Chomsky-Hierarchie · Formale Grammatik · Pumping-Lemma · Regulärer Ausdruck · Reguläre Sprache · Transduktor

@@ Zeile 10: / Zeile 10: @@
 · [[Informationstheorie]]
 · [[Kodierungstheorie]]
-· [[Datei:Qsicon lesenswert.svg|12px]]&nbsp;[[Logik]]
+· [[Datei:Qsicon lesenswert.svg|12px|class=noviewer]]&nbsp;[[Logik]]
-· [[Datei:Qsicon Exzellent.svg|12px]]&nbsp;[[Problem des Handlungsreisenden]]
+· [[Datei:Qsicon Exzellent.svg|12px|class=noviewer]]&nbsp;[[Problem des Handlungsreisenden]]
 '''[[Berechenbarkeitstheorie]]:'''<br/>
-[[Datei:Qsicon Exzellent.svg|12px]]&nbsp;[[Ackermannfunktion]]
+[[Datei:Qsicon Exzellent.svg|12px|class=noviewer]]&nbsp;[[Ackermannfunktion]]
 · [[Berechenbarkeit]]
 · [[Church-Turing-These]]
@@ Zeile 23: / Zeile 23: @@
 · [[Satz von Rice]]
 · [[Turingmaschine]]
-· [[Datei:Qsicon lesenswert.svg|12px]]&nbsp;[[Türme von Hanoi]]
+· [[Datei:Qsicon lesenswert.svg|12px|class=noviewer]]&nbsp;[[Türme von Hanoi]]
-[[Datei:Qsicon Exzellent.svg|12px]]&nbsp;'''[[Komplexitätstheorie]]:'''<br/>
+[[Datei:Qsicon Exzellent.svg|12px|class=noviewer]]&nbsp;'''[[Komplexitätstheorie]]:'''<br/>
-[[Datei:Qsicon lesenswert.svg|12px]]&nbsp;[[Damenproblem]]
+[[Datei:Qsicon lesenswert.svg|12px|class=noviewer]]&nbsp;[[Damenproblem]]
 · [[Komplexitätsklasse]]
 · [[NP-Vollständigkeit]]
@@ Zeile 37: / Zeile 37: @@
 '''[[Formale Sprache]]n und [[Automat (Informatik)|Automaten]]:'''<br/>
 [[Akzeptor (Informatik)|Akzeptor]]
-· [[Datei:Qsicon lesenswert.svg|12px]]&nbsp;[[Backus-Naur-Form]]
+· [[Datei:Qsicon lesenswert.svg|12px|class=noviewer]]&nbsp;[[Backus-Naur-Form]]
 · [[Chomsky-Hierarchie]]
 · [[Formale Grammatik]]