Informatica teorica: differenze tra le versioni

Versione delle 00:29, 28 dic 2010

Versione attuale delle 18:37, 8 giu 2025

(60 versioni intermedie di 33 utenti non mostrate)

Riga 1:

[[Categoria:Teorie{{S|teorie dell'informatica]]}}

L' '''Informatica teorica''' è un insieme di argomenti dell'[[informatica]] che si concentrano sugli aspetti più astratti e matematici della [[computazione]], come la [[teoria della computazione]], l'[[analisi degli algoritmi]] e la [[semantica della programmazione]]. Nonostante non abbia come oggetto un singolo argomento, i suoi ricercatori 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 sottogruppo compatto all'interno degli informatici.

== DefinizioneDescrizione ==

=== Definizione ===

Non è facile circoscrivere esattamente le aree teoriche precisamente; lo [[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, dice: "I campi di ricerca dell'informatica teorica sono ampi così che includono gli [[algoritmo|algoritmi]], le [[struttura dati|strutture]], la [[teoria della complessità computazionale]], la [[computazione distribuita]], [[VLSI]], il [[machine learning]], la [[biologia computazionale]], la [[geometria computazionale]], la [[teoria dell'informazione]], la [[crittografia]], la [[computazione quantica]], la [[teoria della computabilità]] e l'algebra, [[semantica del programma]] e verifica, la [[automa (informatica)|teoria degli automi]], e gli [[studi sulla casualità]]. Lavori in questo campo si distinguono spesso per la loro enfasi per le tecniche matematiche e per il rigore."

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

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' [http://www.research.att.com/%7Edsj/nsflist.html#Intro], sebbene questo neghi la parte sperimentale svolta in aree non teoriche come la ricerca di sistemi software.

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"/>

== Organizzazioni ==

=== Organizzazioni ===

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

* [[SIGACT]], Special Interest Group on Algorithms and Computation Theory

* [[SIGACT]]

* Associazione olandese per l'informatica teorica [http://www.nvti.nl/]

=== Pubblicazioni e newsletter ===

* ''Chicago Journal of Theoretical Computer Science''

* ''Information and Computation''

Riga 18 ⟶ 21:

* ''SIGACT News''

* ''Theoretical Computer Science''

* ''Theory of Computing Systems''

* {{en}} ''[http://www.springerlink.com/(nsxb3jy3e5vtb555e4h54lrs)/app/home/journal.asp?referrer=parent&backto=linkingpublicationresults,1:100369,1 Theory of Computings Sytems]''

=== Conferenze ===

* Annual ACM Symposium on the Theory of Computing (STOC)

* IEEE Symposium on Foundations of Computer Science (FOCS)

Riga 29 ⟶ 32:

* Algebraic Methodology And Software Technology (AMAST)

* IEEE Symposium on Logic in Computer Science (LICS)

* International Symposium on Algorithms and Computation(ISAAC)

* (APPROX/RANDOM)

* Computational Complexity Conference (CCC)

* Symposium on Parallelism in Algorithms and Architectures (SPAA)

* Computability in Europe (CiE)

== Note ==

<references />

== Bibliografia ==

* {{en}} Jan Van Leeuwen ed. (1990): ''Handbook of Theoretical Computer Science volume A'', Elsevier, ISBN 0-444-2203888071-52

* {{en}} Jan Van Leeuwen ed. (1990): ''Handbook of Theoretical Computer Science volume B'', Elsevier, ISBN 0-444-2203988074-37

* {{en}} Jan Van Leeuwen ed. (1995): ''Computer Science Today. Recent Trends and Developments'', Springer, ISBN 3-540-60105-8

* {{en}} [[Donald Knuth]] (1997): ''The Art of Computer Programming Volume 1 Fundamental algorithms'', 3rd ed., Addison-Wesley, ISBN 0-201-89683-4

* {{en}} [[Donald Knuth]] (1997): ''The Art of Computer Programming Volume 2 seminumericalSeminumerical algorithms'', 3rd ed., Addison-Wesley, ISBN 0-201-89684-2

* {{en}} [[Donald Knuth]] (1997): ''The Art of Computer Programming Volume 3 Sorting and Searching'', 2nd ed., Addison-Wesley, ISBN 0-201-89685-0

* {{en}} [[Alberto Apostolico]] (2002) ''Border of strings in automata analysis'', 1st ed., McGraw-Hill, ISBN 0-448-22039-3

* Carlo Ghezzi, Dino Mandrioli (1999) ''Informatica Teorica'', Città Studi Edizioni, ISBN 8-825-17241-9

== Altri progetti ==

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

== Collegamenti esterni ==

* {{Collegamenti esterni}}

* {{en}} [http://sigact.acm.org/sigact/other.html SIGACT directory of additional theory links]

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

* {{en}} [news://comp.theory Usenet comp.theory]

* {{en}} [http://sigact.acm.org/ pagina principale del SIGACT]

* {{en}} [http://www.research.att.com/%7Edsj/nsflist.html Sfide per l'informatica teorica, documento del 2000]

{{Controllo di autorità}}

[[Categoria:Teorie dell'informatica]]

{{Portale|informatica}}

[[Categoria:Teorie dell'informatica| ]]

[[ar:معلوماتية نظرية]]

[[cs:Teoretická informatika]]

[[de:Theoretische Informatik]]

[[en:Theoretical computer science]]

[[es:Ciencia computacional teórica]]

[[et:Teoreetiline informaatika]]

[[fa:علوم نظری رایانه]]

[[fi:Tietojenkäsittelyteoria]]

[[fr:Informatique théorique]]

[[hr:Teoretsko računarstvo]]

[[ja:理論計算機科学]]

[[lb:Theoretesch Informatik]]

[[nl:Theoretische informatica]]