Informatica teorica: differenze tra le versioni

Versione delle 17:42, 6 feb 2021

Versione delle 17:52, 6 feb 2021

Riga 3:

== Descrzione ==

=== Definizione ===

Non è facile circoscrivere le aree teoriche precisamente. Lo [[Special Interest Group on Algorithms and Computation Theory]] dell'[[Association for Computing Machinery|ACM]] ([[SIGACT]]) descrivedefinisce la sua missione come la promozione delll'informatica teorica ecome afferma"l'analisi cheformale idella campicomputazione diefficiente ricercae dell'informaticadei teoricaprocessi sono così ampi da includere:computazionali".<ref>{{cite web

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

* [[algoritmo|algoritmi]],

| title = ACM SIGACT

* [[struttura dati|strutture dati]],

| author = SIGACT

* [[teoria della complessità computazionale]],

| access-date = 2021-02-06

* [[calcolo distribuito]],

}}</ref>

* [[VLSI]],

* [[apprendimento automatico]],

* [[biologia computazionale]],

* [[geometria computazionale]],

* [[teoria dell'informazione]],

* [[crittografia]],

* [[Informatica quantistica|calcolo quantistico]],

* [[teoria della computabilità]]

* [[algebra]],

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

* [[verifica e validazione]],

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

* [[studi sulla casualità]].

Lo stesso SIGACT afferma che l'informatica teorica "include un'ampia varietà di temi fra cui algoritmi, strutture di dati, complessità computazionale, computazione parallela e distribuita, computazione probabilistica, computazione quantistica, teoria degli automi, teoria dell'informazione, crittografia, semantica e verificazione dei programmi, apprendimento meccanico, biologica computazionale, economia computazionale, geometria computazionale, teoria dei numeri computazionale e algebra. Il lavoro in questo campo si caratterizza spesso per la sua enfasi su tecniche e rigore matematici."<ref>{{cite web

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

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

| title = ACM SIGACT