Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità - Agostino Dovier,Roberto Giacobazzi - copertina
Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità - Agostino Dovier,Roberto Giacobazzi - copertina
Dati e Statistiche
Salvato in 19 liste dei desideri
Letteratura: Italia
Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità
Disponibilità immediata
27,55 €
-5% 29,00 €
27,55 € 29,00 € -5%
Disp. immediata

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.

Dettagli

Libro universitario
320 p., Brossura
9788833933795

Conosci l'autore

Foto di Agostino Dovier

Agostino Dovier

Agostino Dovier, nato a Grado, ha conseguito la Laurea in Scienze dell’Informazione all’Università di Udine e il dottorato di ricerca in Informatica all’Università di Pisa. È professore ordinario di Fondamenti dell’informatica all’Università di Udine, dove dal 2016 ricopre il ruolo di coordinatore dei corsi di studio in discipline informatiche. La sua area di ricerca principale è la programmazione logica e a vincoli e le relative ricadute applicative. In questo ambito è stato general chair, program chair, keynote speaker del principale convegno internazionale, presidente dell’associazione italiana dal 2012 al 2018 e curatore del volume A 25 Year Perspective on Logic Programming. Dal 2018 è membro della commissione...

Foto di Roberto Giacobazzi

Roberto Giacobazzi

Roberto Giacobazzi, nato a Modena, ha conseguito la Laurea in Scienze dell’Informazione e il dottorato di ricerca in Informatica all’Università di Pisa. È professore ordinario di Fondamenti dell’informatica all’Università di Verona dove è stato Preside della Facoltà di Scienze Matematiche Fisiche e Naturali e dove attualmente dirige il Dipartimento di Informatica. I principali interessi di ricerca riguardano l’analisi e la verifica di programmi e sistemi Software con applicazioni all’analisi statica di programmi, alla trasformazione del codice, e alla sicurezza e protezione di sistemi software. È stato presidente della commissione di abilitazione scientifica nazionale del settore 01/B1 Informatica dal 2012 al 2015.

Informazioni e Contatti sulla Sicurezza dei Prodotti

Le schede prodotto sono aggiornate in conformità al Regolamento UE 988/2023. Laddove ci fossero taluni dati non disponibili per ragioni indipendenti da Feltrinelli, vi informiamo che stiamo compiendo ogni ragionevole sforzo per inserirli. Vi invitiamo a controllare periodicamente il sito www.lafeltrinelli.it per eventuali novità e aggiornamenti.
Per le vendite di prodotti da terze parti, ciascun venditore si assume la piena e diretta responsabilità per la commercializzazione del prodotto e per la sua conformità al Regolamento UE 988/2023, nonché alle normative nazionali ed europee vigenti.

Per informazioni sulla sicurezza dei prodotti, contattare complianceDSA@feltrinelli.it

Chiudi

Inserisci la tua mail