Tecnologia del software e informatica teorica

Titolo originale:

Software Technology and Theoretical Computer Science

Contenuto del libro:

Il software si riferisce all'insieme di processi, programmi e routine legati al funzionamento di un sistema informatico. Viene utilizzato per sviluppare strumenti non fisici per risolvere problemi basati sull'informazione.

La tecnologia software comprende i linguaggi di programmazione, i metodi e gli strumenti che possono essere utilizzati per lo sviluppo di software. Alcuni esempi di software sono Google Docs, Directory Opus, MySQL, BIOS, MS Access, WinZip, ecc. L'informatica teorica (TCS) è una branca dell'informatica e della matematica generale che si concentra sugli aspetti matematici dell'informatica, tra cui la teoria dei tipi, la teoria della computazione e il calcolo lambda.

Copre un'ampia gamma di argomenti come il calcolo parallelo e distribuito, la teoria degli automi, gli algoritmi, la teoria dell'informazione, le strutture dati, il calcolo quantistico, la complessità computazionale e il calcolo probabilistico. Questo libro esplora tutti gli aspetti importanti della tecnologia del software e dell'informatica teorica nello scenario attuale.

Illustra le nuove tecniche e le loro applicazioni in modo multidisciplinare. Questo libro è una guida alle risorse per gli esperti e per gli studenti.