Unitext Libri

Metodi di ottimizzazione non vincolata Grippo Luigi  Sciandrone Mario   -  Springer Verlag, 2011  -  Unitext

In questo libro di testo vengono descritti e analizzati gli algoritmi più significativi per la soluzione di problemi di ottimizzazione non vincolata e di sistemi di equazioni non lineari. Particolare attenzione è rivolta allo studio della convergenza globale e delle tecniche di globalizzazione che costituiscono uno dei maggiori contributi dell'ottimizzazione al calcolo numerico. Nel volume vengono considerati sia gli algoritmi più noti che quelli proposti recentemente nella letteratura specialistica e che non sono usualmente inclusi nei libri a carattere introduttivo sui metodi di ottimizzazione. La stesura del testo è tale da renderlo adatto sia a un lettore che intenda acquisire una preparazione di base sui metodi di ottimizzazione non vincolata, sia a un lettore che abbia già competenze generali sulle tecniche di ottimizzazione e voglia approfondire specifici argomenti. Il libro è corredato da varie appendici finalizzate a rendere la trattazione il più possibile autocontenuta.

Algoritmi. Lo spirito dell'informatica Harel David  Feldman Yishai  Guinea S. (Cur.)   -  Springer Verlag, 2008  -  Unitext

Gli algoritmi sono il cuore dell'informatica e della matematica, poiché senza di loro l'uso del computer non sarebbe possibile. In questo libro Harel e Feldmann rispondono a tutte le domande relative a questo tema. Parlano della valutazione, della correttezza e dell'efficacia degli algoritmi, ma chiariscono anche qualche dubbio sulle tecniche di programmazione e si riferiscono inoltre all'attualissima discussione sul calcolo quantistico. Il libro è utile sia come testo base per un corso universitario introduttivo all'informatica, sia come introduzione generale alle scienze naturali, alla matematica o all'ingegneria. Attraverso l'uso di domande stuzzicanti ed esempi selezionati con cura e spesso divertenti, l'autore trasmette al lettore l'entusiasmo e la soddisfazione intellettuale della ricerca nel campo dell'informatica. Senza usare la matematica formale, ma senza per questo motivo sacrificare l'integrità intellettuale, egli comunica al lettore generale i profondi principi su cui si fonda l'informatica; principi che, prima d'ora, risultavano accessibili solo attraverso libri di testo e articoli scientifici molto complessi.