Informatica teorica: differenze tra le versioni

Versione delle 14:42, 19 mag 2006

Versione delle 14:48, 19 mag 2006

Riga 2:

== Scopo ==

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 algoritmi, le [[struttura (informatica)|strutture]], la [[teoria della complessità computazionale]], la [[computazione distribuita]], la [[parallelcomputazione computationdistribuita]], [[VLSI]], il[[machine learning]], la [[computationalbiologia biologycomputazionale]], la [[computationalgeometria geometrycomputazionale]], la [[informationteoria theorydell'informazione]], la [[cryptographycrittografia]], la [[quantumcomputazione computationquantica]], la [[computationalteoria numberdella theorycomputabilità]] ande l'algebra, [[program semantics]] and verification, la [[automatateoria degli theoryautomi]], ande thegli [[study of randomness]]. WorkLavori in thisquesto fieldcampo issi oftendistinguono distinguishedspesso byper itsla emphasisloro onenfasi mathematicalper techniquele andtecniche matematiche e per il rigorrigore."

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.