Informatega teorica
L'informatega teorica a l'è la branca de l'informatega pussee teorega e che la studia la computazion in di sò aspett astratt e matemàtegh.

I esempi principai del camp de studi de l'informatega teorica a hinn la teorìa de la computazion, la semantega e la teorìa de la complessità de computazion.

Àlter argoment pertoccaa a hinn la crittografia, la teoria de la computabilità, i algoritm, i struttur de dacc, el calcol distribuii, la teoria de l'informazion, i automa, l'apprendiment automategh e i formi speciai de informatega 'me quèlla quantistega e la bioinformatega.

Vos corelaa 
Teoria de l'informazion
Matematega discreta