Informatica teorica: differenze tra le versioni

Versione delle 03:56, 5 apr 2015

Versione delle 14:06, 20 lug 2015

Riga 4:

== Definizione ==

Non è facile circoscrivere 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 dati]], la [[teoria della complessità computazionale]], il [[calcolo distribuito]], [[VLSI]], l'[[apprendimento automatico]], la [[biologia computazionale]], la [[geometria computazionale]], la [[teoria dell'informazione]], la [[crittografia]], il [[Informatica quantistica|calcolo quantistico]], la [[teoria della computabilità]] e l'[[algebra]], la [[Semantica (informatica)|semantica]], la [[verifica e validazione]], 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."

* [[algoritmo|algoritmi]],

* [[struttura dati|strutture dati]],

* [[teoria della complessità computazionale]],

* [[calcolo distribuito]],

* [[VLSI]],

* [[apprendimento automatico]],

* [[biologia computazionale]],

* [[geometria computazionale]],

* [[teoria dell'informazione]],

* [[crittografia]],

* [[Informatica quantistica|calcolo quantistico]],

* [[teoria della computabilità]]

* l'[[algebra]],

* la [[Semantica (informatica)|semantica]],

* la [[verifica e validazione]],

* la [[automa (informatica)|teoria degli automi]],

* gli [[studi sulla casualità]].

Lavori in questo campo si distinguono spesso per la loro enfasi per le tecniche matematiche ([[matematica discreta]) 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", sebbene questo neghi la parte sperimentale svolta in aree non teoriche come la ricerca di sistemi software.