54.10 (Theoretische Informatik)

Formale Sprachen

Turingmaschinen

Rechnerarithmetik

Automatentheorie

Algorithmenanalyse

Abstrakte Methoden <Informatik>

Informationstheorie, Codierungstheorie siehe: 53.71

Mathematische Logik siehe: 31.10

Numerische Mathematik siehe: 31.76