Benutzer:Kölsche Jung/Portal:Informatik2/Theoretische Informatik

aus Wikipedia, der freien Enzyklopädie

< Benutzer:Kölsche Jung | Portal:Informatik2

Du hast neue Nachrichten auf deiner Diskussionsseite.

< Nachschlagen < Themenportale < Wissenschaft < Kölsche Jung/Portal:Informatik2/Theoretische Informatik

Übersicht

Theoretische

Praktische

Angewandte

Technische

Mitmachen

Portal Informatik – Unterseite Theoretische Informatik

Angewandte Informatik
Technische Informatik	Praktische Informatik
Theoretische Informatik

1-Band-Turingmaschine

Die Theoretische Informatik bildet das formale Rückgrat der Informatik. Dabei werden formale Systeme, Automaten, Graphen und Syntaxdiagramme dazu genutzt, die innere Logik eines formalen Problems exakt wiederzugeben. Oft ist dieser formale Schritt ein wesentlicher Teil zur Lösung der eigentlichen Problemstellung. Daher kann die Theoretische Informatik als Grundlage für die weiteren Teilgebiete betrachtet werden. Sie liefert fundamentale Erkenntnisse für die Entscheidbarkeit von Problemen, für die Einordnung ihrer Komplexität und für die Formalisierung von Automaten und Sprachen.

Hauptartikel Theoretische Informatik · Kategorie Theoretische Informatik

Grundlagen

Bit · Boolesche Funktion · Boolesche Algebra · Formale Semantik · Gödelscher Unvollständigkeitssatz · Informationsgehalt · Informationstheorie · Logik · Numerische Verfahren