theorie van de berekeningen

Also known as theory of algorithms

onderdeel van de informatica bestaande uit de automatenleer, de berekenbaareidstheorie en de computationele complexiteitstheorie