Informatica Teorica

L'informatica teorica è una branca dell'informatica che riguarda gli aspetti più astratti e matematici della computazione, come la teoria della computazione, l'analisi degli algoritmi e la semantica della programmazione. Nonostante non abbia come oggetto un singolo argomento, i suoi ricercatori formano un gruppo distinto tra i ricercatori informatici.

Definizione

Non è facile circoscrivere le aree teoriche precisamente; lo Special Interest Group on Algorithms and Computation Theory dell'ACM (SIGACT), che descrive la sua missione come la promozione dell'informatica teorica, dice: "I campi di ricerca dell'informatica teorica sono ampi così che includono gli algoritmi, le strutture, la teoria della complessità computazionale, la computazione distribuita, VLSI, il machine learning, la biologia computazionale, la geometria computazionale, la teoria dell'informazione, la crittografia, la computazione quantica, la teoria della computabilità e l'algebra, semantica del programma e verifica, la teoria degli automi, e gli studi sulla casualità. Lavori in questo campo si distinguono spesso per la loro enfasi per le tecniche matematiche e per il rigore." Nonostante questo, i "teorici" dell'informatica teorica si identificano autonomamente in modi differenti. Alcuni si distinguono come persone che si occupano della parte "scientifica" sottostante quella "computazionale", sebbene questo neghi la parte sperimentale svolta in aree non teoriche come la ricerca di sistemi software.

...