Il presente volume e` una raccolta di piu` di 160 esercizi riguardanti argomenti propri dell'informatica teorica e dello studio di algoritmi e strutture dati. In particolare, la raccolta e` suddivisa in cinque aree tematiche: modelli formali per la descrizione di linguaggi, pro- blemi relativi alla computabilita` di funzioni e decidibilita` di insiemi, soluzione di equazioni di ricorrenza, valutazione della complessita` 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.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.