Informatica teorica: differenze tra le versioni

Versione delle 17:45, 19 mag 2006

Versione attuale delle 18:37, 8 giu 2025

(76 versioni intermedie di 44 utenti non mostrate)

Riga 1:

{{S|teorie dell'informatica}}

{{da tradurre|inglese}}

[[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.

== Descrizione ==

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.

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

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

== 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]], 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 [[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."

Even so, the "theory people" in CS self-identify as different. Some characterize themselves as doing the "'science' underlying the field of computing"[http://www.research.att.com/%7Edsj/nsflist.html#Intro], although this neglects the experimental science done in non-theoretical areas such as [[software system]] research.

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

=== JournalsPubblicazioni ande newslettersnewsletter ===

* ''[[Chicago Journal of Theoretical Computer Science]]''

* ''[[Information and Computation]]''

* ''[[Formal Aspects of Computing]]''

* ''[[Journal of the ACM]]''

* ''[[SIAM Journal on Computing]]''

* ''[[SIGACT News]]''

* ''[[Theoretical Computer Science (journal)|Theoretical Computer Science]]''

* ''Theory of Computing Systems''

* ''[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 31 ⟶ 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-88071-2

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

* {{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 Seminumerical 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:Informatica]]

[[Categoria:Teorie dell'{{Portale|informatica]]}}

[[Categoria:Teorie dell'informatica| ]]

[[de:Theoretische Informatik]]

[[en:Theoretical computer science]]

[[fr:Informatique théorique]]

[[ja:計算理論]]

[[lb:Theoretesch Informatik]]

[[nl:Theoretische informatica]]

[[pl:Teoria obliczeń]]

[[pt:Teoria da computação]]

[[su:Computation]]

[[th:การคณนา]]