Vladimiro Sassone insegna Programmazione e Linguaggi di programmazione presso la Facoltà di Scienze MM.FF.NN. dell’Università degli Studi di Catania.

Totale ore corso: 66 di cui 22 per tutti gli allievi, 22 per gli allievi del gruppo A (allievi corsi di laurea in Ingegneria elettronica, Ingegneria informatica, Fisica e Chimica) e ulteriori 22 per il gruppo B (allievi corsi di laurea in Giurisprudenza e Scienze e Tecnologie Alimentari).

Programma del corso: Teoria dell'Informatica: introduzione; il concetto di algoritmo; la macchina di Turing; problemi indecidibili; Busy Beaver; macchine astratte, linguaggi e livelli di interpretazione; complessità computazionale; introduzione a Internet; reti locali; Ethernet; indirizzi IP & Gateways; porte TCP; Domain Name Service; circuiti logici; addizionatori.

Gruppo A: Programmazione funzionale: introduzione alla programmazione funzionale & Haskell; tipi di dato basici in Haskell; pattern matching; la regola di layout; ricorsione primitiva su interi; tipi composti: tuple; tipi di dato composti: liste; programmi su liste; polimorfismo parametrico; patterns di calcolo; funzioni di ordine elevato e schemi di programmazione notevoli; polimorfismo ad hoc: Overloading; classi e istanze; tipi di dato algebrici.

Gruppo B: Applicazioni dell’informatica: microprogrammazione; funzioni e struttura del sistema operativo; gestione dei processi: mono/multi-tasking, time-sharing; gestione memoria: overlay, memoria virtuale, segmentazione, paginazione; file systems; introduzione al software applicativo; Windows desktop; find, copy, cut & paste; Word, PowerPoint, Access, Excel.

Antony Lawson è lettore di madrelingua inglese presso la Facoltà di Scienze Politiche dell’Università degli Studi di Catania

Totale ore corso: 87

Programma del Corso: la preparazione al First Certificate si è svolta seguendo il testo First Certificate - Casa Editrice Cambridge, University Press – e sono state svolte le prime sei unità.

Marta Biordi è lettrice di madrelingua inglese presso la Facoltà di Scienze Politiche dell’Università degli Studi di Catania.

Totale ore corso: 87

Programma del corso: la preparazione per il CAE si è svolta seguendo il testo Masterclass - Casa Editrice Oxford - e sono state presentate le prime tre unità. Dopo ogni unità si è eseguita una prova di verifica.

Inoltre, durante il corso gli allievi hanno svolto 3 compiti scritti tratti dal CAE con risultati generalmente soddisfacenti.

Loredana Pavone: esperta linguistica di Madrelingua Italiana.

Totale ore corso: 250.

Programma del Corso: Il corso si è svolto utilizzando i libri in uso, materiale autentico allo scopo di consolidare e potenziare le abilità di comprensione e produzioni scritte ed orali.

Giuseppe Longo insegna Logica e Fondamenti di Informatica presso la Scuola Normale Superiore di Parigi.

Totale ore corso: 10

Programma del corso: Il problema dello spazio e la "svolta linguistica" nell'analisi dei fondamenti della matematica; il rigore, le definizioni e la deduzione formale; la calcolabilità e la Teoria dei Tipi; tipi come oggetti di categorie; ricorsività ed impredicatività nella semantica categoriale; sulle dimostrazioni dei teoremi indimostrabili: l'incompletezza "alla Goedel" ed i teoremi recenti di "incompletezza concreta"; il problema dello spazio ed i fondamenti della matematica, oggi: lo spazio fisico e del vivente nell'analisi della conoscenza matematica. Nuove sfide per l'Informatica: la geometria della concorrenza.

Giovanni Russo insegna Analisi numerica e Metodi di approssimazione presso la Facoltà di Scienze MM.FF.NN dell’Università degli Studi dell’Aquila.

Totale ore corso: 20

Programma del corso: Introduzione al corso; analisi dell’errore; rappresentazione dei numeri reali; numeri di macchina; operazioni di macchina; propagazione degli errori; condizionamento dei problemi e stabilità degli algoritmi; richiami di algebra lineare; spazi lineari, vettori e matrici; operazioni fra matrici; regola di Laplace; autovalori, autovettori e raggio spettrale; matrici hermitiane, ortogonali e definite positive; criterio di Sylvester; risoluzione dei sistemi algebrici lineari; regola di Cramer e Teorema di Rouche – Capelli; condizionamento di un sistema lineare e metodi di risoluzione; metodo di Gauss; fattorizzazioni; metodi compatti di Crout, Doolittle e Cholesk; metodi iterativi; matrici di iterazione e condizione di convergenza; metodi di Jacobi, Gauss-Seidel, SOR per punti e per blocchi; criteri di arresto; localizzazione degli autovalori nel piano complesso: teoremi Gershorin; metodo delle potenze per il calcolo dell’autovalore di modulo massimo di una matrice; tecnica di deflazione per autovalori successivi; metodi delle potenze inverse; esercizi di riepilogo; introduzione all’uso dei Matlab; approssimazione di dati e funzioni: concetti generali; interpolazioni polimoniale; implementazione di programmi in Matlab: metodo delle potenze e delle potenze inverse; metodo dei minimi quadrati; Utilizzo del Matlab per problemi di interpolazione polinomiali; l’importanza della scelta dei nodi: fenomeni di Runge.

Angelo Belfiore insegna Diritto Civile presso la Facoltà di Giurisprudenza dell’Università degli Studi di Catania.

Totale ore corso: 28

Programma del corso: L’interpretazione della legge (art. 12 disp. prel.): esegesi e sistema; l’analogia (art. 12, comma 2; art. 14 disp. prel.); il giudice e la legge: una valutazione circa il modello degli artt. 12 e 14 disp. prel.; il contratto e i motivi: la condizione; la contrattazione di massa: il modello del codice; la contrattazione di massa: le normative di importanza comunitaria; le tecniche della contrattazione individuale e il contratto preliminare; il contratto preliminare e i terzi; le intese simulatorie; la risoluzione del contratto; risoluzione del contratto e discipline dei contratti atipici; la responsabilità civile: il danno ingiusto; la responsabilità civile: i criteri di imputazione della responsabilità; la disciplina generale dei contratti e le tecniche di interpretazione della legge (casi e questioni).

Totale ore corso: 30

Vito De Pinto insegna Chimica Biologica presso la Facoltà di Scienze MM.FF.NN. dell’Università degli Studi di Catania.

Programma del corso: Introduzione alla Biologia Molecolare; le Macromolecole biologiche; gli acidi nucleici: struttura 1; gli acidi nucleici: struttura 2; le molecole di RNA; sintesi proteica; codice Genetico; la replicazione del DNA; la ricombinazione del DNA; trasposoni e retrosequenze; la trascrizione; regolazione della trascrizione nei procarioti; organizzazione ad operoni; un esempio di regolazione integrata in un organismo semplificato come lambda regolazione della trascrizione negli eucarioti; introduzione ai fattori di trascrizione; i genomi eucaristici; geni interrotti; le sequenze semplici del dna; il genoma degli orfanelli; elementi di ingegneria genetica.