(computer science theory)
obszar badawczy obejmujacy matematyczne modele podstawowych zagadnien informatyki. Obejmuje takie dzialy jak lingwistyke matematyczna, modele obliczen, teorie automatów, teorie grafów, zlozonosc obliczeniowa, zagadnienia reprezentowania, szyfrowania i kompresji informacji oraz wiele innych, sposród których czesc ma znaczenie praktyczne, inne zas rozbudowuja niekonwencjonalne dziedziny matematyki.
- INFORMATYKA, ogół dyscyplin nauk.(...)
- Hoare, C.A.R., Charles Antony Richard...
- Dijkstra, E. W., Edsger W. Dijkstra, jeden...