Informatica teorica: differenze tra le versioni

Versione delle 17:16, 6 feb 2021

Versione delle 17:30, 6 feb 2021

Riga 3:

== Descrzione ==

=== Definizione ===

Non è facile circoscrivere le aree teoriche precisamente;. loLo [[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, e afferma che: Ii campi di ricerca dell'informatica teorica sono così ampi da includere:

* [[algoritmo|algoritmi]],

* [[struttura dati|strutture dati]],

Riga 22:

* [[studi sulla casualità]].

Lo stesso SIGACT definisce l'informatica teorica come "l'analisi formale della computazione efficiente e dei processi computazionali".<ref>{{cite web

Lavori in questo campo si distinguono spesso per la loro enfasi, per il rigore e per le tecniche matematiche impiegate dai domini, ad esempio, della [[matematica discreta]], della [[teoria dei numeri]], dell'[[algebra]] o della [[logica matematica]]. 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.

| url = http://www.sigact.org

| title = ACM SIGACT

| author = SIGACT

| access-date = 2021-02-06

}}</ref>

I lavori in questo campo si distinguono spesso per l'impiego di tecniche matematiche mutuate da una varietà di campi come la [[matematica discreta]], la [[teoria dei numeri]], l'[[algebra]] e la [[logica matematica]].

=== Organizzazioni ===