Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità PDF

Antondemarirreguera.es Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità Image

DESCRIZIONE

Ogni disciplina scientifica si definisce pienamente nel momento in cui viene delimitata da una teoria in grado di evidenziarne i limiti e le potenzialità. Per l'informatica ciò avvenne negli anni trenta del XX secolo, in un effervescente panorama culturale e scientifico che affrontava i fondamenti della matematica, della fisica e della biologia, ben prima dell'avvento del calcolatore elettronico. Cosa significa «calcolare»? Cos'è un algoritmo? Cosa possiamo e cosa non possiamo calcolare? Ci sono dei limiti? Esiste un calcolatore universale? Cos'è un programma? Il programma che ho comperato funzionerà sempre o potrebbe entrare in loop su certi dati? Cos'è un linguaggio? Come si genera? Come si riconosce? Tra le cose che possiamo calcolare, quanti passi di calcolo dovremo ragionevolmente attendere per avere il risultato? Si può fare di meglio di quell'algoritmo per risolvere quel problema? Tutte queste domande hanno condotto alla teoria della calcolabilità effettiva, alla teoria dei linguaggi formali, e più tardi alla teoria della complessità computazionale, che include uno dei più importanti problemi ancora aperti per la scienza contemporanea. Questo volume illustra come sono state affrontate tali questioni. Nasce dall'esperienza ventennale degli autori nell'insegnamento del corso di Fondamenti dell'informatica, dapprima assieme, presso l'Università di Verona, poi separatamente nelle sedi di Verona e di Udine. Nato come dispensa già nel 1999, il volume è via via maturato negli anni, includendo note storiche, esempi e un gran numero di esercizi, molti dei quali assegnati come prova scritta d'esame.

DATA 2020
ISBN 9788833933795
NOME DEL FILE Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità.pdf
DIMENSIONE 7,97 MB
AUTORE Agostino Dovier,Roberto Giacobazzi
Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità PDF. Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità ePUB. Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità MOBI. Il libro è stato scritto il 2020. Cerca un libro di Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità su antondemarirreguera.es.

Fondamenti dell'informatica. Linguaggi formali ...

Scopri Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità di Dovier, Agostino, Giacobazzi, Roberto: spedizione gratuita per i clienti Prime e per ordini a partire da 29€ spediti da Amazon.

Linguaggi, modelli, complessità - FrancoAngeli

QUARTO ANNO - FONDAMENTALI DI ORIENTAMENTO SOFTWARE Codice. Sigla. Insegnamento: Codice. Sigla. Mutuazioni. Colloquio integrativo. 4I033. BD2

LIBRI CORRELATI