Informatica teorica: differenze tra le versioni

Versione delle 01:06, 30 mag 2006

Versione delle 20:20, 10 giu 2006

Riga 2:

== Definizione ==

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, [[semantica del programma]] e verifica, la [[automa (informatica)|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' [http://www.research.att.com/%7Edsj/nsflist.html#Intro], sebbene questo neghi la parte sperimentale svolta in aree non teoriche come la ricerca di sistemi software.