Quaderni di Informatica
Parte I
15,00 €
     
SINTESI
Il libro presenta alcuni argomenti introduttivi e fondamentali dell’informatica e dell’arte della programmazione. Viene descritta l’architettura della macchina di von Neumann e vengono presentate l’aritmetica binaria e le principali strutture di dati, quali matrici, alberi, liste, pile, code e grafi. Le basi logico–algebriche dell’informatica vengono illustrate attraverso la presentazione del calcolo proposizionale e dell’algebra booleana. La descrizione di alcuni algoritmi elementari per la ricerca e l’ordinamento di dati e per la soluzione di relazioni di ricorrenza introduce il lettore alle idee di base della teoria della complessità, della correttezza e della derivazione automatica dei programmi.Alberto Pettorossi è professore associato di Informatica teorica presso la Facoltà di Ingegneria dell’Università degli Studi di Roma “Tor Vergata”. Ha svolto attività di ricerca e attività didattica presso università italiane e straniere nel campo della verifica e dello sviluppo automatico dei programmi funzionali e logici, della teoria della programmazione concorrente e dei sistemi di riscrittura.
pagine: 260
formato: 17 x 24
ISBN: 978-88-7999-054-7
data pubblicazione: Gennaio 2004
editore: Aracne
SINTESI
Informativa      Aracneeditrice.it si avvale di cookie, anche di terze parti, per offrirti il migliore servizio possibile. Cliccando 'Accetto' o continuando la navigazione ne acconsenti l'utilizzo. Per saperne di più
Accetto