A eBooks
eBooks di A editi da Societa Editrice Esculapio di Formato Mobipocket
Metodi Analitici e Numerici. Esercizi di calcolo numerico in ambiente Matlab. E-book. Formato Mobipocket Antonio Galli - Società Editrice Esculapio, 2019 -
Esercizi di calcolo numerico in ambiente Matlab Lo scopo del volume è quello di offrire agli studenti di Calcolo Numerico uno strumento ricco di esercizi svolti e proposti, di facile consultazione con la speranza che il lavoro svolto dia frutti positivi contribuendo ad alleggerire lo sforzo ed a migliorare il rendimento degli studenti che affrontano il corso di Metodi Analitici e Numerici per l’ingegneria. Il testo è frutto di un’esperienza ventennale di esercitazioni per i corsi di Calcolo Numerico delle prof.sse: Gotusso, Caliò e Pavani, è ed stato scritto espressamente pensando alle esigenze degli studenti del terzo anno della Facoltà di Ingegneria Energetica. Nel testo gli esercizi sono stati risolti utilizzando il programma matlab versione 7.0 del 2004. I risultati numerici ottenuti con versioni più aggiornate del programma possono variare leggermente ma le caratteristiche di convergenza del problema affrontato non vengono modificate dall’utilizzo di programmi più aggiornati. Alla prof.ssa Raffaella Pavani i miei più sentiti ringraziamenti per i consigli offerti nella stesura del testo ed il prezioso lavoro di revisione svolto.
Linguaggi Formali e Compilazione. E-book. Formato Mobipocket Angelo Morzenti - Società Editrice Esculapio, 2019 -
I compilatori traducono i linguaggi artificiali (come Java e XML) nelle rappresentazioni usate dalle macchine di calcolo: senza di essi non esisterebbe l’informatica. I concetti della compilazione hanno avuto origine nella linguistica strutturale e nella logica matematica, da cui si sono sviluppati gli algoritmi e i metodi di progetto che hanno realizzato innumerevoli linguaggi. Il testo espone in modo piano e rigoroso le grammatiche formali, gli automi, gli algoritmi di analisi sintattica, le relazioni di traduzione e gli automi traduttori, le traduzioni guidate dalla sintassi e le funzioni semantiche, terminando con l’analisi statica del flusso nei programmi. Molti esempi, semplici ma realistici, conducono il lettore verso la comprensione analitica e la capacita` progettuale delle tecniche elementari di compilazione.L’esperienza degli autori nella ricerca e sviluppo su linguaggi e compilatori si riflette nella selezione degli argomenti, sempre motivata da finalita` applicativa e da economia concettuale. L’opera vuole trovare un giusto medio tra i testi di orientamento puramente teorico e i manuali dei compilatori. Il passaggio dagli algoritmi all’implementazione e` sufficientemente delineato, senza prolissita`, affinche´ un lettore di cultura informatica possa compierlo da solo. Al termine del percorso, il lettore comprendera` il funzionamento delle parti essenziali di un compilatore, conoscera` gli algoritmi usati negli strumenti (scanner parser generator) e potra` progettare semplici linguaggi e traduttori sintattici. Il testo e` adatto a un corso universitario di cinque crediti per studenti con almeno due anni di informatica alle spalle. Esso e` la base per approfondimenti specialistici in piu` direzioni, quali: l’ottimizzazione del codice-macchina, i sistemi anti-intrusione, i linguaggi interattivi e grafici, i metodi per il trattamento del linguaggio naturale e i linguaggi per l’accesso ai grandi dati della Rete.