Esculapio

Le modalità di verifica delle conoscenze degli studenti, in questi ultimi anni, sono notevolmente cambiate per adeguarsi a esigenze dovute a nuove organizzazioni didattiche. Così, "test" composti di domande corredate da risposte tra cui scegliere quella corretta, sono utilizzati, sempre più frequentemente, sia per valutare l'idoneità alla frequenza di corsi universitari dei neodiplomati

È questa la quarta edizione della raccolta di esercizi svolti su vari argomenti della ricerca operativa. I primi due capitoli riguardano la programmazione lineare intera ed i metodi di rilassamento: vengono presentati diversi problemi di produzione e decisione, vengono definiti i relativi modelli matematici e ne viene illustrata la soluzione mediante algoritmi (simplesso prima e duale, metodo dei piani di taglio, tecnica branch-and-bound, programmazione dinamica) e/o mediante interpretazione grafica. Il quinto capitolo comprende problemi di teoria dei grafi (alberi minimi, cammini minimi, circuiti hamiltoniani), di pianificazione delle attività (metodo CPM) e di flusso massimo. L'ultimo capitolo tratta modelli di simulazione numerica ad eventi discreti per la descrizione di sistemi complessi nei quali svolge ruolo primario la gestione nel tempo di code e di entità tra loro interagenti.

Questa raccolta comprende prove scritte d'esame di Fisica Generale assegnate agli studenti di diversi Corsi di Laurea della Facoltà di Ingegneria dell'Università di Bologna negli ultimi anni accademici, su temi classici di Meccanica e Termodinamica. I problemi vengono qui presentati in una prima campionatura, rispondendo all'esigenza, più volte manifestata dagli studenti stessi, di disporre di basi concrete. I temi sono suddivisi in due gruppi, Quesiti ed Esercizi. Quelli del primo gruppo sono costituiti da problemi di soluzione più semplice: essi hanno il compito di accertare il raggiungimento di una accettabile soglia inferiore di preparazione da parte dei candidati e per altro verso, ruolo preparatorio alle difficoltà degli Esercizi appartenenti al secondo gruppo, che corrispondono invece a problemi d'esame di livello più tradizionale

La presente raccolta di esercizi di Campi elettromagnetici vuole essere un sussidio didattico per lo studente che nell'ambito delle esercitazioni di questo insegnamento si trova a dover utilizzare sia conoscenze di base diffuse nei corsi precedenti, quali quelli di Matematica e Fisica che conoscenze più avanzate presentate in corsi paralleli quali quelli di Elettrotecnica e Metodi Matematici per l'Ingegneria. Sulla base della mia esperienza mi sono convinto che è importante che tutti gli studenti siano portati a utilizzare in modo il più possibile omogeneo gli strumenti base utili all'acquisizione delle conoscenze necessarie al superamento dell'esame.

Questo libro costituisce un'introduzione alla programmazione funzionale, con l'obiettivo di fornire sia i concetti e le tecniche di base utilizzate nei moderni linguaggi di programmazione funzionale, sia i fondamenti teorici che sono alla base di essi. Il libro è suddiviso in due parti. La prima parte è un'introduzione alla programmazione In Objective Carml, utilizzato come linguaggio di riferimento per illustrare i principi della programmazione funzionale. Particolare attenzione viene dedicata alla programmazione con funzioni di ordine superiore, che vengono introdotte fin dal primo capitolo, alla metodologia della ricorsione e alle strutture di dati fonda mentali, ponendo in luce la relazione tra tipi di dati induttivi, definizioni ricorsive e dimostrazioni induttive. Sono illustrati infine i concetti fondamentali del sistema dei moduli e il nucleo della programmazione imperativa in Objective Carml. La seconda parte illustra i fondamenti del paradigma del "calcolo come riduzione" alla base della programmazione funzionale. Essa contiene un'introduzione al lambda-calcolo, con una sintetica illustrazione del suo ruolo nello studio del concetto di calcolabilità e decidibilità. L'introduzione ai fondamenti della programmazione funzionale è completata dalla descrizione del sistema dei tipi dei linguaggi della classe ML e dall'analisi del concetto di valutazione in un ambiente, che evidenzia la differenza tra determinazione statica e dinamica del campo d'azione delle dichiarazioni. Il libro è il frutto di una decina d'anni di esperienza nei corsi di Fondamenti di Informatica II prima, di Programmazione Funzionale poi, presso la Facoltà di Ingegneria dell'Università degli Studi di Roma Tre.

Nell'ambito della formazione universitaria, è andato sempre più allargandosi il numero di corsi di base che adottano il C come linguaggio di programmazione. La scelta risulta sicuramente giustificata dall'ampio uso che dello stesso si fa in ambito industriale e accademico e dalla propedeuticità dello stesso in vista di un successivo passaggio alla programmazione in C++, ma lo studente che affronta per la prima volta l'attività di programmazione incontra spesso parecchie difficoltà nella risoluzione di problemi applicativi. Risultano particolarmente critiche: la formulazione dell'algoritmo risolutivo, la scelta delle strutture dati e l'uso appropriato delle - comode ma non immediate - funzioni di libreria per la gestione dell'input/output. Il presente volume raccoglie alcuni esercizi e temi d'esame (relativi al corso di Fondamenti di Informatica tenuto dal Prof. Licia Sbattella presso il Politecnico di Milano) ritenuti significativi nell'ambito: della definizione dell'algoritmo risolutivo, della scelta e gestione di tipi di dati e delle strutture di controllo, dell'uso dei file, della definizione e utilizzo di strutture dinamiche, della definizione e utilizzo di algoritmi di tipo ricorsivo. Ogni soluzione propone: una dettagliata spiegazione delle scelte operate (in termini di algoritmo, di strutture dati, di funzioni di libreria), lo pseudocodice relativo all'algoritmo implementato, il codice relativo all'implementazione, i risultati attesi a fronte di un determinato insieme di dati d'ingresso.