Informatica teorica: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Riga 1:
{{da tradurre|inglese}}
 
L' '''Informatica teorica''' è un insieme di argomenti dell'[[informatica]] che si concentrano sugli 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.