Informatică teoretică

Informatica teoretică este o ramură a informaticii și a matematicii care se referă la aspectele mai abstracte și matematice ale calculului , cum ar fi teoria calculelor , semantica programării și teoria complexității calculului . Primul studiază ce poate fi calculat în general prin intermediul algoritmilor , al doilea lucru și modul în care este calculat de un algoritm specific, al treilea resursele de care are nevoie. În ciuda faptului că nu are ca subiect un singur subiect, cercetătorii săi formează adesea un subgrup compact în cadrul informaticienilor.

Descriere

Definiție

Grupul de interese speciale ACM pe algoritmi și teoria calculelor ( SIGACT ) definește știința informatică teoretică ca „analiza formală a calculelor eficiente și a proceselor de calcul”. ^[1]

SIGACT însuși afirmă că calculul teoretic „include o mare varietate de subiecte, incluzând algoritmi, structuri de date, complexitate de calcul, calcul paralel și distribuit, calcul probabilistic, calcul cuantic, teoria automatelor, teoria informației, criptografie, semantică și verificarea programelor, învățare de memorie, calcul biologie, economie de calcul, geometrie de calcul, teoria numerelor de calcul și algebră. Munca în acest domeniu este adesea caracterizată prin accentul pus pe tehnici matematice și rigoare. " ^[1]

Organizații

• EATCS , Asociația Europeană pentru Informatică Teoretică
• SIGACT , Grup de interes special pentru algoritmi și teoria calculelor

Publicații și buletine informative

• Chicago Journal of Theoretical Computer Science
• Informații și calcule
• Aspecte formale ale computerului
• Jurnalul ACM
• SIAM Journal on Computing
• Știri SIGACT
• Informatică teoretică
• Teoria sistemelor de calcul

Conferințe

• Simpozion anual ACM pe teoria calculelor (STOC)
• Simpozionul IEEE privind fundamentele informaticii (FOCS)
• Simpozion pe algoritmi discreți (SODA)
• Colocviu internațional privind automatele, limbajele și programarea (ICALP)
• Simpozion privind aspectele teoretice ale informaticii (STACS)
• Simpozion european asupra algoritmilor (ESA)
• Metodologie algebrică și tehnologie software (AMAST)
• Simpozion IEEE privind logica în informatică (LICS)
• Simpozion internațional privind algoritmi și calcul (ISAAC)
• (Aproximativ / aleatoriu)
• Conferința complexității computaționale (CCC)
• Simpozion pe paralelism în algoritmi și arhitecturi (SPAA)
• Calculabilitatea în Europa (CiE)

Notă

Bibliografie

• ( EN ) ed. Jan Van Leeuwen. (1990): Handbook of Theoretical Computer Science volume A , Elsevier, ISBN 0-444-88071-2
• ( EN ) ed. Jan Van Leeuwen. (1990): Handbook of Theoretical Computer Science volumul B , Elsevier, ISBN 0-444-88074-7
• ( EN ) ed. Jan Van Leeuwen. (1995): Computer Science Today. Tendințe și dezvoltări recente , Springer, ISBN 3-540-60105-8
• (EN) Donald Knuth (1997): The Art of Computer Programming Volume 1 Fundamental algorithms, ed. A III-a, Addison-Wesley, ISBN 0-201-89683-4
• ( EN ) Donald Knuth (1997): The Art of Computer Programming Volume 2 Seminumerical algorithms , ed. A III-a, Addison-Wesley, ISBN 0-201-89684-2
• (EN) Donald Knuth (1997): The Art of Computer Programming, Volume 3 Sorting and Searching, ediția a II-a, Addison-Wesley, ISBN 0-201-89685-0
• ( EN ) Alberto Apostolico (2002) Border of strings in automata analysis , ed. I, McGraw-Hill, ISBN 0-448-22039-3
• Carlo Ghezzi, Dino Mandrioli (1999) Informatică teoretică , Città Studi Edizioni, ISBN 8-825-17241-9

Alte proiecte

• Wikiversitatea conține resurse despre informatică teoretică
• Wikimedia Commons conține imagini sau alte fișiere despre informatică teoretică

linkuri externe

• ( EN ) Special Interest Group on Algorithms and Computation Theory , pe sigact.acm.org .