Theoretical computer science
Teoretická informatika je oblast informatiky, která se zabývá základními otázkami počítačových systémů a algoritmů. Zaměřuje se na matematické modely výpočtů, jako jsou Turingovy stroje a konečné automaty, a studuje jejich schopnost a efektivitu při řešení problémů. Teoretická informatika zahrnuje také oblasti jako složitostní teorie, která analyzuje, jak složité jsou různé problémy z hlediska výpočetních zdrojů, a teorii grafů, která zkoumá struktury a vlastnosti grafů v rámci algoritmického řešení. Důležitou součástí teoretické informatiky je také formální analýza algoritmů, která se zabývá jejich korektností a časovou či prostorovou složitostí. Teoretická informatika má široké uplatnění v různých oblastech, včetně kryptografie, algoritmického designu a umělé inteligence.