Informatica teorica: differenze tra le versioni

Versione delle 17:52, 6 feb 2021

Versione delle 17:55, 6 feb 2021

Riga 3:

== Descrzione ==

=== Definizione ===

Lo [[Special Interest Group on Algorithms and Computation Theory]] dell'[[Association for Computing Machinery|ACM]] ([[SIGACT]]) definisce l'informatica teorica come "l'analisi formale della computazione efficiente e dei processi computazionali".<ref name="SIGACT">{{cite web

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

| title = ACM SIGACT

Riga 10:

}}</ref>

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 webname="SIGACT"/>

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

| title = ACM SIGACT

| author = SIGACT

| access-date = 2021-02-06

}}</ref>

=== Organizzazioni ===