Informatica teorica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
WPCleaner v2.04 - fix "References mancante" |
→Descrizione: typo Etichette: Modifica da mobile Modifica da web per mobile |
||
Riga 1:
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.
==
=== Definizione ===
Lo [[Special Interest Group on Algorithms and Computation Theory]] dell'[[Association for Computing Machinery|ACM]] ([[SIGACT]]) definisce l'informatica teorica come "l'analisi formale della computazione efficiente e dei processi computazionali".<ref name="SIGACT">{{Cita web|url= http://www.sigact.org
| |||