AA.VV. - Teoria della computabilita e della complessita

AA.VV. - Teoria della computabilita e della complessita
Publisher: McGraw-Hill Companies | ISBN: 8838662282 | Release: 2005 | Italian | 362 Pages | PDF | 10.17 Mb

DETTAGLI SULL'OPERA...
Che cos'e un algoritmo? Quali problemi si possono risolvere con un algoritmo? E in quali casi un algoritmo di soluzione richiede risorse accessibili nella pratica?Il libro affronta questi problemi, trattando anzitutto la teoria della computabilita sia dal punto di vista classico - macchine di Turing, funzioni ricorsive, grammatiche - che da prospettive piu attuali, come quella dei programmi while, legate ai linguaggi di programmazione e in particolare al Pascal. Si discutono poi i vari possibili criteri di misura delle risorse disponibili (tempo, memoria, casualita) e si sviluppa la corrispondente teoria della complessita computazionale, dalla classica questione P = NP al teorema di Savitch, dai circuiti booleani alle procedure probabilistiche e interattive. Un moderno approccio alla computazione e alla complessita basato sulla teoria quantistica e introdotto nella parte finale del volume.Il testo si rivolge agli studenti di Informatica, Matematica, Fisica o Ingegneria interessati a corsi di Informatica teorica.
NOTA: Ho aggiunto nell'ultima pagina l'errata corrige disponibile sul sito del libro.

Download links: