Home
Home
Connect

McGraw-Hill Education (Italy) srl

ITALIA Indian Flag
Strumenti Tools Print Larger font Smaller font Bookmark this page
 
Share/Bookmark

DISCIPLINE
Economia ed Economia aziendale
Informatica
Ingegneria e architettura
Medicina
Scienze infermieristiche e professioni sanitarie
Scienze matematiche, fisiche, chimiche e biologiche
Scienze umane e sociali
Monografie
Pubblicazioni dalle aziende
Teoria della computabilità e della complessità

Di: Carlo Toffalori, Flavio Corradini, Stefano Leonesi, Stefano Mancini


Teoria della computabilità e della complessità


ISBN: 9788838672606,
Prezzo: € 29,00
Pubblicazione: aprile 2005
Pagine: 372
Metti nel carrello




Mi piace questo libro

Indice dettagliato (formato PDF)
Presentazione/prefazione (formato PDF)
Visualizza titoli simili:
Categoria: Scienze matematiche, chimiche, fisiche, biologiche
Disciplina: Matematica
Collana: Istruzione scientifica

Descrizione | IndiceGli autori |

DESCRIZIONE

Che cos’è 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 computabilità sia dal punto di vista classico - macchine di Turing, funzioni ricorsive, grammatiche - che da prospettive più 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, casualità) e si sviluppa la corrispondente teoria della complessità 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 complessità basato sulla teoria quantistica è introdotto nella parte finale del volume.
Il testo si rivolge agli studenti di Informatica, Matematica, Fisica o Ingegneria interessati a corsi di Informatica teorica.

Scarica l'errata corrige in formato PDF

INDICE

A Teoria della computabilità
1) Introduzione
2) Le Macchine di Turing
3) Problemi senza Soluzione
4) Funzioni Ricorsive
5) Calcolabilità e Grammatiche
6) Calcolabilità e Linguaggi di Programmazione
B Teoria della complessità
7) Complessità
8) Classi di Complessità Temporale
9) Complessità, Logica e Circuiti
10) Classi di Complessità Spaziale
11) Classi di Complessità Probabilistiche
12) Contare e Approssimare
13) Algoritmi Interattivi
C Teoria quantistica della computazione
14) Dal Bit al QuantumBit
15) Modelli di Computazione Quantistica
16) Algoritmi Quantistici

GLI AUTORI

Carlo Toffalori, Flavio Corradini, Stefano Leonesi, Stefano Mancini

Gli autori insegnano presso la Facoltà di Scienze e Tecnologie dell’Università di Camerino.
Carlo Toffalori è docente di Logica Matematica.
Flavio Corradini è docente di Ingegneria del Software.
Stefano Leonesi è docente di Didattica della Matematica.
Stefano Mancini è docente di Informazione Quantistica.

Top

Chi siamo | Condizioni di utilizzo | Informativa sulla privacy | Normativa sul diritto d’autore| Modello di organizzazione, gestione e controllo | Contattaci | Assistenza | Come ordinare | Mappa del sito

Copyright © 2002 -2017 McGraw-Hill Education (Italy) srl
Via Ripamonti 89, 20139 Milano, Italia - Telefono +39 02/5357181 - Fax +39 02/5397633
Cap. Soc. Euro 10.000 Int. vers. | Codice Fiscale e P. IVA 07805780967 - Iscritta presso la C.C.I.A.A. di Milano numero di iscrizione 07805780967 | R.E.A. 1982936