Benutzer:Kölsche Jung/Portal:Informatik2/Theoretische Informatik
| Übersicht | Theoretische | Praktische | Angewandte | Technische | Mitmachen |
| Angewandte Informatik | |
| Technische Informatik | Praktische Informatik |
| Theoretische Informatik | |
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.
|
Grundlagen
Bit · Boolesche Funktion · Boolesche Algebra · Formale Semantik · Gödelscher Unvollständigkeitssatz · Informationsgehalt · Informationstheorie · Berechenbarkeitstheorie
|
Formale Sprachen und Automaten
Komplexitätstheorie
|
Bilder 
Bücher 
Projekte & Kurse 
Zitate 
Wörterbuch
Was sind Portale? | weitere Portale unter Wikipedia nach ThemenQualitätsprädikat:
informative Portale alphabetisch und nach Themen