Informatica teoretica este un domeniu stiintific, al carui subiect este informatia si procesele informatice , in care se realizeaza inventarea si crearea de noi mijloace de lucru cu informatia. Este o ramură a informaticii generale și a matematicii care se concentrează pe aspectele mai abstracte sau matematice ale calculului și include teoria algoritmilor .
Ca orice știință fundamentală , informatica teoretică (în strânsă interacțiune cu filosofia și cibernetica ) este angajată în crearea unui sistem de concepte, identificarea tiparelor generale care fac posibilă descrierea proceselor informaționale și informaționale care au loc în diverse domenii (în natură, societate, corpul uman, sisteme tehnice).
Nu este ușor să descrii cu exactitate scopul acestei teorii. ACM SIGACT ( Asociația pentru Computing Machinery Special Interest Group on Algorithms and Computation Theory ), un subgrup al ACM, descrie știința ca un suport pentru informatica teoretică și notează:
Domeniul informaticii teoretice este interpretat larg și include algoritmi , structuri de date, teoria complexității computaționale, calcul distribuit , calcul paralel , VLSI (Very Large Scale Integrated Circuit), învățare automată , biologie computațională, geometrie computațională, teoria informației, criptografie, cuantică. calcul, teoria numerelor, algebră și teoria calculului (calcul simbolic), semantica și verificarea limbajelor de programare, teoria automatelor și teoria proceselor aleatorii. Munca în acest domeniu este adesea caracterizată de un accent pus pe tehnica și rigoarea matematică.
La această listă, revista științifică ACM Transactions on Computation Theory (TOCT) adaugă, de asemenea, teoria codificării, teoria învățării computaționale și aspecte ale informaticii teoretice în domenii precum bazele de date, regăsirea informațiilor, modelele economice și rețelele. În ciuda unui domeniu de activitate atât de larg, teoreticienii informaticii se disting de practicieni. Unii se descriu ca efectuând „lucrarea științifică mai fundamentală care stă la baza domeniului de calcul”. Alți „teoreticieni practicanți” insistă că este imposibil să se separe teoria de practică. Aceasta înseamnă că teoreticienii folosesc în mod regulat știința experimentală care se desfășoară în domenii mai puțin teoretice, cum ar fi studiul sistemelor software.