Sinossi
Il presente volume è una raccolta di più di 160 esercizi riguardanti argomenti propri dell’informatica teorica e dello studio di algoritmi e strutture dati. In particolare, la raccolta è suddivisa in cinque aree tematiche: modelli formali per la descrizione di linguaggi, problemi relativi alla computabilità di funzioni e decidibilità di insiemi, soluzione di equazioni di ricorrenza, valutazione della complessità algoritmica e sintesi di algoritmi. Gli esercizi sono corredati di soluzioni commentate, volte a descrivere il procedimento risolutivo degli stessi. Le soluzioni presentate sono autocontenute e corredate di riferimenti alle fonti di nozioni utili alla loro comprensione, facendo riferimento a testi largamente adottati nei corsi di informatica teorica e algoritmi e strutture dati.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sugli autori
Alessandro Barenghi è professore associato presso il Dipartimento di Elettronica, Informazione e Bioingegneria del Politecnico di Milano, dove è attualmente titolare dei corsi di Algoritmi e Principi dell’Informatica e Computer Security. I suoi interessi di ricerca riguardano principalmente la sicurezza informatica, con particolare attenzione alla crittografia applicata, ed il calcolo quantistico.
Davide Martinenghi è professore associato presso il Dipartimento di Elettronica, Informazione e Bioingegneria del Politecnico di Milano, dove è attualmente titolare dei corsi di Algoritmi e Principi dell’Informatica e Basi di Dati 2. I suoi interessi di ricerca riguardano principalmente le problematiche legate ai dati, tra cui il ranking, l’ottimizzazione delle interrogazioni e la rappresentazione dei dati.
Matteo Pradella è professore associato presso il Dipartimento di Elettronica, Informazione e Bioingegneria del Politecnico di Milano, dove è attualmente titolare dei corsi di Algoritmi e Principi dell’Informatica e Principi dei Linguaggi di Programmazione. I suoi interessi di ricerca riguardano principalmente lo sviluppo di metodi formali per sistemi critici, i linguaggi formali ed i linguaggi i programmazione.
Matteo Rossi è professore associato presso il Dipartimento di Meccanica del Politecnico di Milano, dove è attualmente titolare dei corsi di Algoritmi e Principi dell’Informatica e Ingegneria del Software. I suoi interessi di ricerca riguardano principalmente lo sviluppo di metodi formali per la modellazione e l’analisi di sistemi critici e il loro impiego in applicazioni reali.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Algoritmi e principi dell’Informatica. Esercizi...
Foto dell'editore
Algoritmi e principi dell'Informatica. Esercizi risolti e commentati (Italian Edition)
Da: libreriauniversitaria.it, Occhiobello, RO, Italia
Valutazione del venditore 4 su 5 stelle
Condizione: NEW. Codice articolo 9788893854245
Compra nuovo
EUR 20,90
Spese di spedizione:
EUR 17,95
Da: Italia a: U.S.A.
Quantità: 1 disponibili