theoretical computer science Concept
Preferred labels
en
- theoretical computer science
de
- Theoretische Informatik
Alternative labels
en
de
Assigned collections
Broader terms
Narrower terms
Definition
de
Untersucht die mathematischen Methoden und Modelle, die sich hinter der Fassade der modernen Hardware- und Software-Technik verbergen. Wichtige Teilbereiche der theoretischen Informatik sind die Logik, die Theorie der formalen Sprachen, die Theorie der endlichen Automaten sowie die Berechenbarkeits- und die Komplexitätstheorie. (Hoffmann, Dirk W.: Theoretische Informatik. 2., aktualisierte Aufl. München : Hanser, 2011)