Az elméleti számítástechnika olyan tudományterület, amelynek tárgya az információs és információs folyamatok , amelyben az információval való munka új eszközeinek feltalálása és létrehozása történik. Ez az általános számítástechnika és matematika egyik ága, amely a számítástechnika elvontabb vagy matematikai vonatkozásaira összpontosít, és magában foglalja az algoritmusok elméletét is .
Mint minden alaptudomány , az elméleti informatika is (a filozófiával és a kibernetikával szoros kölcsönhatásban ) fogalomrendszer létrehozásával, olyan általános minták azonosításával foglalkozik, amelyek lehetővé teszik a különböző területeken (a természetben, a természetben) előforduló információk és információs folyamatok leírását. társadalom, emberi test, technikai rendszerek).
Ennek az elméletnek a hatókörét nem könnyű pontosan leírni. Az ACM SIGACT ( Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory ), az ACM alcsoportja, a tudományt az elméleti számítástechnika támogatásaként írja le, és megjegyzi:
Az elméleti számítástechnika területét tágan értelmezik, és magában foglalja az algoritmusokat , az adatstruktúrákat, a számítási komplexitás elméletét, az elosztott számítástechnikát , a párhuzamos számítást , a VLSI -t (Very Large Scale Integrated Circuit), a gépi tanulást , a számítási biológiát, a számítási geometriát, az információelméletet, a titkosítást, a kvantumográfiát. számítástechnika, számelmélet , algebra és számításelmélet (szimbolikus számítás), programozási nyelvek szemantikája és ellenőrzése, automataelmélet és véletlenszerű folyamatok elmélete. Az ezen a területen végzett munkát gyakran a matematikai technikára és a szigorra helyezett hangsúly jellemzi.
Ehhez a listához az ACM Transactions on Computation Theory (TOCT) tudományos folyóirat a kódoláselméletet, a számítási tanuláselméletet és az elméleti számítástechnika szempontjait is hozzáadja olyan területeken, mint az adatbázisok, az információkeresés, a gazdasági modellek és a hálózatok. Az ilyen széles tevékenységi kör ellenére a számítástechnikai teoretikusok megkülönböztetik magukat a gyakorlati szakemberektől. Egyesek úgy írják le magukat, mint akik "a számítástechnika alapjául szolgáló legalapvetőbb tudományos munkát végzik". Más "gyakorló teoretikusok" ragaszkodnak ahhoz, hogy lehetetlen elválasztani az elméletet a gyakorlattól. Ez azt jelenti, hogy a teoretikusok rendszeresen alkalmaznak olyan kísérleti tudományt, amelyet kevésbé elméleti területeken végeznek, mint például a szoftverrendszerek tanulmányozása.