Algoritmi e principi dell’Informatica. Esercizi risolti e commentati - Brossura

Alessandro Barenghi; Davide Martinenghi; Matteo Pradella; Matteo Rossi

Brossura

ISBN 10: 8893854244 ISBN 13: 9788893854245

Casa editrice: Società Editrice Esculapio, 2024

Riassunto

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.

Su questo libro

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.

Dettagli dell?edizione

• Editore: Società Editrice Esculapio
• Data di pubblicazione: 2024
• Lingua: Italiano
• ISBN 10: 8893854244
• ISBN 13: 9788893854245
• Rilegatura: Copertina flessibile
• Numero di pagine: 192
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile