Informatica teorica: differenze tra le versioni

Versione delle 17:55, 6 feb 2021

Versione attuale delle 18:37, 8 giu 2025

(16 versioni intermedie di 11 utenti non mostrate)

Riga 1:

{{S|teorie dell'informatica}}

[[File:Turing Machine.png|miniatura|Una rappresentazione artistica della [[macchina di Turing]]|345x345px]]

L''''informatica teorica''' è una branca dell'[[informatica]] e della [[matematica]] che riguarda gli aspetti più astratti e matematici della [[computazione]], come la [[teoria della computazione]], la [[Semantica (informatica)|semantica della programmazione]] e la [[teoria della complessità computazionale]]. La prima studia cosa in generale possa essere calcolato tramite [[algoritmi]], la seconda cosa e come sia calcolato da uno specifico algoritmo, la terza le risorse ad esso necessarie. Nonostante non abbia come oggetto un singolo argomento, i suoi [[Ricercatore|ricercatori]] spesso formano un sottogruppo compatto all'interno degli informatici.

== DescrzioneDescrizione ==

=== 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">{{citeCita web|url= http://www.sigact.org|titolo= ACM SIGACT|autore= SIGACT|accesso= 6 febbraio 2021}}</ref>

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

| title = ACM SIGACT

| author = SIGACT

| access-date = 2021-02-06

}}</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 verificazioneverifica dei programmi, apprendimento meccanicoautomatico, biologicabiologia 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 name="SIGACT"/>

=== Organizzazioni ===

Riga 40 ⟶ 37:

* Symposium on Parallelism in Algorithms and Architectures (SPAA)

* Computability in Europe (CiE)

== Note ==

<references />

== Bibliografia ==

Riga 52:

== Altri progetti ==

{{Interprogetto|preposizione=sull'|wikt=informatica teorica}}

== Collegamenti esterni ==

* {{Collegamenti esterni}}

* {{cita web|url=http://sigact.acm.org/|titolo=Special Interest Group on Algorithms and Computation Theory|lingua=en}}

{{Controllo di autorità}}

{{Portale|informatica}}

[[Categoria:Teorie dell'informatica| ]]