Articoli correlati a Algoritmi e Principi dell'Informatica: esercizi...
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.
- EditoreSocietà Editrice Esculapio
- Data di pubblicazione2023
- ISBN 10 8893853477
- ISBN 13 9788893853477
- RilegaturaCopertina flessibile
- LinguaItaliano
- Numero edizione1
- Numero di pagine176
- Contatto del produttorenon disponibile
(nessuna copia disponibile)
Cerca: Inserisci un desiderataNon riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!
Inserisci un desiderata