Libri di Frosini

La libertà costituzionale di manifestazione del pensiero consiste oggi in quello che l'art

Il volume offre allo studente una conoscenza del diritto pubblico, muovendo dalla trattazione dei temi classici della materia:

Di fronte alle tecnologie o sei apocalittico oppure integrato

Quale impatto hanno sul mondo del diritto la sempre maggiore disponibilità di enormi quantità di dati e gli algoritmi utilizza

"I 'calcolatori digitali' (o più semplicemente i calcolatori) sono macchine complesse in grado di elaborare 'informazioni'

In questo primo volume del testo "Architettura dei Calcolatori", dal titolo specifico "Struttura software del processore PC, Assembler e corrispondenza fra C++ e Assembler", viene anzitutto presentato il cosiddetto Processore PC (schematizzazione dei processori con architettura x86-32), con riferimento sia alle istruzioni della Arithmetic and Logic Unit per numeri naturali e interi, sia a quelle della Floating Point Unit per numeri reali. Viene quindi illustrato il linguaggio Assembler con riferimento al sistema operativo Unix e all'ambiente di programmazione GNU/GCC. La parte preponderante del testo è dedicata a illustrare le modalità con le quali si realizzano in Assembler i principali costrutti linguistici del linguaggio C++ (che si suppone noto), con particolare riferimento alle funzioni/operatori globali e alle funzioni/operatori membro di classi. Alcuni dei più significativi programmi che compaiono nel presente volume sono disponibili al sito internet: ing.unipi.it/LibroCalcolatori. Essi possono essere scaricati, evitando in tal modo una loro riscrittura, che spesso introduce insidiosi errori di battitura.

In questo secondo volume del testo "Architettura dei Calcolatori", dal titolo specifico "Struttura hardware del Processore PC,

In questo terzo volume del testo "Architettura dei Calcolatori", dal titolo specifico "Aspetti Architetturali Avanzati e Nucleo di Sistema Operativo". viene utilizzato il processore PC (illustrato nei primi due volumi del testo), anzitutto per trattare tematiche avanzate (memoria virtuale, protezione, multiprogrammazione) con riferimento ai Personal Computer. Viene quindi descritto un nucleo di sistema operativo (con processi, primitive di nucleo e primitive di I/O), che consente di trattare gli aspetti di interfaccia tra hardware e software, verificando sperimentalmente le funzionalità dei costrutti software basilari, e di gestire le più importanti interfacce presenti nei Personal Computer. Il nucleo descritto nel testo è stato effettivamente realizzato, utilizzando come strumenti di programmazione i linguaggi Assembler e C++ dell'ambiente GNU/GCC, e può essere eseguito utilizzando l'emulatore QEMU. Esso è disponibile al sito internet: ing.unipi.it/LibrooCalcolatori.

Il volume è stato progettato come principale supporto didattico per corsi di Statistica nelle facoltà di tipo economico-sociale. La sua impostazione, elementare dal punto di vista matematico ma concettualmente rigorosa, e l'ampia copertura della metodologia statistica, descrittiva e inferenziale, lo raccomandano sia per l'unico corso di Statistica previsto dal piano di studio sia per il primo di più insegnamenti di Statistica metodologica o applicata. Gli argomenti trattati si distribuiscono fra i temi più importanti della Statistica descrittiva e la Statistica induttiva o inferenziale, il cui scopo è formulare affermazioni su popolazioni (effettive o virtuali) a partire da un campione casuale. I modelli probabilistici, essenziali per la comprensione delle procedure inferenziali, occupano uno spazio adeguato nel volume. Le esemplificazioni utilizzate per dimostrare la concreta operatività dei diversi metodi sono assai numerose, e riguardano in particolare temi di grande rilievo in campo demografico, sociale, economico e tecnologico. La nuova edizione si avvale dell'esposizione più dettagliata di alcuni metodi, sia descrittivi che inferenziali, e della loro applicazione aggiornata a diversi fenomeni rilevanti in ambito economico-sociale. Una caratteristica peculiare del volume rimane l'ampia trattazione dei metodi non-parametrici, le cui applicazioni sono sempre più frequenti a causa delle ridotte assunzioni teoriche necessarie per il loro impiego.

Le tecniche di campionamento da una popolazione finita costituiscono una delle tematiche più importanti della statistica applicata. La conoscenza di queste tecniche è diventata essenziale di fronte alla sempre maggiore richiesta di sondaggi di opinione e indagini statistiche, quotidianamente utilizzati dai mezzi di comunicazione. L'impostazione del volume, pur essendo rigorosamente scientifica, viene incontro anche alle esigenze conoscitive dei non specialisti, chiarendo le operatività dei metodi con esempi volutamente semplici. Il lettore si trova quindi a seguire una trattazione sistematica che facilita l'apprendimento e lo studio a partire dai concetti di popolazione, di campione casuale, di stimatore, di strategia campionaria. L'approccio metodologico del volume è prevalentemente classico, tuttavia un capitolo è dedicato ad un altro approccio - quello da superpopolazione - che ha avuto in epoca più recente notevole sviluppo. Sono inoltre ampiamente trattati tutti gli argomenti che richiamano l'impiego delle variabili ausiliarie, come il campionamento con probabilità variabili, gli stimatori per quoziente e per regressione, quelli per piccole aree e quelli calibrati per la correzione degli errori non campionari. In particolare, quest'ultimo argomento costituisce un aspetto di grande interesse per i ricercatori e gli utilizzatori delle indagini campionarie e per tutti coloro che sono interessati a migliorare la qualità della ricerca.

In questo testo vengono illustrati i principi della programmazione e forniti elementi di strutture dati, facendo riferimento a