Informatica teorica: differenze tra le versioni

Versione delle 17:34, 6 feb 2021

Versione attuale delle 18:37, 8 giu 2025

(24 versioni intermedie di 11 utenti non mostrate)

Riga 1:

{{S|teorie dell'informatica}}

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 gruppo distinto tra i ricercatori informatici.

[[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 grupposottogruppo distintocompatto traall'interno i ricercatoridegli informatici.

== DescrzioneDescrizione ==

=== 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 lal'informatica sua missioneteorica come la"l'analisi promozioneformale dell'informaticadella teoricacomputazione efficiente e affermadei cheprocessi icomputazionali".<ref campiname="SIGACT">{{Cita diweb|url= ricercahttp://www.sigact.org|titolo= dell'informaticaACM teoricaSIGACT|autore= sonoSIGACT|accesso= così6 ampi da includere:febbraio 2021}}</ref>

* [[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à]]

* [[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 dati, complessità computazionale, computazione parallela e distribuita, computazione probabilistica, computazione quantistica, teoria degli automi, teoria dell'informazione, crittografia, semantica e verifica dei programmi, apprendimento automatico, biologia 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"/>

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

| 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 ===

* [[EATCS]], l'Associazione europea per l'informatica teorica

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

* [[SIGACT]]

* Associazione olandese per l'informatica teorica

=== Pubblicazioni e newsletter ===

Riga 60 ⟶ 37:

* Symposium on Parallelism in Algorithms and Architectures (SPAA)

* Computability in Europe (CiE)

== Note ==

<references />

== Bibliografia ==

Riga 72 ⟶ 52:

== Altri progetti ==

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

== Collegamenti esterni ==

* {{Collegamenti esterni}}

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

* {{cita web|url=http://wwwsigact.researchacm.att.comorg/%7Edsj/nsflist.html|Sfidetitolo=Special Interest perGroup l'informaticaon teorica,Algorithms documentoand delComputation 2000Theory|lingua=en}}

{{Controllo di autorità}}

{{Portale|informatica}}

[[Categoria:Teorie dell'informatica| ]]