Informatica teorica: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
m Annullate le modifiche di 37.162.82.95 (discussione), riportata alla versione precedente di 37.160.153.98
Etichetta: Rollback
Nessun oggetto della modifica
Etichette: Ripristino manuale Modifica da mobile Modifica da web per mobile
Riga 1:
[[File:Turing Machine.png|miniatura|Una rappresentazione artistica della [[macchina di Turing]]|345x345px]]
L''''informatica teorica''' è una branca dell'[[informatica]] e della [[matematica]] che riguarda gli aspetti più astratti e matematici della [[computazione]], come la [[teoria della computazione]], la [[Semantica (informatica)|semantica della programmazione]] e la [[teoria della complessità computazionale]]. La prima studia cosa in generale possa essere calcolato tramite [[algoritmi]], la seconda cosa e come sia calcolato da uno specifico algoritmo, la terza le risorse ad esso necessarie. Nonostante non abbia come oggetto un singolo argomento, i suoi [[Ricercatore|ricercatori]] spesso formano un sottogruppo compatto all'interno degli informatici.