Informatica teorica: differenze tra le versioni

Versione delle 18:30, 28 ott 2013

Versione delle 14:53, 15 nov 2013

Riga 1:

L<nowiki>'</nowiki>'''informatica teorica''' è una branca dell'[[informatica]] che riguarda gli aspetti più astratti e matematici della [[computazione]], come la [[teoria della computazione]], l'la [[analisiSemantica degli(informatica)|semantica algoritmidella programmazione]] e la [[semanticateoria della programmazionecomplessità computazionale]]. Nonostante non abbia come oggetto un singolo argomento, i suoi ricercatori formano un gruppo distinto tra i ricercatori informatici.

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 gruppo distinto tra i ricercatori informatici.

== Definizione ==

Non è facile circoscrivere 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 dati]], la [[teoria della complessità computazionale]], lail [[computazionecalcolo distribuitadistribuito]], [[VLSI]], il l'[[machineapprendimento learningautomatico]], la [[biologia computazionale]], la [[geometria computazionale]], la [[teoria dell'informazione]], la [[crittografia]], lail [[computazioneInformatica quantistica|calcolo quanticaquantistico]], la [[teoria della computabilità]] e l'[[algebra]], la [[semanticaSemantica del programma(informatica)|semantica]], ela [[verifica e validazione]], 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."

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.