Programma Di Mat Fisica Elettronica Libri
Libri pubblicati nella collana Programma Di Mat Fisica Elettronica con argomento Calcolo Calcolo e analisi matematica
Linguaggi e calcoli. Principi matematici del «coding» Manca Vincenzo - Bollati Boringhieri, 2019 - Programma Di Mat. Fisica Elettronica
La nozione di rappresentazione esprime una categoria generale a cui appartengono numeri, stringhe, alberi, grafi, e più in generale, tutte le strutture simboliche con cui si rappresentano i dati. I linguaggi, in senso lato, sono formalismi entro cui si rappresentano oggetti, concetti, proprietà e relazioni. I linguaggi formali, definiti in termini insiemistici, sono quelli entro cui si definiscono i processi di calcolo universali, in grado di esprimere tutti i tipi di calcoli realizzabili. In questo libro, l'impostazione degli argomenti, la loro presentazione, e le prospettive di analisi dei vari argomenti, sono per molti aspetti frutto di elaborazione originale, maturata nel corso della didattica e della ricerca svolta negli ultimi 15 anni presso l'Università di Verona.
Complessità e iterazione numerica. Percorsi, matrici e algoritmi veloci nel calcolo numerico Zellini Paolo Bertaccini Daniele Di Fiore Carmine - Bollati Boringhieri, 2013 - Programma Di Mat. Fisica Elettronica
Per le esigenze del calcolo digitale i modelli matematici devono essere approssimati con «procedure puramente aritmetiche» grazie a «metodi iterativi o per passi successivi». Con queste parole, intorno al 1950, Herman Goldstine e John von Neumann segnalavano l'importanza degli algoritmi iterativi nel calcolo scientifico su grande scala. Essi osservavano pure che, a causa dell'elevata mole dei calcoli, i metodi computazionali sono condizionati da ciò che è effettivamente realizzabile nel tempo e nello spazio di un processo automatico. Da qui nasceva un nuovo orientamento di ricerca basato sull'analisi della complessità dei problemi numerici. Oggi iterazione e complessità sono diventati una chiave per rispondere a due quesiti fondamentali: che cosa, in generale, può essere automatizzato? E come si possono risolvere i più diversi problemi della matematica applicata, ad esempio quelli posti dalla fluidodinamica e dall'elaborazione di immagini, dall'apprendimento automatico e dai motori di ricerca su rete? Questo libro si propone di attraversare uno dei settori più ardui e intricati della scienza del calcolo in una prospettiva originale: si combinano sistematicamente complessità e iterazione e si esplorano i percorsi che legano, per diverse teorie, le motivazioni originarie ai risultati più recenti. A realizzare la fusione tra analisi numerica e teoria della complessità, già prevista nei primi anni settanta, servono ora, soprattutto, le trasformate veloci e le matrici sparse o con speciale struttura che provengono da modelli matematici o che vengono inserite artificialmente nel calcolo. Da queste matrici dipende infine l'efficienza degli algoritmi iterativi per calcolare il minimo di funzioni e per risolvere sistemi di equazioni lineari e non lineari di grandi dimensioni.