Informatica teorica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 3:
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.
==
Non è facile circoscrivere esattamente le aree teoriche precisamente; lo [[Special Interest Group on Algorithms and Computation Theory]] dell' [[Association for Computing Machinery|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 [[algoritmo|algoritmi]], le [[struttura dati|strutture]], la [[teoria della complessità computazionale]], la [[computazione distribuita]], 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, [[program semantics]] and verification, la [[teoria degli automi]], e gli [[study of randomness]]. Lavori in questo campo si distinguono spesso per la loro enfasi per le tecniche matematiche e per il rigore."
Even so, the "theory people" in CS self-identify as different. Some characterize themselves as doing the "'science' underlying the field of computing"[http://www.research.att.com/%7Edsj/nsflist.html#Intro], although this neglects the experimental science done in non-theoretical areas such as [[software system]] research.
| |||