Informatica teorica

Da Wikipedia, l'enciclopedia libera.

L'informatica teorica è una branca dell'informatica che riguarda gli aspetti più astratti e matematici della computazione, come la teoria della computazione, la 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 ricercatori spesso formano un gruppo distinto tra i ricercatori informatici.

Definizione[modifica | modifica wikitesto]

Non è facile circoscrivere le aree teoriche precisamente; lo Special Interest Group on Algorithms and Computation Theory dell'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 algoritmi, le strutture dati, la teoria della complessità computazionale, il calcolo distribuito, VLSI, l'apprendimento automatico, la biologia computazionale, la geometria computazionale, la teoria dell'informazione, la crittografia, il calcolo quantistico, la teoria della computabilità e l'algebra, la semantica, la verifica e validazione, 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." 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", sebbene questo neghi la parte sperimentale svolta in aree non teoriche come la ricerca di sistemi software.

Organizzazioni[modifica | modifica wikitesto]

  • EATCS, l'Associazione europea per l'informatica teorica
  • SIGACT
  • Associazione olandese per l'informatica teorica

Pubblicazioni e newsletter[modifica | modifica wikitesto]

  • 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
  • (EN) Theory of Computings Sytems

Conferenze[modifica | modifica wikitesto]

  • Annual ACM Symposium on the Theory of Computing (STOC)
  • IEEE Symposium on Foundations of Computer Science (FOCS)
  • Symposium on Discrete Algorithms (SODA)
  • International Colloquium on Automata, Languages and Programming (ICALP)
  • Symposium on Theoretical Aspects of Computer Science (STACS)
  • European Symposium on Algorithms (ESA)
  • 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)

Bibliografia[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]