Corso di laurea: Informatica Programmazione per l'A.A. 2022/2023

Elaborazione Dati e Applicazioni

Secondo anno

Primo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Altro	Ore Studio	Attività	Lingua
1014263 - ALGORITMI E LABORATORIO
1014264 - ALGORITMI Canale: A - L - CANTONE Domenico (programma) Descrizione generale del corso Il corso presenta le principali metodologie di progettazione di algoritmi (incrementale, ricorsiva, programmazione dinamica, algoritmi golosi) e le tecniche per l'analisi di complessità, sia nel caso pessimo che nel caso medio. PROGRAMMA PARTICOLAREGGIATO DEL CORSO Introduzione Problemi computazionali e algoritmi: il problema dell'ordinamento Algoritmi come tecnologia Metodologia incrementale: algoritmo Insertion-Sort (correttezza e complessità) Metodologia divide-et-impera: algoritmo Merge-Sort (complessità) Notazioni asintotiche e relazioni tra esse Notazioni standard e funzioni comuni Ricorrenze Il metodo di sostituzione Il metodo iterativo e dell'albero di ricorsione Il teorema master Ordinamento e statistiche d'ordine Heap e procedura per la sua costruzione L'algoritmo Heapsort Code di priorità L'algoritmo Quicksort e sua versione randomizzata Analisi di Quicksort nel caso peggiore e nel caso medio Limiti inferiori per l'ordinamento Ordinamento in tempo lineare: algoritmi Counting-Sort, Radix-Sort, Bucket-Sort Mediane e statistiche d'ordine Hashing Tabelle hash Funzioni hash (metodo della divisione, metodo della moltiplicazione, hashing universale) Indirizzamento aperto Alberi rosso-neri Rotazioni, inserimenti, cancellazioni Analisi di complessità Elementi della programmazione dinamica Sottostruttura ottima, ripetizione dei sottoproblemi, ricostruzione di una soluzione ottima Alcuni casi di studio: programmazione delle catene di montaggio, moltiplicazione di una sequenza di matrici, la più lunga sottosequenza comune, distanza di editing Elementi della strategia golosa Proprietà della scelta golosa, sottostruttura ottima Alcuni casi di studio: problema della selezione di attività, costruzione di un codice di Huffman Algoritmi elementari per grafi Cammini minimi da sorgente unica: algoritmo di Bellman-Ford, cammini minimi da sorgente unica nei grafi orientati aciclici, algoritmo di Dijkstra Cammini minimi tra tutte le coppie: algoritmo di Floyd-Warshall, chiusura transitiva di un grafo orientato Il libro di testo consigliato è: T.H. Cormen, C.E. Leiserson, R.L. Rivest, C. Stein. Introduction to algorithms (Third Edition), The MIT Press, Cambridge - Massachusetts, 2009 disponibile anche nella traduzione italiana 1) T.H. Cormen, C.E. Leiserson, R.L. Rivest, C. Stein. Introduzione agli algoritmi e strutture dati 3/ed, McGraw-Hill Italia, 2010. Canale: M - Z - FARO SIMONE (programma) Descrizione generale del corso Il corso presenta le principali metodologie di progettazione di algoritmi (incrementale, ricorsiva, programmazione dinamica, algoritmi golosi) e le tecniche per l'analisi di complessità, sia nel caso pessimo che nel caso medio. PROGRAMMA PARTICOLAREGGIATO DEL CORSO Introduzione Problemi computazionali e algoritmi: il problema dell'ordinamento Algoritmi come tecnologia Metodologia incrementale: algoritmo Insertion-Sort (correttezza e complessità) Metodologia divide-et-impera: algoritmo Merge-Sort (complessità) Notazioni asintotiche e relazioni tra esse Notazioni standard e funzioni comuni Ricorrenze Il metodo di sostituzione Il metodo iterativo e dell'albero di ricorsione Il teorema master Ordinamento e statistiche d'ordine Heap e procedura per la sua costruzione L'algoritmo Heapsort Code di priorità L'algoritmo Quicksort e sua versione randomizzata Analisi di Quicksort nel caso peggiore e nel caso medio Limiti inferiori per l'ordinamento Ordinamento in tempo lineare: algoritmi Counting-Sort, Radix-Sort, Bucket-Sort Mediane e statistiche d'ordine Hashing Tabelle hash Funzioni hash (metodo della divisione, metodo della moltiplicazione, hashing universale) Indirizzamento aperto Alberi rosso-neri Rotazioni, inserimenti, cancellazioni Analisi di complessità Elementi della programmazione dinamica Sottostruttura ottima, ripetizione dei sottoproblemi, ricostruzione di una soluzione ottima Alcuni casi di studio: programmazione delle catene di montaggio, moltiplicazione di una sequenza di matrici, la più lunga sottosequenza comune, distanza di editing Elementi della strategia golosa Proprietà della scelta golosa, sottostruttura ottima Alcuni casi di studio: problema della selezione di attività, costruzione di un codice di Huffman Algoritmi elementari per grafi Cammini minimi da sorgente unica: algoritmo di Bellman-Ford, cammini minimi da sorgente unica nei grafi orientati aciclici, algoritmo di Dijkstra Cammini minimi tra tutte le coppie: algoritmo di Floyd-Warshall, chiusura transitiva di un grafo orientato Il libro di testo consigliato è: T.H. Cormen, C.E. Leiserson, R.L. Rivest, C. Stein. Introduction to algorithms (Third Edition), The MIT Press, Cambridge - Massachusetts, 2009 disponibile anche nella traduzione italiana 1) T.H. Cormen, C.E. Leiserson, R.L. Rivest, C. Stein. Introduzione agli algoritmi e strutture dati 3/ed, McGraw-Hill Italia, 2010.	6	INF/01	24	24	-	-	-	Attività formative caratterizzanti	ITA
1014265 - LABORATORIO Canale: A - L - SANTAMARIA DANIELE FRANCESCO (programma) Il modulo di Laboratorio di Algoritmi ha lo scopo di fornire gli strumenti per l'implementazione degli algoritmi e delle strutture dati trattate nel corso di Algoritmi, attraverso l'utilizzo della programmazione ad oggetti. Il linguaggio C++ verrà usato come strumento principale per presentare le implementazioni delle strutture dati e degli algoritmi. T.H. Cormen, C.E. Leiserson, R.L. Rivest, C. Stein. Introduction to algorithms (Third Edition), The MIT Press, Cambridge - Massachusetts, 2009. La versione in lingua originale è obbligatoria. Canale: M - Z - SANTAMARIA DANIELE FRANCESCO (programma) Il modulo di Laboratorio di Algoritmi ha lo scopo di fornire gli strumenti per l'implementazione degli algoritmi e delle strutture dati trattate nel corso di Algoritmi, attraverso l'utilizzo della programmazione ad oggetti. Il linguaggio C++ verrà usato come strumento principale per presentare le implementazioni delle strutture dati e degli algoritmi. T.H. Cormen, C.E. Leiserson, R.L. Rivest, C. Stein. Introduction to algorithms (Third Edition), The MIT Press, Cambridge - Massachusetts, 2009. La versione in lingua originale è obbligatoria.	3	INF/01	12	-	12	-	-	Attività formative caratterizzanti	ITA
1015928 - INTERAZIONE E MULTIMEDIA E LABORATORIO
1015929 - INTERAZIONE E MULTIMEDIA Canale: A - L - STANCO FILIPPO (programma) Introduzione alle immagini digitali Formazione della immagini nell’occhio umano Equazione della lente sottile Illusioni ottiche I sensori digitali Il Bayer pattern Color interpolation Immagini Raster e immagini vettoriali Rappresentazione delle immagini raster Campinamento Quantizzazione Aliasing Risoluzione delle immagini digitali Interpolazione replication, bilineare e bicubica Il PSNR Il colore Gli spazi di colore RGB, CMY, HSV, Munsell, YUV, YCbCr Le immagini indicizzate e le palette Il reindexing L’istogramma di una immagine Le operazioni puntuali e le LUT Bit-planes Operatori lineari e invarianti per traslazione Noise reduction Edge detection Dominio spaziale Dominio delle frequenze Trasformata di Fourier La convoluzione e il teorema della convoluzione Compressione lossy e lossless Teorema di Shannon per la compressione Codifica di Huffman Lo standard Jpeg Qualora l'insegnamento venisse impartito in modalità mista o a distanza potranno essereintrodotte le necessarie variazioni rispetto a quanto dichiarato inprecedenza, al fine di rispettareil programma previsto e riportato nel syllabus Fondamenti di Image Processingdi S. Battiato e F. Stanco -Ediargo ELABORAZIONE DELLE IMMAGINI DIGITALI,Terza Edizione,Rafael C. Gonzalez, Richard E. Woods,Ediz. Pearson, Prentice Hall Canale: M - Z - ALLEGRA DARIO (programma) Introduzione alle immagini digitali Formazione della immagini nell’occhio umano Equazione della lente sottile Illusioni ottiche I sensori digitali Il Bayer pattern Color interpolation Immagini Raster e immagini vettoriali Rappresentazione delle immagini raster Campinamento Quantizzazione Aliasing Risoluzione delle immagini digitali Interpolazione replication, bilineare e bicubica Il PSNR Il colore Gli spazi di colore RGB, CMY, HSV, Munsell, YUV, YCbCr Le immagini indicizzate e le palette Il reindexing L’istogramma di una immagine Le operazioni puntuali e le LUT Bit-planes Operatori lineari e invarianti per traslazione Noise reduction Edge detection Dominio spaziale Dominio delle frequenze Trasformata di Fourier La convoluzione e il teorema della convoluzione Compressione lossy e lossless Teorema di Shannon per la compressione Codifica di Huffman Lo standard Jpeg Fondamenti di Image Processingdi S. Battiato e F. Stanco -Ediargo ELABORAZIONE DELLE IMMAGINI DIGITALI,Terza Edizione,Rafael C. Gonzalez, Richard E. Woods,Ediz. Pearson, Prentice Hall	6	INF/01	24	24	-	-	-	Attività formative caratterizzanti	ITA
1015930 - LABORATORIO Canale: A - L - STANCO FILIPPO (programma) Introduzione a Processingmetodi principali e variabili principali: settings(), setup(), draw() e frameRate, width, heigth, ecc…;principali primitive di disegno ellipse(), rect(), line(), bezier(), beginShape(), ecc… e modificatori ellipseMode(), rectMode(), ecc…tipo color e metodo color().Interazione utente e rilevamento input da mouse e da tastieravariabili mousePressed, keyPressed, mouseButton, key, keycode;metodi mousePressed(), keyPressed(), mouseReleased(), mouseClicked().Operazioni affini per il disegno:Metodi rotate(), shearX(), shearY(), translate(), applyMatrix() più pushMatrix() e popMatrix().Classi e oggetti in Processing, ereditarietà e strutture dati.Elaborazione immagini, classe PImage e metodi;metodi Processing: loadImage(), createImage(), copy(), red(), green(), blue(), saveFrame();metodi e variabili di PImage: save(), get(), set(), loadPixels(), updatePixels(), pixels, ecc…..Implementazione algoritmi di elaborazione immaginequantizzazione uniforme e logaritmica;interpolazione replication e calcolo PSNR;operazioni puntuali: negativo, logaritmo e gamma;stretching dell’istogramma e equalizzazione;operazioni affini per l’immagine: rotazione, scaling, shear;operatori locali di rango: mediano, massimo e minimo;operatori locali lineari e invarianti per traslazione applicati mediante convoluzione: sobel, prewitt, media N box, ecc…;estrazione bitplane. Documentazione ufficiale di Processing:https://processing.org/reference/“Algorithms for Visual Design Using the Processing Language” - Kostas Terzidis - Wiley Publishing.“Learning Processing: A Beginner's Guide to Programming Images, Animation, and Interaction” - Daniel Shiffman - Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.“Getting Started with Processing” - Casey Reas and Ben Fry - Make Books, Sebastopol, CA. Canale: M - Z - ALLEGRA DARIO (programma) Introduzione a Processingmetodi principali e variabili principali: settings(), setup(), draw() e frameRate, width, heigth, ecc…;principali primitive di disegno ellipse(), rect(), line(), bezier(), beginShape(), ecc… e modificatori ellipseMode(), rectMode(), ecc…tipo color e metodo color().Interazione utente e rilevamento input da mouse e da tastieravariabili mousePressed, keyPressed, mouseButton, key, keycode;metodi mousePressed(), keyPressed(), mouseReleased(), mouseClicked().Operazioni affini per il disegno:Metodi rotate(), shearX(), shearY(), translate(), applyMatrix() più pushMatrix() e popMatrix().Classi e oggetti in Processing, ereditarietà e strutture dati.Elaborazione immagini, classe PImage e metodi;metodi Processing: loadImage(), createImage(), copy(), red(), green(), blue(), saveFrame();metodi e variabili di PImage: save(), get(), set(), loadPixels(), updatePixels(), pixels, ecc…..Implementazione algoritmi di elaborazione immaginequantizzazione uniforme e logaritmica;interpolazione replication e calcolo PSNR;operazioni puntuali: negativo, logaritmo e gamma;stretching dell’istogramma e equalizzazione;operazioni affini per l’immagine: rotazione, scaling, shear;operatori locali di rango: mediano, massimo e minimo;operatori locali lineari e invarianti per traslazione applicati mediante convoluzione: sobel, prewitt, media N box, ecc…;estrazione bitplane. Documentazione ufficiale di Processing:https://processing.org/reference/“Algorithms for Visual Design Using the Processing Language” - Kostas Terzidis - Wiley Publishing.“Learning Processing: A Beginner's Guide to Programming Images, Animation, and Interaction” - Daniel Shiffman - Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.“Getting Started with Processing” - Casey Reas and Ben Fry - Make Books, Sebastopol, CA.	3	INF/01	12	-	12	-	-	Attività formative caratterizzanti	ITA
1000416 - BASI DI DATI Canale: A - L - PULVIRENTI ALFREDO (programma) Introduzione alle basi di dati:modelli dei dati, generalità sui DBMS. Il modello dei dati:Il modello Relazionale.Relazioni, attributi, istanze di relazione, tuple. Vincoli di integrità, concetto di chiave.Algebra relazionale: operatori fondamentali e derivati. Il linguaggio SQL (Structured Query Language).Il linguaggio di definizione dei dati: definizione di tabelle, domini, indici. Specifica di semplici vincoli di integrità.Il linguaggio di interrogazione: operatori di join-selezione-proiezione, operatori aggregati, operatore di raggruppamento.Interrogazioni nidificate e correlate, operatori insiemistici. Query ricorsive. Il linguaggio di manipolazione dei dati: inserimento, eliminazione e modifica di tuple. Definizione di viste, vincoli di integrità generici.Controllo dell'accesso ad una base di dati. Basi di dati attive. Progettazione delle basi di dati:Progettazione concettuale;Progettazione logica;Progettazione fisica Normalizzazione delle basi di dati:Anomalie.Dipendenze Funzionali.Decomposizioni di Schemi : che conservano i dati, che conservano le dipendenze funzionali.Forme Normali: di Boyce-Codd e 3NF. Basi di dati XML Introduzione ai NoSQL database. Sistemi:MySQL (interfacce php/javaScript/Ajax). CouchDB, MongoDB. Testi adottati: Atzeni,Ceri,Paraboschi, Fraternali, Torlone, Basi di Dati, McGraw-Hill. Albano-Ghelli-Orsini, Fondamenti di basi di dati, Zanichelli. Altri testi utili: Garcia-Molina, Ullman, Widow Database Systems: The Complete Book, Prentice Hall. Canale: M - Z - ALAIMO SALVATORE (programma) Introduzione alle basi di dati: modelli dei dati, generalità sui DBMS. Il modello dei dati: Il modello Relazionale. Relazioni, attributi, istanze di relazione, tuple. Vincoli di integrità, concetto di chiave. Algebra relazionale: operatori fondamentali e derivati. Il linguaggio SQL (Structured Query Language). Il linguaggio di definizione dei dati: definizione di tabelle, domini, indici. Specifica di semplici vincoli di integrità. Il linguaggio di interrogazione: operatori di join-selezione-proiezione, operatori aggregati, operatore di raggruppamento. Interrogazioni nidificate e correlate, operatori insiemistici. Query ricorsive. Il linguaggio di manipolazione dei dati: inserimento, eliminazione e modifica di tuple. Definizione di viste, vincoli di integrità generici. Controllo dell'accesso ad una base di dati. Basi di dati attive. Progettazione delle basi di dati: Progettazione concettuale; Progettazione logica; Progettazione fisica Normalizzazione delle basi di dati: Anomalie. Dipendenze Funzionali. Decomposizioni di Schemi : che conservano i dati, che conservano le dipendenze funzionali. Forme Normali: di Boyce-Codd e 3NF. Basi di dati XML Introduzione ai NoSQL database. Sistemi: MySQL (interfacce php/javaScript/Ajax). CouchDB, MongoDB. Testi adottati: Atzeni,Ceri,Paraboschi, Fraternali, Torlone, Basi di Dati, McGraw-Hill. Albano-Ghelli-Orsini, Fondamenti di basi di dati, Zanichelli. Altri testi utili: Garcia-Molina, Ullman, Widow Database Systems: The Complete Book, Prentice Hall.	9	INF/01	36	36	-	-	-	Attività formative caratterizzanti	ITA
1015123 - ELEMENTI DI ANALISI MATEMATICA 2 Canale: A - L - CIRMI Giuseppa Rita (programma) 1. Funzioni reali di più variabili reali Limiti e continuità per una funzione di due o più variabili. Derivate parziali. Differenziabilità. Ricerca degli estremi assoluti e relativi. 2. Integrazione indefinita e definita Primitive. Integrale indefinito e sue proprietà. Metodi di integrazione indefinita Integrali di particolari classi di funzioni. Cenni sulla misura secondo Peano-Jordan.Funzioni integrabili secondo Riemann. Classi di funzioni integrabili. Proprietà dell’integrale definito.Funzione integrale. Formula fondamentale del calcolo integrale. Cenni sugli integrali impropri. 3. Equazioni differenziali Generalità. Problema di Cauchy. Equazioni del primo ordine a variabili separabili. Equazioni lineari. Metodi risolutivi per le equazioni lineari a coefficienti costanti. 4. Serie numeriche e cenni sulle serie di funzioni Generalità sulle serie numeriche. Serie a termini di segno costante. Serie assolutamente convergenti. Serie a segni alterni. Proprietà commutativa. Cenni sulle serie di potenze. Sviluppo in serie di alcune funzioni elementari. Il programma dettagliato sarà disponibile alla fine del corso. Tutti gli argomenti trattati sono indispensabili per acquisire una buona conoscenza della materia e tutti saranno oggetto delle prove d’esame. Per alcuni teoremi non verrà richiesta la dimostrazione. Per conoscere il grado di approfondimento con cui saranno presentati i singoli argomenti si raccomanda di frequentare le lezioni. Sul diario delle lezioni aggiornato su Studium si potrà conoscere in dettaglio quali argomenti sono stati trattati. Frequentare regolarmente le lezioni e partecipare attivamente ad esse e alle attività integrative agevoleranno l’apprendimento. Per la teoria 1. Sul portale Studium verranno pubblicate le dispense che costituiscono il testo ufficiale del corsoe Tali appunti sono destinati esclusivamente agli studenti del corso ed è vietato ogni altro utilizzo. Per gli esercizi 2. P.Marcellini, C. Sbordone, Esercitazioni di Matematica, Vol. 1, parte seconda e Vol. 2 parte prima, Zanichelli. Canale: M - Z - NASELLI Ornella (programma) 1.Funzioni reali di più variabili reali. Limiti e continuità per una funzione di due o più variabili. Derivate parziali. Differenziabilità. Ricerca degli estremi assoluti e relativi. 2.Serie numeriche e cenni sulle serie di funzioni.Generalità sulle serie numeriche. Serie a termini di segno costante. Serie assolutamente convergenti. Serie a segni alterni. Proprietà commutativa. Cenni sulle serie di potenze. Sviluppo in serie di alcune funzioni elementari. 3.Integrazione indefinita e definita secondo Riemann.Primitive. Integrale indefinito e sue proprietà. Metodi di integrazione indefinita Integrali di particolari classi di funzioni. Cenni sulla misura secondo Peano-Jordan.Funzioni integrabili secondo Riemann. Classi di funzioni integrabili. Proprietà dell’integrale definito. Funzione integrale. Formula fondamentale del calcolo integrale.4.Equazioni differenziali. Generalità. Problema di Cauchy. Equazioni del primo ordine a variabili separabili. Equazioni lineari. Metodi risolutivi per le equazioni lineari a coefficienti costanti. ----------------------------------------------------------------------------------------------- Il programma dettagliato sarà disponibile alla fine del corso. Tutti gli argomenti trattati sono indispensabili per acquisire una buona conoscenza della materia e tutti saranno oggetto delle prove d’esame. Per alcuni teoremi non verrà richiesta la dimostrazione. Per conoscere il grado di approfondimento con cui saranno presentati i singoli argomenti si raccomanda di frequentare le lezioni. Sul diario delle lezioni, aggiornato quotidianamente su Studium, si potrà conoscere in dettaglio quali argomenti sono stati trattati. Frequentare regolarmente le lezioni e partecipare attivamente ad esse e alle attività integrative agevolerà l’apprendimento. Sul portale Studium verranno pubblicate delle dispense che costituiscono il testo ufficiale del corso e dei file contenenti esercizi. Tali appunti sono destinati esclusivamente agli studenti del corso ed è vietato ogni altro utilizzo.	6	MAT/05	18	36	-	-	-	Attività formative affini ed integrative	ITA

Secondo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Altro	Ore Studio	Attività	Lingua
1000411 - RETI DI CALCOLATORI Canale: A - L - RICCOBENE Salvatore Antonio (programma) Introduzione alle Reti di Calcolatori Architettura di una rete. Il sistema a livelli nell'architettura di una rete. Servizi e funzionalità dei vari livelli L'architettura del protocollo OSI. I livelli del TCP/IP. Confronto architetturale tra OSI e TCP/IP. Comunicazioni affidabili e non affidabili. Servizi con connessione e senza connessione Primitive di servizio Reti broadcast, multicast, punto-punto PAN, LAN, MAN e WAN. Commutazione di circuito e commutazione di pacchetto. Reti a circuito virtuale. Application Layer Comunicazione tra processi Lo schema Client - Server Affidabilità delle comunicazioni e coerenza dei dati end-to end Requisiti temporali e di affidabilità delle applicazioni Indirizzamento dei processi. Well Known Ports, Registered Ports e User Ports Il protocollo HTTP Formato dei pacchetti HTTP Il protocollo FTP Confronto tra HTTP e FTP Il protocollo SMTP POP e IMAP Il protocollo DNS - I record DNS Cenni sul protocollo SNMP Transport Layer Il modello Client-Server Indirizzamento a livello di trasporto (Mux -demux) I Server multipli Il livello di Trasporto in IP: UDP e TCP. Formato delle frame UDP Protocolli di trasferimento affidabile su canali inaffidabili Velocità di trasferimento dati di un canale Tempo di latenza Velocità di trasferimento end-to-end - Banda disponibile ai livelli superiori Protocolli Stop and wait, Go back N, Ripetizione selettiva Il protocollo TCP. Formato dei pacchetti TCP Tempi di Round Trip. Gestione dei Timer. Fast Retransmit Finestra di ricezione e gestione ACK in TCP Servizi orientati alla connessione. Apertura e chiusura delle connessioni: problemi teorici e soluzioni implementative La congestione nelle reti di comunicazione: aspetti teorici e possibili soluzioni Controllo del Flusso e controllo della Congestione Il controllo della congestione in TCP: varianti Tahoe e Reno. Fairness tra connessioni TCP concorrenti: dimostrazione grafica. Network Layer Introduzione al livello di Rete. Servizi Datagram e servizi con circuito virtuale. Confronto delle caratteristiche Algoritmi di routing: algoritmi centralizzati e distribuiti.Flooding: metodi di controllo del floodingDistance Vectors. Link State RoutingAlgoritmo di DijkstraConfronto tra DV e LS. Routing gerarchico. Implementazioni RIP e OSPF. Cenni su BGP. Il protocollo IPv4. Formato dei pacchetti IPv4. Indirizzi IPv4. Le Sottoreti. Tabelle di routing per host e router Indirizzamento IP su LAN ethernet Indirizzamento intraLAN e interLAN Frammentazione dei pacchetti IPv4 Protocolli su IP: ICMP, ARP, RARP, BOOTP, DHCP, NAT. Il protocollo IPv6 Indirizzi IPv6: indirizzamento Anycast, Unicast, Broadcast e Multicast. Indirizzi di canale Header opzionali Cenni sui Firewall. Data Link Layer Tecniche di Framing dei dati. Codifica a due livelli, a tre livelli, a cinque livelli Codifica 4B/5B, 8B/10B Aspetti teorici per la rilevazione degli errori. Uso della ridondanza nelle comunicazioni. Il CRC. Calcolo del CRC. Correzione degli errori: aspetti teorici Distanza di Hamming. I codici di Hamming. Il sottolivello MAC Protocolli del Data Link per il MAC FDMA, TDMA, CDMA Aloha puro e slotted. CSMA CSMA/CD Protocolli senza collisioni Cenni sui protocolli a turno (token) Le LAN IEEE 802 (.1 .2). IEEE 802.3. Ethernet, Fast Ethernet, GigabitEthernet. Schemi di Trellis e decodifica di Viterbi. Schemi di interconnessione in Ethernet Repeater, Hub, Bridge, Switch Bridge trasparenti. Schemi di indirizzamento flat. Confronto tra indirizzamento piatto ed indirizzamento gerarchico: vantaggi e svantaggi Indirizzi MAC Le VLAN: Untagged e Tagged - IEEE 802.1Q Laboratorio di RetiI sistemi virtualizzati: aspetti teorici e implementazioni Creazione di una VM linux based Configurazione di una VM e collegamento in una LAN privata Configurazione di una interfaccia di rete con IPv4 e IPv6. Configurazione delle tabelle di routing. Configurazione di una rete con LAN differenti connesse da router. Uso dei socket in C.Socket bloccanti e non bloccantiEsempio di un sistema Client Server con UDP, con IPv4 e IPv6 Esempio di un sistema multiserver con TCP, con IPv4 e IPv6 J.F. Kurose - K. W. Ross: Internet e Reti di calcolatori D.E. Comer: Internetworking con TCP/IP - vol.1 A. Tanenbaum: Reti di Computer - GUARNERA LUCA (programma) Introduzione alle Reti di CalcolatoriArchitettura di una rete.Il sistema a livelli nell'architettura di una rete.Servizi e funzionalità dei vari livelliL'architettura del protocollo OSI. I livelli del TCP/IP.Confronto architetturale tra OSI e TCP/IP.Comunicazioni affidabili e non affidabili.Servizi con connessione e senza connessionePrimitive di servizioReti broadcast, multicast, punto-puntoPAN, LAN, MAN e WAN.Commutazione di circuito e commutazione di pacchetto.Reti a circuito virtuale.Application LayerComunicazione tra processiLo schema Client - ServerAffidabilità delle comunicazioni e coerenza dei dati end-to endRequisiti temporali e di affidabilità delle applicazioniIndirizzamento dei processi.Well Known Ports, Registered Ports e User PortsIl protocollo HTTPFormato dei pacchetti HTTPIl protocollo FTPConfronto tra HTTP e FTPIl protocollo SMTPPOP e IMAPIl protocollo DNS - I record DNSCenni sul protocollo SNMPTransport LayerIl modello Client-ServerIndirizzamento a livello di trasporto (Mux -demux)I Server multipliIl livello di Trasporto in IP: UDP e TCP.Formato delle frame UDPProtocolli di trasferimento affidabile su canali inaffidabiliVelocità di trasferimento dati di un canaleTempo di latenzaVelocità di trasferimento end-to-end - Banda disponibile ai livelli superioriProtocolli Stop and wait, Go back N, Ripetizione selettivaIl protocollo TCP. Formato dei pacchetti TCPTempi di Round Trip. Gestione dei Timer. Fast RetransmitFinestra di ricezione e gestione ACK in TCPServizi orientati alla connessione.Apertura e chiusura delle connessioni: problemi teorici e soluzioni implementativeLa congestione nelle reti di comunicazione: aspetti teorici e possibili soluzioniControllo del Flusso e controllo della CongestioneIl controllo della congestione in TCP: varianti Tahoe e Reno.Fairness tra connessioni TCP concorrenti: dimostrazione grafica.Network LayerIntroduzione al livello di Rete.Servizi Datagram e servizi con circuito virtuale. Confronto delle caratteristicheAlgoritmi di routing.Algoritmi centralizzati e distribuiti.Algoritmo di DijkstraFlooding: metodi di controllo del floodingDistance Vectors.Link State RoutingConfronto tra DV e LS.Routing gerarchico.Implementazioni RIP e OSPF.Cenni su BGP.Il protocollo IPv4.Formato dei pacchetti IPv4.Indirizzi IPv4. Le Sottoreti.Tabelle di routing per host e router Indirizzamento IP su LAN ethernetIndirizzamento intraLAN e interLANFrammentazione dei pacchetti IPv4Protocolli su IP: ICMP, ARP, RARP, BOOTP, DHCP, NAT.Il protocollo IPv6Indirizzi IPv6: indirizzamento Anycast, Unicast, Broadcast e Multicast.Indirizzi di canaleHeader opzionaliCenni sui Firewall.Data Link LayerTecniche di Framing dei dati.Codifica a due livelli, a tre livelli, a cinque livelliCodifica 4B/5B, 8B/10BAspetti teorici per la rilevazione degli errori.Uso della ridondanza nelle comunicazioni.Il CRC. Calcolo del CRC.Correzione degli errori: aspetti teoriciDistanza di Hamming.I codici di Hamming.Il sottolivello MACProtocolli del Data Link per il MACFDMA, TDMA, CDMAAloha puro e slotted.CSMACSMA/CDProtocolli senza collisioniCenni sui protocolli a turno (token)Le LAN IEEE 802 (.1 .2).IEEE 802.3.Ethernet, Fast Ethernet, GigabitEthernet.Schemi di Trellis e decodifica di Viterbi.Schemi di interconnessione in EthernetRepeater, Hub, Bridge, SwitchBridge trasparenti.Schemi di indirizzamento flat.Confronto tra indirizzamento piatto ed indirizzamento gerarchico: vantaggi e svantaggiIndirizzi MACLe VLAN: Untagged e Tagged - IEEE 802.1QIl livello fisicoAnalisi di Fourier di un segnale periodicoAnalisi nel dominio del tempo e nel dominio delle frequenzeDistorsioni nei segnaliLarghezza di banda, rumore e quantizzazioneTeoremi di Nyquist e di Shannon.Applicazione dell'analisi di Fourier alle trasmissioni sui canali realiLa modulazione: ampiezza, frequenza e faseI mezzi trasmissivi: Il doppino in rame, il cavo coassiale, la fibra ottica.Confronto tra le prestazioni dei mezzi cablati: i cavi Cat3, 5, 6, 7Cenni sulle reti wireless.I sistemi a commutazione di circuito.I modem analogici - la modulazione.Linee ADSL, xDSL, VDSLTecniche di Multiplexaggio: FDM, WDM, TDM.Laboratorio di RetiI sistemi virtualizzati: aspetti teorici e implementazioniCreazione di una VM linux basedConfigurazione di una VM e collegamento in una LAN privataConfigurazione di una interfaccia di rete con IPv4 e IPv6.Configurazione delle tabelle di routing.Configurazione di una rete con LAN differenti connesse da router.Uso dei socket in C.Esempio di un sistema Client server con UDPEsempio di un sistema multiserver con TCP J.F. Kurose - K. W. Ross: Internet e Reti di calcolatoriD.E. Comer: Internetworking con TCP/IP - vol.1A. Tanenbaum: Reti di Computer Canale: M - Z - RICCOBENE Salvatore Antonio (programma) Introduzione alle Reti di Calcolatori Architettura di una rete. Il sistema a livelli nell'architettura di una rete. Servizi e funzionalità dei vari livelli L'architettura del protocollo OSI. I livelli del TCP/IP. Confronto architetturale tra OSI e TCP/IP. Comunicazioni affidabili e non affidabili. Servizi con connessione e senza connessione Primitive di servizio Reti broadcast, multicast, punto-punto PAN, LAN, MAN e WAN. Commutazione di circuito e commutazione di pacchetto. Reti a circuito virtuale. Application Layer Comunicazione tra processi Lo schema Client - Server Affidabilità delle comunicazioni e coerenza dei dati end-to end Requisiti temporali e di affidabilità delle applicazioni Indirizzamento dei processi. Well Known Ports, Registered Ports e User Ports Il protocollo HTTP Formato dei pacchetti HTTP Il protocollo FTP Confronto tra HTTP e FTP Il protocollo SMTP POP e IMAP Il protocollo DNS - I record DNS Cenni sul protocollo SNMP Transport Layer Il modello Client-Server Indirizzamento a livello di trasporto (Mux -demux) I Server multipli Il livello di Trasporto in IP: UDP e TCP. Formato delle frame UDP Protocolli di trasferimento affidabile su canali inaffidabili Velocità di trasferimento dati di un canale Tempo di latenza Velocità di trasferimento end-to-end - Banda disponibile ai livelli superiori Protocolli Stop and wait, Go back N, Ripetizione selettiva Il protocollo TCP. Formato dei pacchetti TCP Tempi di Round Trip. Gestione dei Timer. Fast Retransmit Finestra di ricezione e gestione ACK in TCP Servizi orientati alla connessione. Apertura e chiusura delle connessioni: problemi teorici e soluzioni implementative La congestione nelle reti di comunicazione: aspetti teorici e possibili soluzioni Controllo del Flusso e controllo della Congestione Il controllo della congestione in TCP: varianti Tahoe e Reno. Fairness tra connessioni TCP concorrenti: dimostrazione grafica. Network Layer Introduzione al livello di Rete. Servizi Datagram e servizi con circuito virtuale. Confronto delle caratteristiche Algoritmi di routing: algoritmi centralizzati e distribuiti.Flooding: metodi di controllo del floodingDistance Vectors. Link State RoutingAlgoritmo di DijkstraConfronto tra DV e LS. Routing gerarchico. Implementazioni RIP e OSPF. Cenni su BGP. Il protocollo IPv4. Formato dei pacchetti IPv4. Indirizzi IPv4. Le Sottoreti. Tabelle di routing per host e router Indirizzamento IP su LAN ethernet Indirizzamento intraLAN e interLAN Frammentazione dei pacchetti IPv4 Protocolli su IP: ICMP, ARP, RARP, BOOTP, DHCP, NAT. Il protocollo IPv6 Indirizzi IPv6: indirizzamento Anycast, Unicast, Broadcast e Multicast. Indirizzi di canale Header opzionali Cenni sui Firewall. Data Link Layer Tecniche di Framing dei dati. Codifica a due livelli, a tre livelli, a cinque livelli Codifica 4B/5B, 8B/10B Aspetti teorici per la rilevazione degli errori. Uso della ridondanza nelle comunicazioni. Il CRC. Calcolo del CRC. Correzione degli errori: aspetti teorici Distanza di Hamming. I codici di Hamming. Il sottolivello MAC Protocolli del Data Link per il MAC FDMA, TDMA, CDMA Aloha puro e slotted. CSMA CSMA/CD Protocolli senza collisioni Cenni sui protocolli a turno (token) Le LAN IEEE 802 (.1 .2). IEEE 802.3. Ethernet, Fast Ethernet, GigabitEthernet. Schemi di Trellis e decodifica di Viterbi. Schemi di interconnessione in Ethernet Repeater, Hub, Bridge, Switch Bridge trasparenti. Schemi di indirizzamento flat. Confronto tra indirizzamento piatto ed indirizzamento gerarchico: vantaggi e svantaggi Indirizzi MAC Le VLAN: Untagged e Tagged - IEEE 802.1Q Laboratorio di RetiI sistemi virtualizzati: aspetti teorici e implementazioni Creazione di una VM linux based Configurazione di una VM e collegamento in una LAN privata Configurazione di una interfaccia di rete con IPv4 e IPv6. Configurazione delle tabelle di routing. Configurazione di una rete con LAN differenti connesse da router. Uso dei socket in C.Socket bloccanti e non bloccantiEsempio di un sistema Client Server con UDP, con IPv4 e IPv6 Esempio di un sistema multiserver con TCP, con IPv4 e IPv6 J.F. Kurose - K. W. Ross: Internet e Reti di calcolatori D.E. Comer: Internetworking con TCP/IP - vol.1 A. Tanenbaum: Reti di Computer - GUARNERA LUCA (programma) Introduzione alle Reti di CalcolatoriArchitettura di una rete.Il sistema a livelli nell'architettura di una rete.Servizi e funzionalità dei vari livelliL'architettura del protocollo OSI. I livelli del TCP/IP.Confronto architetturale tra OSI e TCP/IP.Comunicazioni affidabili e non affidabili.Servizi con connessione e senza connessionePrimitive di servizioReti broadcast, multicast, punto-puntoPAN, LAN, MAN e WAN.Commutazione di circuito e commutazione di pacchetto.Reti a circuito virtuale.Application LayerComunicazione tra processiLo schema Client - ServerAffidabilità delle comunicazioni e coerenza dei dati end-to endRequisiti temporali e di affidabilità delle applicazioniIndirizzamento dei processi.Well Known Ports, Registered Ports e User PortsIl protocollo HTTPFormato dei pacchetti HTTPIl protocollo FTPConfronto tra HTTP e FTPIl protocollo SMTPPOP e IMAPIl protocollo DNS - I record DNSCenni sul protocollo SNMPTransport LayerIl modello Client-ServerIndirizzamento a livello di trasporto (Mux -demux)I Server multipliIl livello di Trasporto in IP: UDP e TCP.Formato delle frame UDPProtocolli di trasferimento affidabile su canali inaffidabiliVelocità di trasferimento dati di un canaleTempo di latenzaVelocità di trasferimento end-to-end - Banda disponibile ai livelli superioriProtocolli Stop and wait, Go back N, Ripetizione selettivaIl protocollo TCP. Formato dei pacchetti TCPTempi di Round Trip. Gestione dei Timer. Fast RetransmitFinestra di ricezione e gestione ACK in TCPServizi orientati alla connessione.Apertura e chiusura delle connessioni: problemi teorici e soluzioni implementativeLa congestione nelle reti di comunicazione: aspetti teorici e possibili soluzioniControllo del Flusso e controllo della CongestioneIl controllo della congestione in TCP: varianti Tahoe e Reno.Fairness tra connessioni TCP concorrenti: dimostrazione grafica.Network LayerIntroduzione al livello di Rete.Servizi Datagram e servizi con circuito virtuale. Confronto delle caratteristicheAlgoritmi di routing.Algoritmi centralizzati e distribuiti.Algoritmo di DijkstraFlooding: metodi di controllo del floodingDistance Vectors.Link State RoutingConfronto tra DV e LS.Routing gerarchico.Implementazioni RIP e OSPF.Cenni su BGP.Il protocollo IPv4.Formato dei pacchetti IPv4.Indirizzi IPv4. Le Sottoreti.Tabelle di routing per host e router Indirizzamento IP su LAN ethernetIndirizzamento intraLAN e interLANFrammentazione dei pacchetti IPv4Protocolli su IP: ICMP, ARP, RARP, BOOTP, DHCP, NAT.Il protocollo IPv6Indirizzi IPv6: indirizzamento Anycast, Unicast, Broadcast e Multicast.Indirizzi di canaleHeader opzionaliCenni sui Firewall.Data Link LayerTecniche di Framing dei dati.Codifica a due livelli, a tre livelli, a cinque livelliCodifica 4B/5B, 8B/10BAspetti teorici per la rilevazione degli errori.Uso della ridondanza nelle comunicazioni.Il CRC. Calcolo del CRC.Correzione degli errori: aspetti teoriciDistanza di Hamming.I codici di Hamming.Il sottolivello MACProtocolli del Data Link per il MACFDMA, TDMA, CDMAAloha puro e slotted.CSMACSMA/CDProtocolli senza collisioniCenni sui protocolli a turno (token)Le LAN IEEE 802 (.1 .2).IEEE 802.3.Ethernet, Fast Ethernet, GigabitEthernet.Schemi di Trellis e decodifica di Viterbi.Schemi di interconnessione in EthernetRepeater, Hub, Bridge, SwitchBridge trasparenti.Schemi di indirizzamento flat.Confronto tra indirizzamento piatto ed indirizzamento gerarchico: vantaggi e svantaggiIndirizzi MACLe VLAN: Untagged e Tagged - IEEE 802.1QIl livello fisicoAnalisi di Fourier di un segnale periodicoAnalisi nel dominio del tempo e nel dominio delle frequenzeDistorsioni nei segnaliLarghezza di banda, rumore e quantizzazioneTeoremi di Nyquist e di Shannon.Applicazione dell'analisi di Fourier alle trasmissioni sui canali realiLa modulazione: ampiezza, frequenza e faseI mezzi trasmissivi: Il doppino in rame, il cavo coassiale, la fibra ottica.Confronto tra le prestazioni dei mezzi cablati: i cavi Cat3, 5, 6, 7Cenni sulle reti wireless.I sistemi a commutazione di circuito.I modem analogici - la modulazione.Linee ADSL, xDSL, VDSLTecniche di Multiplexaggio: FDM, WDM, TDM.Laboratorio di RetiI sistemi virtualizzati: aspetti teorici e implementazioniCreazione di una VM linux basedConfigurazione di una VM e collegamento in una LAN privataConfigurazione di una interfaccia di rete con IPv4 e IPv6.Configurazione delle tabelle di routing.Configurazione di una rete con LAN differenti connesse da router.Uso dei socket in C.Esempio di un sistema Client server con UDPEsempio di un sistema multiserver con TCP J.F. Kurose - K. W. Ross: Internet e Reti di calcolatoriD.E. Comer: Internetworking con TCP/IP - vol.1A. Tanenbaum: Reti di Computer	9	INF/01	36	36	-	-	-	Attività formative caratterizzanti	ITA
1000418 - SISTEMI OPERATIVI Canale: A - L - DI RAIMONDO MARIO (programma) Il corso è una introduzione ai principi ed al progetto di sistemi operativi, essenziali per coordinare le attività e le risorse di un sistema di calcolo. Sono affrontati i principali temi dalle architetture software alla gestione dei processi e delle risorse del sistema. Nella parte di laboratorio si approfondirà l'uso di strumenti standard (POSIX) in ambienti UNIX-compatibili per la gestione di processi e thread nonché la comunicazione e coordinamento tra questi. Canale: M - Z - PAVONE MARIO FRANCESCO (programma) Il corso è una introduzione ai principi ed al progetto di sistemi operativi, essenziali per coordinare le attività e le risorse di un sistema di calcolo. Sono affrontati i principali temi dalle architetture software alla gestione dei processi e delle risorse del sistema. Nella parte di laboratorio si approfondirà l'uso di strumenti standard (POSIX) in ambienti UNIX-compatibili per la gestione di processi e thread nonché la comunicazione e coordinamento tra questi. AutoreTitoloEditoreAnnoISBNAndrew S. Tanenbaum, Herbert BosI moderni sistemi operativi (quarta edizione)Pearson20169788891912695Abraham Silberschatz, Peter Baer Galvin, Greg GagneSistemi operativi – Concetti ed esempi (nona edizione)Pearson20149788865183717	9	INF/01	36	36	-	-	-	Attività formative caratterizzanti	ITA
1000430 - INGEGNERIA DEL SOFTWARE Canale: A - L - CALVAGNA ANDREA MARIO (programma) Processi di sviluppo del software: cascata, evolutivi e agili (spirale, XP, Scrum), tempistica delle attività svolte. Gestione dei requisiti del software: raccolta ed analisi. Notazione UML: diagrammi di casi d’uso, attività, stati, classi, sequenza e collaborazione. Gestione codice tramite Git.Progettazione ad oggetti, ereditarietà e polimorfismo. Qualità del software. Design Pattern illustrati tramite obiettivi, contesto, problema, esempi, soluzione con diagrammi e codice: Singleton, Factory Method, Adapter, Bridge, Composite, Decorator, Facade, Chain of Responsibility, Mediator, Observer, State.Tecniche di Refactoring.Stream in Java e parallelismo.Metriche sul software, ed evoluzione del software.Tecniche di test per convalidare il software. I. Sommerville. Ingegneria del Software. Pearson Addison-Wesley.E. Gamma, R. Helm, R. Johnson, J. Vlissiders. Design Patterns – Elements of Reusable Object-Oriented Software. Pearson Addison-Wesley.M. Fowler. UML Distilled. Pearson. 2010R.-G. Urma, M. Fusco, A. Mycroft. Java 8 in Action: Lambdas, streams, and functional-style programming. Manning. 2015K. Beck. Extreme Programming Explained: Embrace Change. Addison-Wesley. 1999M. Fowler. Refactoring: Improving the Design of Existing Code. Addison-Wesley. - TRAMONTANA EMILIANO ALESSIO (programma) Processi di sviluppo del software: cascata, evolutivi e agili (spirale, XP, Scrum), tempistica delle attività svolte. Gestione dei requisiti del software: raccolta ed analisi. Notazione UML: diagrammi di casi d’uso, attività, stati, classi, sequenza e collaborazione. Cenni su repository di codice Git. Progettazione ad oggetti, ereditarietà e polimorfismo. Qualità del software. Design Pattern illustrati tramite obiettivi, contesto, problema, esempi, soluzione con diagrammi e codice: Singleton, Factory Method, Prototype, Template Method, Adapter, Bridge, Composite, Decorator, Facade, Chain of Responsibility, Mediator, Observer, State, Command. Tecniche di Refactoring. Stream in Java e parallelismo. Metriche sul software, ed evoluzione del software. Tecniche di test per convalidare il software. I. Sommerville. Ingegneria del Software. Pearson Addison-Wesley. E. Gamma, R. Helm, R. Johnson, J. Vlissiders. Design Patterns – Elements of Reusable Object-Oriented Software. Pearson Addison-Wesley. M. Fowler. UML Distilled. Pearson. 2010 R.-G. Urma, M. Fusco, A. Mycroft. Java 8 in Action: Lambdas, streams, and functional-style programming. Manning. 2015 K. Beck. Extreme Programming Explained: Embrace Change. Addison-Wesley. 1999 M. Fowler. Refactoring: Improving the Design of Existing Code. Addison-Wesley.K. Beck. Implementation Patterns. Addison-Wesley. Canale: M - Z - TRAMONTANA EMILIANO ALESSIO - CALVAGNA ANDREA MARIO (programma) Processi di sviluppo del software: cascata, evolutivi e agili (spirale, XP, Scrum), tempistica delle attività svolte. Gestione dei requisiti del software: raccolta ed analisi. Notazione UML: diagrammi di casi d’uso, attività, stati, classi, sequenza e collaborazione. Gestione codice tramite Git.Progettazione ad oggetti, ereditarietà e polimorfismo. Qualità del software. Design Pattern illustrati tramite obiettivi, contesto, problema, esempi, soluzione con diagrammi e codice: Singleton, Factory Method, Adapter, Bridge, Composite, Decorator, Facade, Chain of Responsibility, Mediator, Observer, State.Tecniche di Refactoring.Stream in Java e parallelismo.Metriche sul software, ed evoluzione del software.Tecniche di test per convalidare il software. I. Sommerville. Ingegneria del Software. Pearson Addison-Wesley.E. Gamma, R. Helm, R. Johnson, J. Vlissiders. Design Patterns – Elements of Reusable Object-Oriented Software. Pearson Addison-Wesley.M. Fowler. UML Distilled. Pearson. 2010R.-G. Urma, M. Fusco, A. Mycroft. Java 8 in Action: Lambdas, streams, and functional-style programming. Manning. 2015K. Beck. Extreme Programming Explained: Embrace Change. Addison-Wesley. 1999M. Fowler. Refactoring: Improving the Design of Existing Code. Addison-Wesley.	9	INF/01	36	36	-	-	-	Attività formative caratterizzanti	ITA

Terzo anno

Primo semestre

Insegnamento

CFU

SSD

Ore Lezione

Ore Eserc.

Ore Lab

Ore Altro

Ore Studio

Attività

Lingua

1000422 - METODI MATEMATICI E STATISTICI

- CAMIOLA VITO DARIO (programma)

MAT/07

Attività formative affini ed integrative

ITA

1008059 - FISICA

- SCORDINO Agata (programma)

FIS/01

Attività formative di base

ITA

1007998 - INTRODUZIONE AL DATA MINING

- MICALE GIOVANNI (programma)

INF/01

Attività formative caratterizzanti

ITA

Gruppo opzionale: GRUPPO OPZIONALE ELAB. DATI - 3° ANNO, AFFINI 1° SEMESTRE - (visualizza)

1015224 - LABORATORIO DI SISTEMI A MICROCONTROLLORE - SANTORO CORRADO (programma) I contenuti sono riportati nella pagina del corso reperible a questo linke riassunti di seguito: Definizione di microcontrollore (MCU). Differenze tra CPU e MCU. Famiglie di MCU. Panoramica sulle periferiche di una MCU. Panoramica sui microcontrollori. Elementi di elettronica. Legge di Ohm. Leggi diKirchhoff. Esempi di analisi circuitale. Partitore di tensione. Calcolo della resistenza di limitazione di un LED. La periferica di I/O digitale. Gestione e programmazione delle porte di I/O. Lettura di un ingresso. Scrittura di un'uscita. Esempi di applicazioni. I Timer di una MCU. Principio di funzionamento di un timer hardware. Base dei tempi e prescaler. Uso dell'auto-reload. Eventi e Interrupt. Uso dei timer per la generazione di segnali PWM (pulse width modulation). Esempi di utilizzo con Timer e I/O digitale. Pattern di programmazione dei sistemi a microcontrollore. Macchina a stati finiti. Concetto di stato ed evento. Polling bloccante e non bloccante di eventi. Esempi di problemi con macchine a stati finiti. La periferica UART. Principio di funzionamento di una UART. Programmazione della periferica UART. Interrupt e polling. Trasmissione di un carattere. Ricezione di un carattere. Il convertitore analogico-digitale (ADC). Principio di funzionamento. Circuito sample-and-hold. Programmazione di un ADC converter. Sensori e conversione di unità fisiche. Esempi di problemi con ADC. Periferiche di comunicazione. I2C, SPI, CAN.Sistemi operativi real-time: FreeRTOS Slides del corso	6	INF/01	24	24	-	-	-	Attività formative affini ed integrative	ITA
1008049 - STARTUP DI IMPRESA E MODELLI DI BUSINESS - LORETO PAOLO (programma) Negli ultimi periodo l’interesse verso le startup è andato crescendo, grazie alle opportunità oﬀerte dall’evoluzione della tecnologia digitale e molti soggetti hanno cominciato a pensare concretamente alla creazione di una nuova impresa quale percorso di vita individuale e professionale. Sebbene l’imprenditorialità rappresenti un tema centrale nella letteratura economica-aziendale, l’attenzione incalzante sulle startup rischia non solo di diventare un fenomeno trendy e poco sostanzioso dal punto di vista della sostenibilità della nuova azienda, ma anche un falso mito per tanti giovani, che lo interpretano come occasione economica e di visibilità sociale. La nascita di ogni startup è un processo complesso, incerto, fragile, ma come tutti i fenomeni creativi, estremamente potente. Ogni nuovo progetto imprenditoriale ha bisogno di passione, creatività e grande energia e richiede competenza e professionalità per evitare le trappole che conducono alla death valley. Il percorso di chi crea una startup può essere sinteticamente racchiuso in una singola espressione: Straight Up!, che signiﬁca vai avanti per la tua strada, in modo veloce, tenace e diretto. Questo è il ﬁlo conduttore del corso che intende fornire al futuro imprenditore sia un aiuto concreto sulla strumentazione di bordo che lo orienterà lungo il percorso imprenditoriale, sia il supporto al processo di learning esperienziale in una prospettiva di sostenibilità e performance della startup. Il corso è articolato in tre blocchi principali: la prima parte del corso è dedicato all’imprenditore, attraverso l’analisi delle caratteristiche psicologiche, della personalità, delle motivazioni e delle ambizioni che contraddistinguono l’attore principale del complicato meccanismo della genesi imprenditoriale. La seconda parte è rivolta al concetto di startup, alle sue svariate declinazioni e al confronto con le PMI innovative; in questa parte verranno trattate le modalità di costituzione di una startup, con l’ausilio di interventi in aula e testimonianze dirette di esperti del settore, il ciclo di vita della startup e il fenomeno della death valley, che oggi rappresenta una delle principali minacce al successo della nuova impresa, compromettendone la stessa esistenza e le possibilità di sopravvivenza. La parte preponderante del corso, la terza, è dedicata alla predisposizione del Business Plan, attraverso l’analisi delle sue componenti e dei piani operativi che lo compongono e con esercitazioni in aula sugli strumenti e sulle tecniche operative che conducono alla redazione del Business Plan perfetto. SCHILLACI C.E., ROMANO M., “Straight up. Percorsi strategici per nuove imprese”, Milano, McGraw-Hill Education, 2017Materiale didattico integrativo fornito dal docente durante il corso disponibile su STUDIUM. Testo consigliato per approfondimenti sul Business Plan:BORELLO, K. A., “Excellent business plan”, 7aedizione, Hoepli, Milano, 2022	6	SECS-P/08	24	24	-	-	-	Attività formative affini ed integrative	ITA
1010962 - SOCIAL MEDIA MANAGEMENT - FURNARI ANTONINO (programma) Social media: definizione, caratteristiche e breve storia API e librerie per l'estrapolazione, il trattamento e la visualizzazione dei dati presenti nei Social Media, Web Scraping Metodi per la rappresentazione e il processamento di testi Strumenti avanzati per l’analisi di testi: bag of words model, sentiment analysis, word embeddings Sistemi di raccomandazione Algoritmi di Machine Learning e Pattern Recognition applicati al contesto dei Social Media Algoritmi di Computer Vision per il trattamento delle immagini nel contesto dei Social Media Librerie in Python per l'analisi di dati provenienti dai social media R. Zafarani, M. A. Abbasi, H. Liu,Social Media Mining - An Introduction, Cambridge University Press, 2014James, G., Witten, D., Hastie, T., & Tibshirani, R. (2013).An introduction to statistical learning. New York: springer. C. Bishop,Pattern Recognition and Machine Learning, Springer, 2006 E. Alpaydin,Introduction to Machine Learning, The MIT Press, 2009 Y. Bengio, I. J. Goodfellow, A.Courville,Deep Learning, Book in preparation for MIT Press, 2015 Duda, P. E. Hart, D. G. Stork,Pattern Classification (2nd ed.), Wiley, 2000 R. Szeliski,Computer Vision: Algorithms and Application, Springer 2010	6	INF/01	24	24	-	-	-	Attività formative affini ed integrative	ITA
1006288 - PROGRAMMAZIONE PARALLELA SU ARCHITETTURE GPU - BILOTTA GIUSEPPE (programma) breve storia delle schede grafiche e nascita del GPGPU fondamenti di GPGPU; introduzione a CUDA ed OpenCL programmi imbarazzentemente paralleli in CUDA ed OpenCL benchmarking, ottimizzazione e debugging primitive parallele per riduzioni e scan; implementazione OpenCL e/o CUDA cenni su multi-GPU NVIDIA CUDA Programming Guide OpenCL specification	6	INF/01	24	24	-	-	-	Attività formative affini ed integrative	ITA
9793942 - AUDIO PROCESSING - MILOTTA FILIPPO LUIGI MARIA (programma) Acustica Differenza fra suono e audio Definizioni delle proprietà fisiche delle onde Root Mean Square (RMS) Decibel Legge dell’inverso del quadrato Velocità del suono Rifrazione, Riflessione, Diffrazione, Eco, Effetto Doppler, Bang Supersonico Ottave in scala diatonica e temperata Introduzione all’analisi di Fourier Ampiezza e inviluppo Rumori colorati Psicoacustica Fisica e cognizione, fisiologia dell’udito Soglie di tolleranza al rumore sul posto di lavoro Parametri della percezione Diagramma di Fletcher-Munson Timbro e formanti Bande critiche uditive Mascheramento tonale e non tonale Localizzazione delle sorgenti sonore Digitalizzazione Rappresentazione digitale del suono Indice SNR Campionamento e Aliasing Quantizzazione Rumore SNR e SQNR Codifica del segnale audio Codifica PCM Codici ECC e bit di parità Rappresentazioni dell’ampiezza della forma d’onda Equalizzatori grafici e parametrici Filtri: HPF, LPF, Shelving, Peaking, Telephone, Walkie-Talkie, ecc. Operazioni e operatori sul range dinamico Compressione Compressione del silenzio Spazio occupato in memoria Codifiche μ-law e A-law Ri-Quantizzazione Codifiche DPCM e ADPCM Fattori di compressione Entropia percettiva La tecnica Compansion Compressione di tipo percettivo: Block Coding, Transform Coding, Sub-band Coding e Huffman Coding Formati Audio Formato MPEG e le sue varianti più importanti MP1, MP2 e MP3 Formati audio avanzati Il tool FFmpeg Protocollo MIDI e messaggi MIDI Librerie Audio utili e script di interesse Conversione di formato audio usando FFmpeg Laboratorio Python Lettura, conversione, elaborazione e scrittura di un file audio Seminari integrativi Lombardo, V., & Valle, A. (2014). Audio e Multimedia (IV ed.) Apogeo. For international students: Kirk, R. & Hunt, A. (1999).Digital Sound Processing for Music and MultimediaFocal Press. Tarabella, L. (2014). Musica Informatica Apogeo. Rocchesso, D. (2003). Sound Processing	6	INF/01	24	24	-	-	-	Attività formative affini ed integrative	ITA
9795536 - INFORMATION TECHNOLOGY LAW - ZANGARA IGNAZIO GIUSEPPE (programma) Ordinamento giuridico italiano, fonti del diritto e sistema giurisdizionale. Sistemi informativi, open data, sistemi cognitivi e intelligenza artificiale. Diritto d’autore, tutela del software e diritto dell’inventore. Amministrazione digitale: documento informatico, firme elettroniche, posta elettronica certificata, sistemi di identità digitali. Fondamenti del sistema penale e crimini informatici. Privacy e nuove tecnologie. Etica nella professione. "Information Technology Law - IT Law"Dispense di Ignazio Zangara. Le dispense sono distribuite agli studenti del corso gratuitamente in formato elettronico (.pdf).	6	INF/01	24	24	-	-	-	Attività formative affini ed integrative	ITA

Secondo semestre

Insegnamento

CFU

SSD

Ore Lezione

Ore Eserc.

Ore Lab

Ore Altro

Ore Studio

Attività

Lingua

Gruppo opzionale: GRUPPO OPZIONALE ELAB. DATI II SEMESTRE - (visualizza)

1000419 - COMPUTER GRAFICA - GALLO Giovanni (programma) Trasformazioni e proiezioni geometriche. Rappresentazione di oggetti 3d: Meshes e loro rappresentazione in RAM. Primitive grafiche 3d e operazioni fondamentalli per il mesh editing. Modificatori sulle mesh. L'equazione fondamentale della illuminazione 3d. Componenti diffusive, speculari e rifrattive. La rendering pipeline nel modello a scansione: ray casting, ray tracing, ray tracing ricorsivo.Path tracing: la rendering pipeline in un renderizzatore montecarlo.. Principi di animazione. Meccanismi di controllo delle mesh. Computer Aided Geometric design: introduzioni alle curve di Bezier e alle spline. Cenni alle NURBS. Simulatori per fluidi, clothes, oggetti rigidi. Principi di linguaggio cinematografico. Conoscenza opertiva del software Blender. Dispense del docente, estratti di vari testi che vengono distribuiti durante il corso di lezione dal docente. Sono suggeriti capitoli tratti da: 3D ART ESSENTIALS, The Fundamentals of 3D Modeling, Texturing, and Animation, AMI CHOPINE, Focal Press Fundamental of Computer Graphics (IV ed) Marschner, Shirely, CRC press Fondamenti di grafica tridimensionale interattiva , Montani, Scopigno Scateni, McGrawHill Grafica 3d con Blender , Siddi, Apogeo Web tutorials	9	INF/01	36	36	-	-	-	Attività formative caratterizzanti	ITA
1015126 - DIGITAL FORENSICS - BATTIATO SEBASTIANO (programma) il corso è articolato in distinti moduli didattici, comprendenti lezioni teoriche, laboratori e seminari di approfondimento su specifici temi tenuti da esperti esterni, per un totale di 72 ore complessive. Modulo 1 –Tecniche di trattamento dei Reperti Informatici Principi di base della Digital Forensics. Disk Forensics. Le funzioni HASH. Best Practice per la redazione di una consulenza tecnica. Tools HW/SW per la raccolta dei reperti informatici. Acquisizione di dati dal web - Analisi Forense della posta elettronica. Casi di studio Modulo 2 –Investigare su Immagini e Video Concetti di base su Immagini e Video Digitali e relativi standardi di codifica. Tecniche e tools per l'Image Enhancemente e Restoration in ambito forense. I sistemi di video sorveglianza. Cenni di Steganografia. Autenticità e Integrità. Riconoscimento Antropometrico da immagini. Casi di studio Modulo 3 – Digital Forensice Ordinamento Giuridico I reati informatici. La Convenzione di Budapest e la ratifica nell'ordinamento italiano. Concetti di base sul trattamento dei dati. La prova Scientifica. L'epserimento giudiziario. I ruoli dell'esperto tecnico nel processo civile/penale Elaborazione delle Immagini Digitali- R.C. Gonzales, R.E. Woods – Pearson Italia 2012; S. Battiato, G. Messina, R. Rizzo -Image Forensics - Contraffazione Digitale e Identificazione della Camera di Acquisizione: Status e Prospettive -Chapter inIISFA Memberbook 2009 DIGITAL FORENSICS– Eds. G. Costabile, A. Attanasio – Experta, Italy 2009; (pdf) S. Battiato, G.M. Farinella, G. Messina, G. Puglisi –Digital Video Forensics: Status e Prospettive– Chapter inIISFA Memberbook 2010 DIGITAL FORENSICS– Eds. G. Costabile, A. Attanasio – Experta, Italy, 2010. (pdf) S. Battiato, G.M. Farinella, G. Puglisi –Image/Video Forensics: Casi di Studio-Chapter inIISFA Memberbook 2011 DIGITAL FORENSICS- Eds. G. Costabile, A. Attanasio - Experta, Italy 2012; (pdf) S. Battiato, M. Moltisanti –Tecniche di Steganografia su Immagini Digitali-Chapter inIISFA Memberbook 2012 DIGITAL FORENSICS- Eds. G. Costabile, A. Attanasio - Experta, Italy 2013; (pdf) S. Battiato, F. Galvan, M. Jerian, M. Salcuni–Linee guida per l’autenticazione forense di immagini-Chapter inIISFA Memberbook 2013DIGITAL FORENSICS- Eds. G. Costabile, A. Attanasio - Experta, Italy 2014; (pdf) S. Battiato, A. Catania, F. Galvan, M. Jerian, L.P. Fontana –Acquisizione ed Analisi Forense di Sistemi di Videosorveglianza-Chapter inIISFA Memberbook 2014DIGITAL FORENSICS- Eds. G. Costabile, A. Attanasio - Experta, Italy 2015 (pdf) S. Battiato, G. Messina –Video Digitali in Ambito Forense–Ciberspazio e Diritto– Mucchi Editore – Vol. 11, No 4, pp.687-710, 2010. (pdf) S.Battiato, F. Galvan -Introduzione alla Image/Video Forensics-Sicurezza e Giustizia- Numero I/MMXIII - pp. 42-43 – 2013. (pdf) S.Battiato, F. Galvan -La Validità Probatoria Delle Immagini e dei Video-Sicurezza e Giustizia- Numero II/MMXIII - pp. 30-31 – 2013.(pdf) S.Battiato, F. Galvan -Ricostruzione di Informazioni 3D a Partire da Immagini-Sicurezza e Giustizia- Numero IV/MMXIII - pp. 38-40 – 2013.(pdf) S.Battiato, F. Galvan -Verifica dell'Attendibilità di un Alibi Costituito da Immagini o Video -Sicurezza e Giustizia- Numero II/MMXIV - pp. 47-50 – - GUARNERA LUCA (programma) il corso è articolato in distinti moduli didattici, comprendenti lezioni teoriche, laboratori e seminari di approfondimento su specifici temi tenuti da esperti esterni, per un totale di 72 ore complessive.Modulo 1 –Tecniche di trattamento dei Reperti InformaticiPrincipi di base della Digital Forensics. Disk Forensics. Le funzioni HASH. Best Practice per la redazione di una consulenza tecnica. Tools HW/SW per la raccolta dei reperti informatici. Acquisizione di dati dal web - Analisi Forense della posta elettronica. Casi di studioModulo 2 –Investigare su Immagini e VideoConcetti di base su Immagini e Video Digitali e relativi standard di codifica. Tecniche e tools per l'Image Enhancemente e Restoration in ambito forense. I sistemi di video sorveglianza. Cenni di Steganografia. Autenticità e Integrità. Riconoscimento Antropometrico da immagini. Casi di studioModulo 3 – Digital Forensice Ordinamento GiuridicoI reati informatici. La Convenzione di Budapest e la ratifica nell'ordinamento italiano. Concetti di base sul trattamento dei dati. La prova Scientifica. L'esperimento giudiziario. I ruoli dell'esperto tecnico nel processo civile/penale Elaborazione delle Immagini Digitali- R.C. Gonzales, R.E. Woods – Pearson Italia 2012;S. Battiato, G. Messina, R. Rizzo -Image Forensics - Contraffazione Digitale e Identificazione della Camera di Acquisizione: Status e Prospettive -Chapter inIISFA Memberbook 2009 DIGITAL FORENSICS– Eds. G. Costabile, A. Attanasio – Experta, Italy 2009; (pdf)S. Battiato, G.M. Farinella, G. Messina, G. Puglisi –Digital Video Forensics: Status e Prospettive– Chapter inIISFA Memberbook 2010 DIGITAL FORENSICS– Eds. G. Costabile, A. Attanasio – Experta, Italy, 2010. (pdf)S. Battiato, G.M. Farinella, G. Puglisi –Image/Video Forensics: Casi di Studio- Chapter inIISFA Memberbook 2011 DIGITAL FORENSICS- Eds. G. Costabile, A. Attanasio - Experta, Italy 2012; (pdf)S. Battiato, M. Moltisanti –Tecniche di Steganografia su Immagini Digitali- Chapter inIISFA Memberbook 2012 DIGITAL FORENSICS- Eds. G. Costabile, A. Attanasio - Experta, Italy 2013; (pdf)S. Battiato, F. Galvan, M. Jerian, M. Salcuni–Linee guida per l’autenticazione forense di immagini- Chapter inIISFA Memberbook 2013 DIGITAL FORENSICS- Eds. G. Costabile, A. Attanasio - Experta, Italy 2014; (pdf)S. Battiato, A. Catania, F. Galvan, M. Jerian, L.P. Fontana –Acquisizione ed Analisi Forense di Sistemi di Videosorveglianza- Chapter inIISFA Memberbook 2014 DIGITAL FORENSICS- Eds. G. Costabile, A. Attanasio - Experta, Italy 2015 (pdf)S. Battiato, G. Messina –Video Digitali in Ambito Forense–Ciberspazio e Diritto– Mucchi Editore – Vol. 11, No 4, pp.687-710, 2010. (pdf)S.Battiato, F. Galvan -Introduzione alla Image/Video Forensics-Sicurezza e Giustizia- Numero I/MMXIII - pp. 42-43 – 2013. (pdf)S.Battiato, F. Galvan -La Validità Probatoria Delle Immagini e dei Video-Sicurezza e Giustizia- Numero II/MMXIII - pp. 30-31 – 2013.(pdf)S.Battiato, F. Galvan -Ricostruzione di Informazioni 3D a Partire da Immagini-Sicurezza e Giustizia- Numero IV/MMXIII - pp. 38-40 – 2013.(pdf)S.Battiato, F. Galvan -Verifica dell'Attendibilità di un Alibi Costituito da Immagini o Video -Sicurezza e Giustizia- Numero II/MMXIV - pp. 47-50 –	9	INF/01	36	36	-	-	-	Attività formative caratterizzanti	ITA

1001164 - INSEGNAMENTO A SCELTA

Attività formative a scelta dello studente (art.10, comma 5, lettera a)

ITA

80140 - TIROCINIO_

150

Ulteriori attività formative (art.10, comma 5, lettera d)

ITA

1001172 - PROVA FINALE

150

Per la prova finale e la lingua straniera (art.10, comma 5, lettera c)

ITA

Sistemi e Applicazioni

Secondo anno

Primo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Altro	Ore Studio	Attività	Lingua
1000416 - BASI DI DATI Canale: A - L - Erogato presso 1000416 BASI DI DATI in Informatica L-31 A - L PULVIRENTI ALFREDO Canale: M - Z - Erogato presso 1000416 BASI DI DATI in Informatica L-31 M - Z ALAIMO SALVATORE	9	INF/01	36	36	-	-	-	Attività formative caratterizzanti	ITA
1014263 - ALGORITMI E LABORATORIO
1014264 - ALGORITMI Canale: A - L - Erogato presso 1014264 ALGORITMI in Informatica L-31 A - L CANTONE Domenico Canale: M - Z - Erogato presso 1014264 ALGORITMI in Informatica L-31 M - Z FARO SIMONE	6	INF/01	24	24	-	-	-	Attività formative caratterizzanti	ITA
1014265 - LABORATORIO Canale: A - L - Erogato presso 1014265 LABORATORIO in Informatica L-31 A - L SANTAMARIA DANIELE FRANCESCO Canale: M - Z - Erogato presso 1014265 LABORATORIO in Informatica L-31 M - Z SANTAMARIA DANIELE FRANCESCO	3	INF/01	12	-	12	-	-	Attività formative caratterizzanti	ITA
1015123 - ELEMENTI DI ANALISI MATEMATICA 2 Canale: A - L - Erogato presso 1015123 ELEMENTI DI ANALISI MATEMATICA 2 in Informatica L-31 A - L CIRMI Giuseppa Rita Canale: M - Z - Erogato presso 1015123 ELEMENTI DI ANALISI MATEMATICA 2 in Informatica L-31 M - Z NASELLI Ornella	6	MAT/05	18	36	-	-	-	Attività formative affini ed integrative	ITA
1015928 - INTERAZIONE E MULTIMEDIA E LABORATORIO
1015929 - INTERAZIONE E MULTIMEDIA Canale: A - L - Erogato presso 1015929 INTERAZIONE E MULTIMEDIA in Informatica L-31 A - L STANCO FILIPPO Canale: M - Z - Erogato presso 1015929 INTERAZIONE E MULTIMEDIA in Informatica L-31 M - Z ALLEGRA DARIO	6	INF/01	24	24	-	-	-	Attività formative caratterizzanti	ITA
1015930 - LABORATORIO Canale: A - L - Erogato presso 1015930 LABORATORIO in Informatica L-31 A - L STANCO FILIPPO Canale: M - Z - Erogato presso 1015930 LABORATORIO in Informatica L-31 M - Z ALLEGRA DARIO	3	INF/01	12	-	12	-	-	Attività formative caratterizzanti	ITA

Secondo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Altro	Ore Studio	Attività	Lingua
1000411 - RETI DI CALCOLATORI Canale: A - L - Erogato presso 1000411 RETI DI CALCOLATORI in Informatica L-31 A - L RICCOBENE Salvatore Antonio, GUARNERA LUCA Canale: M - Z - Erogato presso 1000411 RETI DI CALCOLATORI in Informatica L-31 M - Z RICCOBENE Salvatore Antonio, GUARNERA LUCA	9	INF/01	36	36	-	-	-	Attività formative caratterizzanti	ITA
1000418 - SISTEMI OPERATIVI Canale: A - L - Erogato presso 1000418 SISTEMI OPERATIVI in Informatica L-31 A - L DI RAIMONDO MARIO Canale: M - Z - Erogato presso 1000418 SISTEMI OPERATIVI in Informatica L-31 M - Z PAVONE MARIO FRANCESCO	9	INF/01	36	36	-	-	-	Attività formative caratterizzanti	ITA
1000430 - INGEGNERIA DEL SOFTWARE Canale: A - L - Erogato presso 1000430 INGEGNERIA DEL SOFTWARE in Informatica L-31 A - L CALVAGNA ANDREA MARIO, TRAMONTANA EMILIANO ALESSIO Canale: M - Z - Erogato presso 1000430 INGEGNERIA DEL SOFTWARE in Informatica L-31 M - Z TRAMONTANA EMILIANO ALESSIO, CALVAGNA ANDREA MARIO	9	INF/01	36	36	-	-	-	Attività formative caratterizzanti	ITA

Terzo anno

Primo semestre

Insegnamento

CFU

SSD

Ore Lezione

Ore Eserc.

Ore Lab

Ore Altro

Ore Studio

Attività

Lingua

1000422 - METODI MATEMATICI E STATISTICI

- Erogato presso 1000422 METODI MATEMATICI E STATISTICI in Informatica L-31 CAMIOLA VITO DARIO

MAT/07

Attività formative affini ed integrative

ITA

1010978 - TECNOLOGIE PER I SISTEMI DISTRIBUITI E IL WEB CON LABORATORIO

1010979 - TECNOLOGIE PER I SISTEMI DISTRIBUITI E IL WEB

- PAPPALARDO Giuseppe (programma)

INF/01

Attività formative caratterizzanti

ITA

1010980 - LABORATORIO

- NICOTRA SALVATORE (programma)

INF/01

Attività formative caratterizzanti

ITA

Gruppo opzionale: GRUPPO OPZIONALE I SEM. 3° ANNO (SISTEMI E APPLICAZIONI) - (visualizza)

1008042 - INTERNET SECURITY - BELLA Giampaolo (programma) Lezioni frontali: Esempi reali e falsi miti di sicurezza Proprietà, attacchi e attaccanti Cenni di crittografia Protocolli di sicurezza classici Autenticazione Politiche di sicurezza e privatezza Malware Intrusioni Protocolli di sicurezza per Internet Firewall Costruzione del mini laboratorio: Networking Password sniffing Traffic analysis Intrusion detection Malware experimenting Firewalling SQL injection Cross-site scripting Inoltre, in base al rendimento degli studenti durante il corso, il docente valutera' l'organizzazione di un Capture The Flag del tipo http://ictf.cs.ucsb.edu Gli eventi recenti sono documentati su http://www.dmi.unict.it/giamp/ctf/ Posteriormente alle lezioni, il docente fornisce agli studenti le slide utilizzate. Esse possono essere sfruttate come una precisa descrizione del programma dell'insegnamento, ma mai come strumento fondamentale di studio. Vanno pertanto integrate con materiale proveniente dai libri di testo, da articoli scientifici reperibili su Internet e, idealmente, con le note che lo studente può prendere durante le lezioni. Testi consigliati William Stallings: Sicurezza delle reti. Applicazioni e standard Bruce Schneier: Sicurezza digitale. Miti da sfatare, strategie da adottare	9	INF/01	36	36	-	-	-	Attività formative caratterizzanti	ITA
1015205 - TECHNOLOGIES FOR ADVANCED PROGRAMMING - NICOTRA SALVATORE (programma) Nozioni di Stream Processing Concetti di Digital Marketing Introduzione a Docker e Kubernetes Data Ingestion (Logstash, Fluentd) Data Streaming (Apache Kafka) Data Processing (Spark) Fondamenti di Machine Learning e classificazione Data Indexing and Query (Elastic Search) Data Visualization (Grafana/Metabase) 1. Slides e manuali di riferimento dei relativi framework utilizzati durante il corso. 2. Github Organizationhttps://github.com/tapunict/	9	INF/01	36	36	-	-	-	Attività formative caratterizzanti	ITA

Secondo semestre

Insegnamento

CFU

SSD

Ore Lezione

Ore Eserc.

Ore Lab

Ore Altro

Ore Studio

Attività

Lingua

Gruppo opzionale: GRUPPO OPZIONALE AFFINE 3° ANNO II SEM. (SISTEMI E APPLICAZIONI) - (visualizza)

1000417 - CALCOLO NUMERICO - Erogato presso 1000417 CALCOLO NUMERICO in Matematica L-35 RUSSO Giovanni	6	MAT/08	24	24	-	-	-	Attività formative affini ed integrative	ITA
1015195 - PROGRAMMAZIONE MOBILE - SPATA Massimo Orazio (programma) Per iniziarePiattaforme per dispositivi mobili Un pò di storiaIl futuro delle applicazioni mobile Cosa Android non è... Cosa allora è... Applicazioni Android Native e di terze partiJava: breve sintesi Android Run Time Architettura di Android Strumenti di sviluppo per Android: Android StudioGradle Prima applicazione Codice Hello WorldLayout di un app AndroidIl simulatore di device Android Componenti di un applicazione Android Sviluppare per dispositivi mobili Esempio TO-DO List Android Development Tools Creazione di applicazioni ed attività Componenti di una applicazione Activity: foreground e background activityFattori da considerare per la realizzazione di una app efficiente, reattiva e sicura Ciclo di vita di un Activity Stato di un ActivityAndroid memory manager Risorse di un applicazione AndroidEsternalizzazione delle risorse Tipi di risorseFragmentView, ViewGroup Creazione di una Interfaccia Utente: i LayoutI menù Oltre le Activity: gli Intents Intent: impliciti ed espliciti Accoppiamento di Intents con applicazioni native Intents per lanciare Activity Intents Filter Intent Resolution Utilizzo dell'Intent dall'interno di una activityActivity IntentsOltre gli intents: Intent filter e Broadcast receiverTag per registrare un app ad un IntentActivity ed Intent resolutionBroadcast receiverIntent broadcast Services: background processToast e notification Controllo di un ServiceRegistrazione di un service Start e stop di un Service Service e prioritàForeground e background Thread e task asincroni Persistenza ed SQLiteContent ProviderContent providersCursorQuery, insert, update, delete FirebaseConnessione ad un db FirebaseCreazione di un progetto con Firebase ARCore library Cosa è ARCore? Funzionalità di ARCore Dispositivi supportati Come funziona ARCore? ARCore per Android Configura il tuo ambiente di sviluppo Come usare il posizionamento istantaneo Reto Meier, Ian Lake - "Professional Android" 4th Edition - Wrox - ISBN: 978-1-118-94952-8 Massimo Carli, Android 9 – Apogeo – ISBN: 978-88-503-3472-2	6	INF/01	24	24	-	-	-	Attività formative affini ed integrative	ITA
1006278 - SVILUPPO DI GIOCHI DIGITALI - STANCO FILIPPO (programma) Introduzione a Unity e interfaccia Player settings, build GameObject, Components, Prefab, Tag, Layer Script Unity e funzioni principali (Start, Awake, Update, LateUpdate, FixedUpdate) Vettori Enable/Disable Components, Activate Gameobjects Translate/Rotate, LookAt, Lerp, Destroy GetButton/Key/Axis, OnMouseDown, GetComponent DeltaTime, Instantiate Classi Statiche Enums, Method Overload Generics, Ereditarietà Interfacce(script), Extension methods, delegates Singleton, Coroutines, PlayerPrefs Collisioni, Raycast Textures, Materials Luci Audio Listener, Audio Source, Audio 2D/3D Animazioni e Animator UI NavMesh Qualora l'insegnamento venisse impartito in modalità mista o a distanza potranno essereintrodotte le necessarie variazioni rispetto a quanto dichiarato inprecedenza, al fine di rispettareil programma previsto e riportato nel syllabus Non esiste uno specifico testo di riferimento. E' possibile usare qualsiasi manuale di Unity o servirsi delle referenze online.	6	INF/01	24	24	-	-	-	Attività formative affini ed integrative	ITA
67669 - SISTEMI CENTRALI - MESSINA FABRIZIO (programma) Introduzione del corso: Modelli Elaborativi Centralizzati, Distribuiti ed in Cloud Obiettivi del corsoIl piano del corsoLe ragioni della struttura del corsoModalità di esame Modelli Elaborativi CentralizzatiClient serverDistribuitiin Cloud Continuità Operativa e Scalabilità PRIMA PARTE Architettura a tre livelli SECONDA PARTE Continuità Operativa e ScalabilitàAlta affidabilità (High Availability)ClustersBilanciatori di carico e load balancingPolitiche di bilanciamentoScalabilità orizzontale e verticaleRidondanza dei dischi (RAID)Altri punti di vulnerabilità (single point of failure)Backup e recoveryDisaster Recovery Stima del dimensionamento del sistema e topologia PRIMA PARTE: LA NECESSITA’ DEL DIMENSIONAMENTO Stima del dimensionamento del sistema e topologiaLa stima per il budget di progettoL’acquisto dell’infrastrutturaCiclo di sviluppo: ambienti richiesti SECONDA PARTE: METODOLOGIA DEL DIMENSIONAMENTO Requisiti di scalabilità del softwareStima delle CPU e della memoria RAMContingency e think timeThroughput del processoreIl dimensionamento del DatabaseIl dimensionamento del file systemCrescita dei volumi e capacity planLo stress test TERZA PARTE: DISEGNO DELLA TOPOLOGIA La definizione della topologiaFattori che influenzano la topologiaUn approccio euristico Virtualizzazione PRIMA PARTE: COMPRENDERE LA VIRTUALIZZAZIONE Il concetto della virtualizzazioneL’importanza della virtualizzazioneI trend ed il cloud computing SECONDA PARTE: VIRTUALIZZAZIONE DEL SISTEMA HypervisorVirtual machine (VM)Gestione della CPU della VMGestione della RAM della VMGestione dello storage della VMCopia e clone di una VM TERZA PARTE: APPLICARE LA VIRTUALIZZAZIONE Disponibilità del sistema virtualizzatoLe applicazioni informatiche in ambiente virtualizzatoFornitori di software di virtualizzazioneCenni sui containers Architettura Cloud PRIMA PARTE: CARATTERISTICHE DEL CLOUD COMPUTING Caratteristiche del cloud computingCloud service modelsDeployment models: benefici e svantaggiInfrastrutture cloudNetworking in cloudInterazione tra ambienti cloud ed on premiseStorage in cloud SECONDA PARTE: CLOUD COMPUTING PER LE AZIENDE Considerazioni sui costi Dipartimento ITBilancio e cash flow Service Level Agreement (SLA)Elasticità e scalabilitàAutoscaling, Cooldown timeContinuità operativa e DR in cloudAmbienti e cicli di sviluppo dei sistemi softwareUpdate automatici, P2T e T2Sistemi centrali Introduzione e Storia dei Sistemi CentraliIntroduzione all’ Architettura dei Calcolatori (z/Architecture) Dispense e materiale fornito dal docente	6	INF/01	24	24	-	-	-	Attività formative affini ed integrative	ITA
1015249 - WEB PROGRAMMING, DESIGN & USABILITY - SANTORO FEDERICO FAUSTO (programma) Il programma verterà sulle conoscenze basilari allo sviluppo Full-Stack, in particolar modo:Front-End:Network Application LayerHTTP IntroductionClient - ServerURLs and VerbsStatus CodesHTML IntroductionWeb Browsers and HTML DocumentsBlock and inline ElementsText ElementsAttributesList and TablesFormsCSS IntroductionSimple SelectorsSelector CombinatorsPseudo-classes and elementsBox ModelCSS Style rulesCols SystemFlexbox SystemGrid SystemJavascript IntroductionVariablesData TypesExpressionsStatementsConditionalsArraysFunctionsArrow FunctionsScope and ClosuresObjects and NotationsClassesDOMEventsAsynchronousCallbacksPromisesAsync/AwaitAjax and FetchJQuery IntroductionSelectorsElementsDOM TraversingTypescript IntroductionDifferences and StoryThe compilerWorkflow and ConfigurationObjects and ArraysExplicit and Dynamic TypesFunctions and AliasesDOM and CastingClassesModulesInterfacesEnums and TuplesBack-End:Introduction to Back-End DevelopmentHTTP & Client - Server Re-IntroductionServer and ServicesSOA and MicroservicesWorkflow of a ServerDatabase TypesBack-end LanguagesBack-end TechnologiesBack-end SystemsREST ArchitectureSecurity AspectsIntroduction to NodeJSHistory of NodeJSInstallationDifference between Browser and NodeJSHello World!Environment VariablesApplication ArgumentsExportsThe NPMThe package.jsonDependenciesThe Event LoopEvent EmitterNodeJS - Development IntroductionSimple HTTP Server and requestFiles operationsStreamsError handlingNodeJS - Express IntroductionHello ExpressRoute HandlersMiddlewaresStatic FilesNodeJS - WebSockets IntroductionHTTP Polling and StreamingMessaging TransmissionNode JS - SocketIO IntroductionDifference between WebSockets and SocketIOSimple Server ExampleSimple Client ExampleEvents and Rooms I testi di riferimento relativi ai singoli ambiti tematiciverranno fornitidurante il Corsodal docentein forma didispense	6	INF/01	24	24	-	-	-	Attività formative affini ed integrative	ITA

1000977 - INSEGNAMENTO A SCELTA

Attività formative a scelta dello studente (art.10, comma 5, lettera a)

ITA

1008059 - FISICA

- Erogato presso 1008059 FISICA in Informatica L-31 SCORDINO Agata

FIS/01

Attività formative di base

ITA

1011145 - STAGE E TIROCINI

150

Ulteriori attività formative (art.10, comma 5, lettera d)

ITA

1001172 - PROVA FINALE

150

Per la prova finale e la lingua straniera (art.10, comma 5, lettera c)

ITA

Artificial intelligence and robotics

Primo anno

Primo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Altro	Ore Studio	Attività	Lingua
9795525 - STRUTTURE DISCRETE Canale: A - E - CUTELLO Vincenzo (programma) Il corso, per un totale di 6CFU, è suddiviso in 4 parti di diversa ampiezza, come sotto delineato. Ognuna delle parti si conclude con uno o più casi studio di particolare importanza. Parte I: Insiemi e Relazioni (1.5 CFU): Introduzione alla Logica Proposizionale e agli operatori di base. Il concetto di insieme e le proprietà di base. Insiemi ed operazioni tra di essi. Dimostrazione diretta. Esercizi su Insiemi Famiglie di insiemi. Insieme prodotto. Paradossi. Relazioni binarie e funzioni. Relazioni di Equivalenza. Relazioni d’ordine, Rappresentazione di insiemi finiti Esercizi e Problemi su Relazioni e Famiglie di Insiemi. Il Problema del "Hitting Set" Caso Studio: Famiglie di insiemi chiuse e la congettura Union-Closed Parte II:Fondamenti di Teoria dei Numeri e metodologie di dimostrazione (1.5 CFU): Numeri Interi Introduzione e operazioni sui numeri interi. Principio di Induzione. Divisione tra interi. Divisibilità MCD ed Algoritmo di Euclide. Numeri Primi e Coprimi. Criteri di divisibilità. Problemi ed Esercizi Aritmetica Modulare Congruenze. Proprietà delle congruenze. Invarianza rispetto a somma e prodotto: conseguenze ed esercizi Funzione φ di Eulero Definizione e formula generale. Il Teorema di Eulero. Esempi ed esercizi Applicazioni dell’Aritmetica modulare La prova del 9. Codici ISBN e Carte di Credito. Cifrari monoalfabetici a trasposizione Teoria dei numeri e problemi aperti Numeri primi di Mersenne e numeri perfetti. Numeri primi gemelli. La congettura di Goldbach CASO STUDIO: Il problema 3x + 1 (Congettura di Collatz) Parte III:Calcolo Combinatorio e Probabilità Discrete (1.0 CFU): Calcolo Combinatorio Introduzione. Disposizioni e combinazioni. Permutazioni e Combinazioni. Teorema Binomiale. Il triangolo di Pascal. Combinazioni con ripetizione. Esercizi. Principio dei cassetti (Pigeonhole principle) Probabilità Discrete Introduzione. Formalizzazione Matematica. Assiomi e Proprietà. La regola di Bayes. Problemi d’urna. Esercizi. Variabili casuali. Problemi ed esercizi Caso Studio: Il paradosso di Monty Hall, giochi e paradossi probabilistici. Parte IV:Grafi e Alberi (2.0 CFU): 1 Introduzione alla Teoria dei Grafi Introduzione: strette di mano e passeggiate su ponti. Definizioni di base. Gradi di un nodo. Classi particolari di grafi: Grafi regolari, Grafi completi, Grafi Bipartiti. Sottografi, Isomorfismi e Omeomorfismi: Definizione di sottografo, Isomorfismi, Omeomorfismi. Percorsi, cammini e cicli. Grafi connessi. Rappresentazione di un grafo. Numero di percorsi tra nodi. Grafi Euleriani ed Hamiltoniani. Grafi pesati. Il problema del commesso viaggiatore. Grafi planari. Colorazione di un grafo. Alberi: definizioni fondamentali e classi particolari di alberi. CASI STUDIO:Problemi combinatori su grafi. Nessun testo di riferimento specifico. Il docente fornirà agli studenti i lucidi del corso e quant'altro materiale necessario e sufficiente per completare ed approfondire gli argomenti discussi a lezione. - CAVALLARO CLAUDIA (programma) Il corso, per un totale di 6CFU, è suddiviso in 4 parti di diversa ampiezza, come sotto delineato. Ognuna delle parti si conclude con uno o più casi studio di particolare importanza.Parte I:Insiemi e Relazioni (1.5 CFU):Introduzione alla Logica Proposizionale e agli operatori di base.Il concetto di insieme e le proprietà di base. Insiemi ed operazioni tra di essi. Dimostrazione diretta. Esercizi su InsiemiFamiglie di insiemi. Insieme prodotto. Paradossi.Relazioni binarie e funzioni. Relazioni di Equivalenza. Relazioni d’ordine, Rappresentazione di insiemi finitiEsercizi e Problemi su Relazioni e Famiglie di Insiemi. Il Problema del "Hitting Set"Caso Studio: Famiglie di insiemi chiuse e la congettura Union-ClosedParte II:Fondamenti di Teoria dei Numeri e metodologie di dimostrazione (1.5 CFU):Numeri InteriIntroduzione e operazioni sui numeri interi. Principio di Induzione. Divisione tra interi. DivisibilitàMCD ed Algoritmo di Euclide. Numeri Primi e Coprimi. Criteri di divisibilità. Problemi ed EserciziAritmetica ModulareCongruenze. Proprietà delle congruenze. Invarianza rispetto a somma e prodotto: conseguenze ed eserciziFunzioneφdi EuleroDefinizione e formula generale. Il Teorema di Eulero. Esempi ed eserciziApplicazioni dell’Aritmetica modulareLa prova del 9. Codici ISBN e Carte di Credito. Cifrari monoalfabetici a trasposizioneTeoria dei numeri e problemi apertiNumeri primi di Mersenne e numeri perfetti. Numeri primi gemelli. La congettura di GoldbachCASO STUDIO: Il problema 3x + 1 (Congettura di Collatz)Parte III:Calcolo Combinatorio e Probabilità Discrete (1 CFU):Calcolo CombinatorioIntroduzione. Disposizioni e combinazioni. Permutazioni e Combinazioni. Teorema Binomiale. Il triangolo di Pascal. Combinazioni con ripetizione.Esercizi. Principio dei cassetti (Pigeonhole principle)Probabilità DiscreteIntroduzione. Formalizzazione Matematica. Assiomi e Proprietà. La regola di Bayes. Problemi d’urna.Esercizi. Variabili casuali. Problemi ed eserciziCaso Studio: Il paradosso di Monty Hall, giochi e paradossi probabilistici.Parte IV:Grafi e Alberi (2.0 CFU):Introduzione alla Teoria dei GrafiIntroduzione: strette di mano e passeggiate su ponti. Definizioni di base.Gradi di un nodo. Classi particolari di grafi: Grafi regolari, Grafi completi, Grafi Bipartiti.Sottografi, Isomorfismi e Omeomorfismi: Definizione di sottografo, Isomorfismi, Omeomorfismi.Percorsi, cammini e cicli. Grafi connessi. Rappresentazione di un grafo. Numero di percorsi tra nodi. Grafi Euleriani ed Hamiltoniani. Grafi pesati.Il problema del commesso viaggiatore. Grafi planari. Colorazione di un grafo.Alberi: definizioni fondamentali e classi particolari di alberi.CASI STUDIO:Problemi combinatori su grafi. Nessun testo di riferimento specifico. Il docente fornirà agli studenti i lucidi del corso e quant'altro materiale necessario e sufficiente per completare ed approfondire gli argomenti discussi a lezione. Canale: F - N - CUTELLO Vincenzo (programma) Il corso, per un totale di 6CFU, è suddiviso in 4 parti di diversa ampiezza, come sotto delineato. Ognuna delle parti si conclude con uno o più casi studio di particolare importanza. Parte I: Insiemi e Relazioni (1.5 CFU): Introduzione alla Logica Proposizionale e agli operatori di base. Il concetto di insieme e le proprietà di base. Insiemi ed operazioni tra di essi. Dimostrazione diretta. Esercizi su Insiemi Famiglie di insiemi. Insieme prodotto. Paradossi. Relazioni binarie e funzioni. Relazioni di Equivalenza. Relazioni d’ordine, Rappresentazione di insiemi finiti Esercizi e Problemi su Relazioni e Famiglie di Insiemi. Il Problema del "Hitting Set" Caso Studio: Famiglie di insiemi chiuse e la congettura Union-Closed Parte II:Fondamenti di Teoria dei Numeri e metodologie di dimostrazione (1.5 CFU): Numeri Interi Introduzione e operazioni sui numeri interi. Principio di Induzione. Divisione tra interi. Divisibilità MCD ed Algoritmo di Euclide. Numeri Primi e Coprimi. Criteri di divisibilità. Problemi ed Esercizi Aritmetica Modulare Congruenze. Proprietà delle congruenze. Invarianza rispetto a somma e prodotto: conseguenze ed esercizi Funzione φ di Eulero Definizione e formula generale. Il Teorema di Eulero. Esempi ed esercizi Applicazioni dell’Aritmetica modulare La prova del 9. Codici ISBN e Carte di Credito. Cifrari monoalfabetici a trasposizione Teoria dei numeri e problemi aperti Numeri primi di Mersenne e numeri perfetti. Numeri primi gemelli. La congettura di Goldbach CASO STUDIO: Il problema 3x + 1 (Congettura di Collatz) Parte III:Calcolo Combinatorio e Probabilità Discrete (1.0 CFU): Calcolo Combinatorio Introduzione. Disposizioni e combinazioni. Permutazioni e Combinazioni. Teorema Binomiale. Il triangolo di Pascal. Combinazioni con ripetizione. Esercizi. Principio dei cassetti (Pigeonhole principle) Probabilità Discrete Introduzione. Formalizzazione Matematica. Assiomi e Proprietà. La regola di Bayes. Problemi d’urna. Esercizi. Variabili casuali. Problemi ed esercizi Caso Studio: Il paradosso di Monty Hall, giochi e paradossi probabilistici. Parte IV:Grafi e Alberi (2.0 CFU): 1 Introduzione alla Teoria dei Grafi Introduzione: strette di mano e passeggiate su ponti. Definizioni di base. Gradi di un nodo. Classi particolari di grafi: Grafi regolari, Grafi completi, Grafi Bipartiti. Sottografi, Isomorfismi e Omeomorfismi: Definizione di sottografo, Isomorfismi, Omeomorfismi. Percorsi, cammini e cicli. Grafi connessi. Rappresentazione di un grafo. Numero di percorsi tra nodi. Grafi Euleriani ed Hamiltoniani. Grafi pesati. Il problema del commesso viaggiatore. Grafi planari. Colorazione di un grafo. Alberi: definizioni fondamentali e classi particolari di alberi. CASI STUDIO:Problemi combinatori su grafi. Nessun testo di riferimento specifico. Il docente fornirà agli studenti i lucidi del corso e quant'altro materiale necessario e sufficiente per completare ed approfondire gli argomenti discussi a lezione. - CAVALLARO CLAUDIA (programma) Il corso, per un totale di 6CFU, è suddiviso in 4 parti di diversa ampiezza, come sotto delineato. Ognuna delle parti si conclude con uno o più casi studio di particolare importanza.Parte I:Insiemi e Relazioni (1.5 CFU):Introduzione alla Logica Proposizionale e agli operatori di base.Il concetto di insieme e le proprietà di base. Insiemi ed operazioni tra di essi. Dimostrazione diretta. Esercizi su InsiemiFamiglie di insiemi. Insieme prodotto. Paradossi.Relazioni binarie e funzioni. Relazioni di Equivalenza. Relazioni d’ordine, Rappresentazione di insiemi finitiEsercizi e Problemi su Relazioni e Famiglie di Insiemi. Il Problema del "Hitting Set"Caso Studio: Famiglie di insiemi chiuse e la congettura Union-ClosedParte II:Fondamenti di Teoria dei Numeri e metodologie di dimostrazione (1.5 CFU):Numeri InteriIntroduzione e operazioni sui numeri interi. Principio di Induzione. Divisione tra interi. DivisibilitàMCD ed Algoritmo di Euclide. Numeri Primi e Coprimi. Criteri di divisibilità. Problemi ed EserciziAritmetica ModulareCongruenze. Proprietà delle congruenze. Invarianza rispetto a somma e prodotto: conseguenze ed eserciziFunzioneφdi EuleroDefinizione e formula generale. Il Teorema di Eulero. Esempi ed eserciziApplicazioni dell’Aritmetica modulareLa prova del 9. Codici ISBN e Carte di Credito. Cifrari monoalfabetici a trasposizioneTeoria dei numeri e problemi apertiNumeri primi di Mersenne e numeri perfetti. Numeri primi gemelli. La congettura di GoldbachCASO STUDIO: Il problema 3x + 1 (Congettura di Collatz)Parte III:Calcolo Combinatorio e Probabilità Discrete (1 CFU):Calcolo CombinatorioIntroduzione. Disposizioni e combinazioni. Permutazioni e Combinazioni. Teorema Binomiale. Il triangolo di Pascal. Combinazioni con ripetizione.Esercizi. Principio dei cassetti (Pigeonhole principle)Probabilità DiscreteIntroduzione. Formalizzazione Matematica. Assiomi e Proprietà. La regola di Bayes. Problemi d’urna.Esercizi. Variabili casuali. Problemi ed eserciziCaso Studio: Il paradosso di Monty Hall, giochi e paradossi probabilistici.Parte IV:Grafi e Alberi (2.0 CFU):Introduzione alla Teoria dei GrafiIntroduzione: strette di mano e passeggiate su ponti. Definizioni di base.Gradi di un nodo. Classi particolari di grafi: Grafi regolari, Grafi completi, Grafi Bipartiti.Sottografi, Isomorfismi e Omeomorfismi: Definizione di sottografo, Isomorfismi, Omeomorfismi.Percorsi, cammini e cicli. Grafi connessi. Rappresentazione di un grafo. Numero di percorsi tra nodi. Grafi Euleriani ed Hamiltoniani. Grafi pesati.Il problema del commesso viaggiatore. Grafi planari. Colorazione di un grafo.Alberi: definizioni fondamentali e classi particolari di alberi.CASI STUDIO:Problemi combinatori su grafi. Nessun testo di riferimento specifico. Il docente fornirà agli studenti i lucidi del corso e quant'altro materiale necessario e sufficiente per completare ed approfondire gli argomenti discussi a lezione. Canale: O - Z - CUTELLO Vincenzo (programma) Il corso, per un totale di 6CFU, è suddiviso in 4 parti di diversa ampiezza, come sotto delineato. Ognuna delle parti si conclude con uno o più casi studio di particolare importanza. Parte I: Insiemi e Relazioni (1.5 CFU): Introduzione alla Logica Proposizionale e agli operatori di base. Il concetto di insieme e le proprietà di base. Insiemi ed operazioni tra di essi. Dimostrazione diretta. Esercizi su Insiemi Famiglie di insiemi. Insieme prodotto. Paradossi. Relazioni binarie e funzioni. Relazioni di Equivalenza. Relazioni d’ordine, Rappresentazione di insiemi finiti Esercizi e Problemi su Relazioni e Famiglie di Insiemi. Il Problema del "Hitting Set" Caso Studio: Famiglie di insiemi chiuse e la congettura Union-Closed Parte II:Fondamenti di Teoria dei Numeri e metodologie di dimostrazione (1.5 CFU): Numeri Interi Introduzione e operazioni sui numeri interi. Principio di Induzione. Divisione tra interi. Divisibilità MCD ed Algoritmo di Euclide. Numeri Primi e Coprimi. Criteri di divisibilità. Problemi ed Esercizi Aritmetica Modulare Congruenze. Proprietà delle congruenze. Invarianza rispetto a somma e prodotto: conseguenze ed esercizi Funzione φ di Eulero Definizione e formula generale. Il Teorema di Eulero. Esempi ed esercizi Applicazioni dell’Aritmetica modulare La prova del 9. Codici ISBN e Carte di Credito. Cifrari monoalfabetici a trasposizione Teoria dei numeri e problemi aperti Numeri primi di Mersenne e numeri perfetti. Numeri primi gemelli. La congettura di Goldbach CASO STUDIO: Il problema 3x + 1 (Congettura di Collatz) Parte III:Calcolo Combinatorio e Probabilità Discrete (1.0 CFU): Calcolo Combinatorio Introduzione. Disposizioni e combinazioni. Permutazioni e Combinazioni. Teorema Binomiale. Il triangolo di Pascal. Combinazioni con ripetizione. Esercizi. Principio dei cassetti (Pigeonhole principle) Probabilità Discrete Introduzione. Formalizzazione Matematica. Assiomi e Proprietà. La regola di Bayes. Problemi d’urna. Esercizi. Variabili casuali. Problemi ed esercizi Caso Studio: Il paradosso di Monty Hall, giochi e paradossi probabilistici. Parte IV:Grafi e Alberi (2.0 CFU): 1 Introduzione alla Teoria dei Grafi Introduzione: strette di mano e passeggiate su ponti. Definizioni di base. Gradi di un nodo. Classi particolari di grafi: Grafi regolari, Grafi completi, Grafi Bipartiti. Sottografi, Isomorfismi e Omeomorfismi: Definizione di sottografo, Isomorfismi, Omeomorfismi. Percorsi, cammini e cicli. Grafi connessi. Rappresentazione di un grafo. Numero di percorsi tra nodi. Grafi Euleriani ed Hamiltoniani. Grafi pesati. Il problema del commesso viaggiatore. Grafi planari. Colorazione di un grafo. Alberi: definizioni fondamentali e classi particolari di alberi. CASI STUDIO:Problemi combinatori su grafi. Nessun testo di riferimento specifico. Il docente fornirà agli studenti i lucidi del corso e quant'altro materiale necessario e sufficiente per completare ed approfondire gli argomenti discussi a lezione. - CAVALLARO CLAUDIA (programma) Il corso, per un totale di 6CFU, è suddiviso in 4 parti di diversa ampiezza, come sotto delineato. Ognuna delle parti si conclude con uno o più casi studio di particolare importanza.Parte I:Insiemi e Relazioni (1.5 CFU):Introduzione alla Logica Proposizionale e agli operatori di base.Il concetto di insieme e le proprietà di base. Insiemi ed operazioni tra di essi. Dimostrazione diretta. Esercizi su InsiemiFamiglie di insiemi. Insieme prodotto. Paradossi.Relazioni binarie e funzioni. Relazioni di Equivalenza. Relazioni d’ordine, Rappresentazione di insiemi finitiEsercizi e Problemi su Relazioni e Famiglie di Insiemi. Il Problema del "Hitting Set"Caso Studio: Famiglie di insiemi chiuse e la congettura Union-ClosedParte II:Fondamenti di Teoria dei Numeri e metodologie di dimostrazione (1.5 CFU):Numeri InteriIntroduzione e operazioni sui numeri interi. Principio di Induzione. Divisione tra interi. DivisibilitàMCD ed Algoritmo di Euclide. Numeri Primi e Coprimi. Criteri di divisibilità. Problemi ed EserciziAritmetica ModulareCongruenze. Proprietà delle congruenze. Invarianza rispetto a somma e prodotto: conseguenze ed eserciziFunzioneφdi EuleroDefinizione e formula generale. Il Teorema di Eulero. Esempi ed eserciziApplicazioni dell’Aritmetica modulareLa prova del 9. Codici ISBN e Carte di Credito. Cifrari monoalfabetici a trasposizioneTeoria dei numeri e problemi apertiNumeri primi di Mersenne e numeri perfetti. Numeri primi gemelli. La congettura di GoldbachCASO STUDIO: Il problema 3x + 1 (Congettura di Collatz)Parte III:Calcolo Combinatorio e Probabilità Discrete (1 CFU):Calcolo CombinatorioIntroduzione. Disposizioni e combinazioni. Permutazioni e Combinazioni. Teorema Binomiale. Il triangolo di Pascal. Combinazioni con ripetizione.Esercizi. Principio dei cassetti (Pigeonhole principle)Probabilità DiscreteIntroduzione. Formalizzazione Matematica. Assiomi e Proprietà. La regola di Bayes. Problemi d’urna.Esercizi. Variabili casuali. Problemi ed eserciziCaso Studio: Il paradosso di Monty Hall, giochi e paradossi probabilistici.Parte IV:Grafi e Alberi (2.0 CFU):Introduzione alla Teoria dei GrafiIntroduzione: strette di mano e passeggiate su ponti. Definizioni di base.Gradi di un nodo. Classi particolari di grafi: Grafi regolari, Grafi completi, Grafi Bipartiti.Sottografi, Isomorfismi e Omeomorfismi: Definizione di sottografo, Isomorfismi, Omeomorfismi.Percorsi, cammini e cicli. Grafi connessi. Rappresentazione di un grafo. Numero di percorsi tra nodi. Grafi Euleriani ed Hamiltoniani. Grafi pesati.Il problema del commesso viaggiatore. Grafi planari. Colorazione di un grafo.Alberi: definizioni fondamentali e classi particolari di alberi.CASI STUDIO:Problemi combinatori su grafi. Nessun testo di riferimento specifico. Il docente fornirà agli studenti i lucidi del corso e quant'altro materiale necessario e sufficiente per completare ed approfondire gli argomenti discussi a lezione.	6	INF/01	24	24	-	-	-	Attività formative affini ed integrative	ITA
1015938 - ARCHITETTURA DEGLI ELABORATORI E LABORATORIO
1015939 - ARCHITETTURA DEGLI ELABORATORI Canale: A - E - SANTORO CORRADO (programma) Finalità e organizzazione dello studio. Macchine da calcolo: cenni storici.Macchine da calcolo: unità funzionali, architetture.Strutture algebriche, algebre di Boole.Realizzazione di porte logiche, circuiti sequenziali, flip-flop.Architetture RISC e CISC, modi d'indirizzamento, esempi di ISA reali.Tipi e formati di istruzioni, esempi di linguaggi assemblativi reali.Operazioni di I/O, controllo e servizio delle interruzioni.Software di supporto, linguaggi assemblativi e C, sistema operativo.Struttura di base del processore, microarchitetture RISC e CISC.Processori ad alte prestazioni, tecniche predittive, processori superscalari.Dispositivi di memoria principale, DMA, gerarchia delle memorie.Circuiti efficienti per l'aritmetica binaria. C. Hamacher, Z. Vranesic, S. Zaky & N. Manjikian :Introduzione all'architettura dei calcolatori. Terza edizione, McGraw-Hill Education (Italy), 2013Note integrative fornite dal docente durante lo sviluppo delle lezioni. Canale: F - N - TRAMONTANA EMILIANO ALESSIO (programma) Finalità e organizzazione dello studio. Macchine da calcolo: cenni storici. Macchine da calcolo: unità funzionali, architetture. Strutture algebriche, algebre di Boole. Realizzazione di porte logiche, circuiti sequenziali, flip-flop. Architetture RISC e CISC, modi d'indirizzamento, esempi di ISA reali. Tipi e formati di istruzioni, esempi di linguaggi assemblativi reali. Operazioni di I/O, controllo e servizio delle interruzioni. Software di supporto, linguaggi assemblativi e C, sistema operativo. Struttura di base del processore, microarchitetture RISC e CISC. Processori ad alte prestazioni, tecniche predittive, processori superscalari. Dispositivi di memoria principale, DMA, gerarchia delle memorie, memoria cache. Circuiti efficienti per l'aritmetica binaria. C. Hamacher, Z. Vranesic, S. Zaky & N. Manjikian :Introduzione all'architettura dei calcolatori. Terza edizione, McGraw-Hill Education (Italy), 2013 Canale: O - Z - MANNO CLAUDIO (programma) Finalità e organizzazione dello studio. Macchine da calcolo: cenni storici.Macchine da calcolo: unità funzionali, architetture.Strutture algebriche, algebre di Boole.Realizzazione di porte logiche, circuiti sequenziali, flip-flop.Architetture RISC e CISC, modi d'indirizzamento, esempi di ISA reali.Tipi e formati di istruzioni, esempi di linguaggi assemblativi reali.Operazioni di I/O, controllo e servizio delle interruzioni.Software di supporto, linguaggi assemblativi e C, sistema operativo.Struttura di base del processore, microarchitetture RISC e CISC.Processori ad alte prestazioni, tecniche predittive, processori superscalari.Dispositivi di memoria principale, DMA, gerarchia delle memorie, memoria cache.Circuiti efficienti per l'aritmetica binaria. C. Hamacher, Z. Vranesic, S. Zaky & N. Manjikian :Introduzione all'architettura dei calcolatori. Terza edizione, McGraw-Hill Education (Italy), 2013	6	INF/01	24	24	-	-	-	Attività formative caratterizzanti	ITA
1015940 - LABORATORIO Canale: A - E - SANTORO CORRADO Canale: F - N - VERGA GABRIELLA (programma) Esercitazione su sistema binario e sui sistemi di rappresentazioneEsercitazione su analisi e sintesi di funzioni logicheEsercitazione su circuiti sequenzialiEsercitazione programmi assembly calcolo prodotto scalare e ricerca minimoEsercitazione di programmazione assembly per chiamata a sottoprogrammaEsercitazione sulla struttura dei processori RISCEsercitazione sul pipeliningEsercitazione interfacce di I/OEsercitazione Circuiti aritmetici C. Hamacher, Z. Vranesic, S. Zaky & N. Manjikian :Introduzione all'architettura dei calcolatori. Terza edizione, McGraw-Hill Education (Italy), 2013 Canale: O - Z - MANNO CLAUDIO (programma) Esercitazione su sistema binario e sui sistemi di rappresentazioneEsercitazione su analisi e sintesi di funzioni logicheEsercitazione su circuiti sequenzialiEsercitazione programmi assembly calcolo prodotto scalare e ricerca minimoEsercitazione di programmazione assembly per chiamata a sottoprogrammaEsercitazione sulla struttura dei processori RISCEsercitazione sul pipeliningEsercitazione interfacce di I/OEsercitazione Circuiti aritmetici C. Hamacher, Z. Vranesic, S. Zaky & N. Manjikian :Introduzione all'architettura dei calcolatori. Terza edizione, McGraw-Hill Education (Italy), 2013	3	INF/01	12	-	12	-	-	Attività formative caratterizzanti	ITA
9795526 - ALGEBRA LINEARE E GEOMETRIA Canale: A - E - ZAPPALA' Giuseppe (programma) 1. Calcolo matriciale e sistemi lineari. Matrici. Operazioni tra matrici. Matrici notevoli. Sistemi lineari. Calcolo della matrice inversa. Determinante di una matrice quadrata e relative proprietà. Rango di una matrice. Teoremi di Cramer e di Rouché-Capelli. 2. Spazi vettoriali. Sottospazi vettoriali e operazioni tra di essi. Dipendenza ed indipendenza lineare. Basi e dimensione di uno spazio vettoriale. Applicazioni lineari. Endomorfismi. 3.Autovalori e autovettori. Polinomio caratteristico. Ricerca degli autovalori. Similitudine tra matrici. Matrici diagonalizzabili. 4. Geometria lineare nel piano. Rette nel piano e loro equazioni. Parallelismo e ortogonalità. Intersezione tra rette. Fasci di rette. 5. Isometrie piane. Traslazione, rotazione attorno ad un punto. Riflessione rispetto ad una retta. 6. Geometria lineare nello spazio. Piani e rette nello spazio e loro equazioni. Parallelismo e ortogonalità. Intersezione tra piani, tra un piano e una retta e tra rette. Coordinate omogenee nello spazio. Punti e rette improprie nello spazio. Fasci di piani. 7. Coniche nel piano e matrici ad esse associate. Invarianti ortogonali. Coniche riducibili e irriducibili. Classificazione delle coniche irriducibili. Riduzione di una conica a forma canonica. Studio delle coniche in forma canonica. Centro ed assi di simmetria. Circonferenze. Tangenti. 1. S. Giuffrida, A. Ragusa: Corso di Algebra Lineare. Il Cigno Galileo Galilei, Roma, 1998. 2. G. Paxia, Lezioni di Geometria. Spazio Libri, Catania, 2000. 3. P. Bonacini, M. G. Cinquegrani, L. Marino. Algebra lineare: esercizi svolti. Cavallotto Edizioni, Catania, 2012. 4. P. Bonacini, M. G. Cinquegrani, L. Marino. Geometria analitica: esercizi svolti. Cavallotto Edizioni, Catania, 2012. Canale: F - N - MARINO LUCIA MARIA (programma) ALGEBRA LINEARE E GEOMETRIA 1. Calcolo matriciale e sistemi lineari. Matrici. Operazioni tra matrici. Matrici notevoli. Sistemi lineari. Calcolo della matrice inversa. Determinante di una matrice quadrata e relative proprietà. Rango di una matrice. Teoremi di Cramer e di Rouché-Capelli. 2. Spazi vettoriali. Sottospazi vettoriali e operazioni tra di essi. Dipendenza ed indipendenza lineare. Basi e dimensione di uno spazio vettoriale. Applicazioni lineari. Endomorfismi. Autovalori e autovettori. Polinomio caratteristico. Ricerca degli autovalori. Similitudine tra matrici. Matrici diagonalizzabili. 3. Calcolo vettoriale. Vettori applicati. Teorema di scomposizione. Prodotto scalare e prodotto vettoriale. Prodotto misto. Vettori liberi. 4. Geometria lineare nel piano. Rette nel piano e loro equazioni. Parallelismo e ortogonalità. Intersezione tra rette. Fasci di rette. 5. Isometrie piane. Traslazione, rotazione attorno ad un punto. Riflessione rispetto ad una retta. 6. Geometria lineare nello spazio. Piani e rette nello spazio e loro equazioni. Parallelismo e ortogonalità. Intersezione tra piani, tra un piano e una retta e tra rette. Coordinate omogenee nello spazio. Punti e rette improprie nello spazio. Fasci di piani. 7. Coniche nel piano e matrici ad esse associate. Invarianti ortogonali. Coniche riducibili e irriducibili. Classificazione delle coniche irriducibili. Riduzione di una conica a forma canonica. Studio delle coniche in forma canonica. Centro ed assi di simmetria. Circonferenze. Tangenti. ALGEBRA LINEARE E GEOMETRIA 1. Bonacini, Cinquegrani, Marino: Algebra Lineare: esercizi svolti Ed. Cavallotto 2. Bonacini, Cinquegrani, Marino: Geometria: esercizi svolti. Ed. Cavallotto Canale: O - Z - STAGLIANO' GIOVANNI (programma) 1. Calcolo matriciale e sistemi lineari. Matrici. Operazioni tra matrici. Matrici notevoli. Sistemi lineari. Calcolo della matrice inversa. Determinante di una matrice quadrata e relative proprietà. Rango di una matrice. Teoremi di Cramer e di Rouché-Capelli.2. Spazi vettoriali. Sottospazi vettoriali e operazioni tra di essi. Dipendenza ed indipendenza lineare. Basi e dimensione di uno spazio vettoriale. Applicazioni lineari. Endomorfismi.3. Autovalori e autovettori. Polinomio caratteristico. Ricerca degli autovalori. Similitudine tra matrici. Matrici diagonalizzabili.4. Geometria lineare nel piano. Rette nel piano e loro equazioni. Parallelismo e ortogonalità. Intersezione tra rette. Fasci di rette.5. Isometrie piane. Traslazione, rotazione attorno ad un punto. Riflessione rispetto ad una retta.6. Geometria lineare nello spazio. Piani e rette nello spazio e loro equazioni. Parallelismo e ortogonalità. Intersezione tra piani, tra un piano e una retta e tra rette. Coordinate omogenee nello spazio. Punti e rette improprie nello spazio. Fasci di piani.7. Coniche nel piano e matrici ad esse associate. Invarianti ortogonali. Coniche riducibili e irriducibili. Classificazione delle coniche irriducibili. Riduzione di una conica a forma canonica. Studio delle coniche in forma canonica. Centro ed assi di simmetria. Circonferenze. Tangenti. 1. S. Giuffrida, A. Ragusa.Corso di Algebra Lineare con Esercizi Svolti.Il Cigno Galileo Galilei, Roma, 1998.2. M. Abate, C. de Fabritis.Geometria analitica con elementi di algebra lineare.McGraw-Hill Education, 2015.3. E. Sernesi.Geometria 1.Bollati Boringhieri, 2000.4. F. Russo.Geometria degli enti lineari e delle quadriche.Note per il Corso di Algebra Lineare e Geometria di Ingegneria.5. P. Bonacini, M. G. Cinquegrani, L. Marino.Algebra lineare: esercizi svolti.Cavallotto Edizioni, Catania, 2012. 6. P. Bonacini, M. G. Cinquegrani, L. Marino.Geometria analitica: esercizi svolti.Cavallotto Edizioni, Catania, 2012.	6	MAT/03	24	24	-	-	-	Attività formative di base	ITA
1015912 - PROGRAMMAZIONE I E LABORATORIO
1015913 - PROGRAMMAZIONE I Canale: A - E - MESSINA FABRIZIO (programma) Introduzione alla programmazioneProblemi; Algoritmi; Diagrammi di flusso.Tipi di informazione e loro rappresentazione digitale: booleani, interi, float, stringhe, dati multimediali. Standard IEEE.Cenni al modello di calcolo di von Neumann: memoria+unità di elaborazione.Variabili; Espressioni; Assegnazioni.Linguaggi di programmazione: macchina, assembly e di alto livello.Problema della traduzione: compilazione ed interpretazione.Notazione lineare strutturata. Teorema di Böhm-Jacopini.Il linguaggio CInstallazione del compilatore;Primo programma: Editing, Compiling, Running, Debugging.Costrutti del linguaggio.Tipi di dato; Operatori predefiniti; Conversioni di tipo.Gestione dell’I/O di base: stdin, stdout, stderr.Esecuzione dei comandi come valutazione di espressioni.Controllo del flusso:if-then-else;switch;while;do-while;for;break, continue;Primi esempi di funzioni su dati atomici, funzioni produttive e non produttive,scope delle variabili.Gestione esplicita della memoria: motivazioni, tecniche e funzioni di base.Puntatori: motivazioni e gestione. Operatori di indirizzo e di dereferenziazione.Aritmetica dei puntatori. Puntatori e array. Puntatori come parametro di funzione. Allocazione dinamica della memoria. Il modificatore const.Gli array in C: introduzione e esercizi su creazione, gestione, accesso, modifica, e controllo degli elementi di un array. Array multidimensionali.Le stringhe in C: introduzione e esercizi su creazione, gestione, accesso, modifica, e controllo degli elementi di una stringa.Generazione di numeri pseudo-casuali in C.Le funzioni su dati non atomici e modalità di passaggio dei parametri ad una funzione. Funzioni inline. Gestione delle chiamate mediante stack delle attivazioni. Composizione di funzioni.La ricorsione: per esempi; Record di attivazione; Stack della ricorsione.I Record (struct), le union e le enum.Argomenti alla funzione main.I File.Funzioni sui file: fopen, fclose, fseek, ftell, fread, fwritePrime strutture datiImplementazione di un insieme tramite array ordinato e array non ordinato.Pile e code. Descrizione formale e implementazioni.Liste concatenate: semplici, doppie. Descrizione formale e implementazioni.Algoritmi di ordinamento e ricerca(definizione formale e esempi di implementazioni con array e liste)Selection Sort, Insertion sort e Bubble SortRicerca sequenziale e ricerca dicotomica Il linguaggio C Fondamenti e tecniche di programmazione • 9/Ed. Paul J. Deitel - Harvey M. Deitel. ISBN: 9788891906236 Canale: F - N - FARINELLA GIOVANNI MARIA (programma) Introduzione alla programmazioneProblemi; Algoritmi; Diagrammi di flusso.Tipi di informazione e loro rappresentazione digitale: booleani, interi, float, stringhe, dati multimediali. Standard IEEE.Cenni al modello di calcolo di von Neumann: memoria+unità di elaborazione.Variabili; Espressioni; Assegnazioni.Linguaggi di programmazione: macchina, assembly e di alto livello.Problema della traduzione: compilazione ed interpretazione.Notazione lineare strutturata. Teorema di Böhm-Jacopini.Il linguaggio CInstallazione del compilatore;Primo programma: Editing, Compiling, Running, Debugging.Costrutti del linguaggio.Tipi di dato; Operatori predefiniti; Conversioni di tipo.Gestione dell’I/O di base: stdin, stdout, stderr.Esecuzione dei comandi come valutazione di espressioni.Controllo del flusso:if-then-else;switch;while;do-while;for;break, continue;Primi esempi di funzioni su dati atomici, funzioni produttive e non produttive,scope delle variabili.Gestione esplicita della memoria: motivazioni, tecniche e funzioni di base.Puntatori: motivazioni e gestione. Operatori di indirizzo e di dereferenziazione.Aritmetica dei puntatori. Puntatori e array. Puntatori come parametro di funzione. Allocazione dinamica della memoria. Il modificatore const.Gli array in C: introduzione e esercizi su creazione, gestione, accesso, modifica, e controllo degli elementi di un array. Array multidimensionali.Le stringhe in C: introduzione e esercizi su creazione, gestione, accesso, modifica, e controllo degli elementi di una stringa.Generazione di numeri pseudo-casuali in C.Le funzioni su dati non atomici e modalità di passaggio dei parametri ad una funzione. Funzioni inline. Gestione delle chiamate mediante stack delle attivazioni. Composizione di funzioni.La ricorsione: per esempi; Record di attivazione; Stack della ricorsione.I Record (struct), le union e le enum.Argomenti alla funzione main.I FileFunzioni sui file: fopen, fclose, fseek, ftell, fread, fwritePrime strutture datiImplementazione di un insieme tramite array ordinato e array non ordinato.Pile e code. Descrizione formale e implementazioni.Liste concatenate: semplici, doppie. Descrizione formale e implementazioni.Algoritmi di ordinamento e ricerca(definizione formale e esempi di implementazioni con array e liste)Selection Sort, Insertion sort e Bubble SortRicerca sequenziale e ricerca dicotomica Il linguaggio C Fondamenti e tecniche di programmazione • 9/Ed. Paul J. Deitel - Harvey M. Deitel. ISBN: 9788891906236 Canale: O - Z - MESSINA FABRIZIO (programma) Introduzione alla programmazioneProblemi; Algoritmi; Diagrammi di flusso.Tipi di informazione e loro rappresentazione digitale: booleani, interi, float, stringhe, dati multimediali. Standard IEEE.Cenni al modello di calcolo di von Neumann: memoria+unità di elaborazione.Variabili; Espressioni; Assegnazioni.Linguaggi di programmazione: macchina, assembly e di alto livello.Problema della traduzione: compilazione ed interpretazione.Notazione lineare strutturata. Teorema di Böhm-Jacopini.Il linguaggio CInstallazione del compilatore;Primo programma: Editing, Compiling, Running, Debugging.Costrutti del linguaggio.Tipi di dato; Operatori predefiniti; Conversioni di tipo.Gestione dell’I/O di base: stdin, stdout, stderr.Esecuzione dei comandi come valutazione di espressioni.Controllo del flusso:if-then-else;switch;while;do-while;for;break, continue;Primi esempi di funzioni su dati atomici, funzioni produttive e non produttive,scope delle variabili.Gestione esplicita della memoria: motivazioni, tecniche e funzioni di base.Puntatori: motivazioni e gestione. Operatori di indirizzo e di dereferenziazione.Aritmetica dei puntatori. Puntatori e array. Puntatori come parametro di funzione. Allocazione dinamica della memoria. Il modificatore const.Gli array in C: introduzione e esercizi su creazione, gestione, accesso, modifica, e controllo degli elementi di un array. Array multidimensionali.Le stringhe in C: introduzione e esercizi su creazione, gestione, accesso, modifica, e controllo degli elementi di una stringa.Generazione di numeri pseudo-casuali in C.Le funzioni su dati non atomici e modalità di passaggio dei parametri ad una funzione. Funzioni inline. Gestione delle chiamate mediante stack delle attivazioni. Composizione di funzioni.La ricorsione: per esempi; Record di attivazione; Stack della ricorsione.I Record (struct), le union e le enum.Argomenti alla funzione main.I File.Funzioni sui file: fopen, fclose, fseek, ftell, fread, fwritePrime strutture datiImplementazione di un insieme tramite array ordinato e array non ordinato.Pile e code. Descrizione formale e implementazioni.Liste concatenate: semplici, doppie. Descrizione formale e implementazioni.Algoritmi di ordinamento e ricerca(definizione formale e esempi di implementazioni con array e liste)Selection Sort, Insertion sort e Bubble SortRicerca sequenziale e ricerca dicotomica Il linguaggio C Fondamenti e tecniche di programmazione • 9/Ed. Paul J. Deitel - Harvey M. Deitel. ISBN: 9788891906236	6	INF/01	24	24	-	-	-	Attività formative di base	ITA
1015914 - LABORATORIO Canale: A - E - MESSINA FABRIZIO (programma) Introduzione alla programmazioneProblemi; Algoritmi; Diagrammi di flusso.Tipi di informazione e loro rappresentazione digitale: booleani, interi, float, stringhe, dati multimediali. Standard IEEE.Cenni al modello di calcolo di von Neumann: memoria+unità di elaborazione.Variabili; Espressioni; Assegnazioni.Linguaggi di programmazione: macchina, assembly e di alto livello.Problema della traduzione: compilazione ed interpretazione.Notazione lineare strutturata. Teorema di Böhm-Jacopini.Il linguaggio CInstallazione del compilatore;Primo programma: Editing, Compiling, Running, Debugging.Costrutti del linguaggio.Tipi di dato; Operatori predefiniti; Conversioni di tipo.Gestione dell’I/O di base: stdin, stdout, stderr.Esecuzione dei comandi come valutazione di espressioni.Controllo del flusso:if-then-else;switch;while;do-while;for;break, continue;Primi esempi di funzioni su dati atomici, funzioni produttive e non produttive,scope delle variabili.Gestione esplicita della memoria: motivazioni, tecniche e funzioni di base.Puntatori: motivazioni e gestione. Operatori di indirizzo e di dereferenziazione.Aritmetica dei puntatori. Puntatori e array. Puntatori come parametro di funzione. Allocazione dinamica della memoria. Il modificatore const.Gli array in C: introduzione e esercizi su creazione, gestione, accesso, modifica, e controllo degli elementi di un array. Array multidimensionali.Le stringhe in C: introduzione e esercizi su creazione, gestione, accesso, modifica, e controllo degli elementi di una stringa.Generazione di numeri pseudo-casuali in C.Le funzioni su dati non atomici e modalità di passaggio dei parametri ad una funzione. Funzioni inline. Gestione delle chiamate mediante stack delle attivazioni. Composizione di funzioni.La ricorsione: per esempi; Record di attivazione; Stack della ricorsione.I Record (struct), le union e le enum.Argomenti alla funzione main.I File.Funzioni sui file: fopen, fclose, fseek, ftell, fread, fwritePrime strutture datiImplementazione di un insieme tramite array ordinato e array non ordinato.Pile e code. Descrizione formale e implementazioni.Liste concatenate: semplici, doppie. Descrizione formale e implementazioni.Algoritmi di ordinamento e ricerca(definizione formale e esempi di implementazioni con array e liste)Selection Sort, Insertion sort e Bubble SortRicerca sequenziale e ricerca dicotomica Il linguaggio C Fondamenti e tecniche di programmazione • 9/Ed. Paul J. Deitel - Harvey M. Deitel. ISBN: 9788891906236 Canale: F - N - FURNARI ANTONINO (programma) Introduzione alla programmazioneProblemi; Algoritmi; Diagrammi di flusso.Tipi di informazione e loro rappresentazione digitale: booleani, interi, float, stringhe, dati multimediali. Standard IEEE.Cenni al modello di calcolo di von Neumann: memoria+unità di elaborazione.Variabili; Espressioni; Assegnazioni.Linguaggi di programmazione: macchina, assembly e di alto livello.Problema della traduzione: compilazione ed interpretazione.Notazione lineare strutturata. Teorema di Böhm-Jacopini.Il linguaggio CInstallazione del compilatore;Primo programma: Editing, Compiling, Running, Debugging.Costrutti del linguaggio.Tipi di dato; Operatori predefiniti; Conversioni di tipo.Gestione dell’I/O di base: stdin, stdout, stderr.Esecuzione dei comandi come valutazione di espressioni.Controllo del flusso:if-then-else;switch;while;do-while;for;break, continue;Primi esempi di funzioni su dati atomici, funzioni produttive e non produttive,scope delle variabili.Gestione esplicita della memoria: motivazioni, tecniche e funzioni di base.Puntatori: motivazioni e gestione. Operatori di indirizzo e di dereferenziazione.Aritmetica dei puntatori. Puntatori e array. Puntatori come parametro di funzione. Allocazione dinamica della memoria. Il modificatore const.Gli array in C: introduzione e esercizi su creazione, gestione, accesso, modifica, e controllo degli elementi di un array. Array multidimensionali.Le stringhe in C: introduzione e esercizi su creazione, gestione, accesso, modifica, e controllo degli elementi di una stringa.Generazione di numeri pseudo-casuali in C.Le funzioni su dati non atomici e modalità di passaggio dei parametri ad una funzione. Funzioni inline. Gestione delle chiamate mediante stack delle attivazioni. Composizione di funzioni.La ricorsione: per esempi; Record di attivazione; Stack della ricorsione.I Record (struct), le union e le enum.Argomenti alla funzione main.I File.Funzioni sui file: fopen, fclose, fseek, ftell, fread, fwritePrime strutture datiImplementazione di un insieme tramite array ordinato e array non ordinato.Pile e code. Descrizione formale e implementazioni.Liste concatenate: semplici, doppie. Descrizione formale e implementazioni.Algoritmi di ordinamento e ricerca(definizione formale e esempi di implementazioni con array e liste)Selection Sort, Insertion sort e Bubble SortRicerca sequenziale e ricerca dicotomica Il linguaggio C Fondamenti e tecniche di programmazione • 9/Ed. Paul J. Deitel - Harvey M. Deitel. ISBN: 9788891906236 Canale: O - Z - MESSINA FABRIZIO (programma) Introduzione alla programmazioneProblemi; Algoritmi; Diagrammi di flusso.Tipi di informazione e loro rappresentazione digitale: booleani, interi, float, stringhe, dati multimediali. Standard IEEE.Cenni al modello di calcolo di von Neumann: memoria+unità di elaborazione.Variabili; Espressioni; Assegnazioni.Linguaggi di programmazione: macchina, assembly e di alto livello.Problema della traduzione: compilazione ed interpretazione.Notazione lineare strutturata. Teorema di Böhm-Jacopini.Il linguaggio CInstallazione del compilatore;Primo programma: Editing, Compiling, Running, Debugging.Costrutti del linguaggio.Tipi di dato; Operatori predefiniti; Conversioni di tipo.Gestione dell’I/O di base: stdin, stdout, stderr.Esecuzione dei comandi come valutazione di espressioni.Controllo del flusso:if-then-else;switch;while;do-while;for;break, continue;Primi esempi di funzioni su dati atomici, funzioni produttive e non produttive,scope delle variabili.Gestione esplicita della memoria: motivazioni, tecniche e funzioni di base.Puntatori: motivazioni e gestione. Operatori di indirizzo e di dereferenziazione.Aritmetica dei puntatori. Puntatori e array. Puntatori come parametro di funzione. Allocazione dinamica della memoria. Il modificatore const.Gli array in C: introduzione e esercizi su creazione, gestione, accesso, modifica, e controllo degli elementi di un array. Array multidimensionali.Le stringhe in C: introduzione e esercizi su creazione, gestione, accesso, modifica, e controllo degli elementi di una stringa.Generazione di numeri pseudo-casuali in C.Le funzioni su dati non atomici e modalità di passaggio dei parametri ad una funzione. Funzioni inline. Gestione delle chiamate mediante stack delle attivazioni. Composizione di funzioni.La ricorsione: per esempi; Record di attivazione; Stack della ricorsione.I Record (struct), le union e le enum.Argomenti alla funzione main.I File.Funzioni sui file: fopen, fclose, fseek, ftell, fread, fwritePrime strutture datiImplementazione di un insieme tramite array ordinato e array non ordinato.Pile e code. Descrizione formale e implementazioni.Liste concatenate: semplici, doppie. Descrizione formale e implementazioni.Algoritmi di ordinamento e ricerca(definizione formale e esempi di implementazioni con array e liste)Selection Sort, Insertion sort e Bubble SortRicerca sequenziale e ricerca dicotomica Il linguaggio C Fondamenti e tecniche di programmazione • 9/Ed. Paul J. Deitel - Harvey M. Deitel. ISBN: 9788891906236	3	INF/01	12	-	12	-	-	Attività formative di base	ITA

Secondo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Altro	Ore Studio	Attività	Lingua
72439 - FONDAMENTI DI INFORMATICA Canale: A - E - BARBANERA Franco (programma) Elementi di Teoria dei linguaggi formali: Alfabeto, stringa, linguaggio. Operazioni tra linguaggi. Espressioni regolari. Cardinalita' dei linguaggi. Grammatiche di Chomsky. Grammatiche ti tipo 0, 1, 2 e 3. Gerarchia di Chomsky. Forma normale di Bakus. Cosa vuol dire computare Accettazione e riconoscimento di linguaggi. Automi. Automi a stati finiti deterministici e non deterministici. Nota sugli Automi a Stati Finiti Pumping Lemma per Automi a stati finiti. Cenni di linguaggi non contestuali. Modelli computazionali e teoria della calcolabilita': Macchine di Turing. Maccchina di Turing Universale. Introduzione alla programmazione funzionale ed al Lambda-calcolo variabili libere e legate,alfa-equivalenza, sostituzione, beta-riduzione. Definizione di sistema formale. Numerali di Church, funzioni lambda-definibili. Lambda-definibilita' di funzioni ricorsive. Il teorema di Church-Rosser; unicita' della forma normale, consistenza della teoria della beta-equivalenza. Il formalismo delle funzioni primitive ricorsive e parziali ricorsive Introduzione informale alla teoria della ricorsivita' e ad alcuni risultati fondamentali. Un modello computazionale basato sulla logica: un cenno alla programmazione logica. Codici e rappresentazione informazione numerica: Codici e rappresentazione in complemento a due. Strings vs Numbers Macchine astratte Macchine astratte Realizzazione di macchine astratte; organizzazione a livelli dei sistemi di calcolo. Logica: Sistemi formali. Regole derivabili ed amissibili. Alcune proprieta' dei sistemi formali. Consistenza. La Logica Proposizionale. Principali definizioni e proprieta'. Teorema di deduzione. Semantica della Logica Proposizionale. Correttezza e completezza. La Deduzione Naturale per la logica proposizionale. La corrispondenza dimostrazioni-programmi La logica dei predicati: linguaggio e semantica. La logica dei predicati: sostituzioni, deduzione naturale, sistema assiomatico. Enunciati di alcuni teoremi fondamentali. Formalizzazione dell'aritmetica e della teoria dei gruppi. Enunciati di alcuni teoremi fondamentali Corrispondenza tra Induzione e Ricorsione: un cenno Semantica dei linguaggi di programmazione: Semantica Operazionale Strutturata Fondamenti generali Il lavoro dell'informatico nel mondo globalizzato. L'importanza di acquisirne una visione non "localistica" e di cogliere tutte le opportunita' per aprire i propri orizzonti nel mondo del lavoro (Erasmus, tirocini all'estero ecc.) La grande maggioranza dei testi sono in formato elettronico e scaricabili dalla seguente pagina web programma e materiale didattico - MADONIA Maria Serafina (programma) Elementi di Teoria dei linguaggi formali: Alfabeto, stringa, linguaggio. Operazioni tra linguaggi. Espressioni regolari. Cardinalita' dei linguaggi. Grammatiche di Chomsky. Grammatiche ti tipo 0, 1, 2 e 3. Gerarchia di Chomsky. Forma normale di Bakus. Cosa vuol dire computare Accettazione e riconoscimento di linguaggi. Automi. Automi a stati finiti deterministici e non deterministici. Nota sugli Automi a Stati Finiti Pumping Lemma per Automi a stati finiti. Cenni di linguaggi non contestuali. Modelli computazionali e teoria della calcolabilita': Macchine di Turing. Maccchina di Turing Universale. Introduzione alla programmazione funzionale ed al Lambda-calcolo variabili libere e legate,alfa-equivalenza, sostituzione, beta-riduzione. Definizione di sistema formale. Numerali di Church, funzioni lambda-definibili. Lambda-definibilita' di funzioni ricorsive. Il teorema di Church-Rosser; unicita' della forma normale, consistenza della teoria della beta-equivalenza. Il formalismo delle funzioni primitive ricorsive e parziali ricorsive Introduzione informale alla teoria della ricorsivita' e ad alcuni risultati fondamentali. Un modello computazionale basato sulla logica: un cenno alla programmazione logica. Codici e rappresentazione informazione numerica: Codici e rappresentazione in complemento a due. Strings vs Numbers Macchine astratte Macchine astratte Realizzazione di macchine astratte; organizzazione a livelli dei sistemi di calcolo. Logica: Sistemi formali. Regole derivabili ed amissibili. Alcune proprieta' dei sistemi formali. Consistenza. La Logica Proposizionale. Principali definizioni e proprieta'. Teorema di deduzione. Semantica della Logica Proposizionale. Correttezza e completezza. La Deduzione Naturale per la logica proposizionale. La corrispondenza dimostrazioni-programmi La logica dei predicati: linguaggio e semantica. La logica dei predicati: sostituzioni, deduzione naturale, sistema assiomatico. Enunciati di alcuni teoremi fondamentali. Formalizzazione dell'aritmetica e della teoria dei gruppi. Enunciati di alcuni teoremi fondamentali Corrispondenza tra Induzione e Ricorsione: un cenno Semantica dei linguaggi di programmazione: Semantica Operazionale Strutturata Il lavoro dell'informatico nel mondo globalizzato. L'importanza di acquisirne una visione non "localistica" e di cogliere tutte le opportunita' per aprire i propri orizzonti nel mondo del lavoro (Erasmus, tirocini all'estero ecc.) La grande maggioranza dei testi sono in formato elettronico e scaricabili dalla seguente pagina web http://www.dmi.unict.it/barba/FONDAMENTI/PROGRAMMI-TESTI/programmaAAcorrente.html Canale: F - N - MADONIA Maria Serafina (programma) Elementi di Teoria dei linguaggi formali: Alfabeto, stringa, linguaggio. Operazioni tra linguaggi. Espressioni regolari. Cardinalita' dei linguaggi. Grammatiche di Chomsky. Grammatiche ti tipo 0, 1, 2 e 3. Gerarchia di Chomsky. Forma normale di Bakus. Cosa vuol dire computare Accettazione e riconoscimento di linguaggi. Automi. Automi a stati finiti deterministici e non deterministici. Nota sugli Automi a Stati Finiti Pumping Lemma per Automi a stati finiti. Cenni di linguaggi non contestuali. Modelli computazionali e teoria della calcolabilita': Macchine di Turing. Maccchina di Turing Universale. Introduzione alla programmazione funzionale ed al Lambda-calcolo variabili libere e legate,alfa-equivalenza, sostituzione, beta-riduzione. Definizione di sistema formale. Numerali di Church, funzioni lambda-definibili. Lambda-definibilita' di funzioni ricorsive. Il teorema di Church-Rosser; unicita' della forma normale, consistenza della teoria della beta-equivalenza. Il formalismo delle funzioni primitive ricorsive e parziali ricorsive Introduzione informale alla teoria della ricorsivita' e ad alcuni risultati fondamentali. Un modello computazionale basato sulla logica: un cenno alla programmazione logica. Codici e rappresentazione informazione numerica: Codici e rappresentazione in complemento a due. Strings vs Numbers Macchine astratte Macchine astratte Realizzazione di macchine astratte; organizzazione a livelli dei sistemi di calcolo. Logica: Sistemi formali. Regole derivabili ed amissibili. Alcune proprieta' dei sistemi formali. Consistenza. La Logica Proposizionale. Principali definizioni e proprieta'. Teorema di deduzione. Semantica della Logica Proposizionale. Correttezza e completezza. La Deduzione Naturale per la logica proposizionale. La corrispondenza dimostrazioni-programmi La logica dei predicati: linguaggio e semantica. La logica dei predicati: sostituzioni, deduzione naturale, sistema assiomatico. Enunciati di alcuni teoremi fondamentali. Formalizzazione dell'aritmetica e della teoria dei gruppi. Enunciati di alcuni teoremi fondamentali Corrispondenza tra Induzione e Ricorsione: un cenno Semantica dei linguaggi di programmazione: Semantica Operazionale Strutturata Il lavoro dell'informatico nel mondo globalizzato. L'importanza di acquisirne una visione non "localistica" e di cogliere tutte le opportunita' per aprire i propri orizzonti nel mondo del lavoro (Erasmus, tirocini all'estero ecc.) La grande maggioranza dei testi sono in formato elettronico e scaricabili dalla seguente pagina web http://www.dmi.unict.it/barba/FONDAMENTI/PROGRAMMI-TESTI/programmaAAcorrente.html - BARBANERA Franco (programma) Elementi di Teoria dei linguaggi formali: Alfabeto, stringa, linguaggio. Operazioni tra linguaggi. Espressioni regolari. Cardinalita' dei linguaggi. Grammatiche di Chomsky. Grammatiche ti tipo 0, 1, 2 e 3. Gerarchia di Chomsky. Forma normale di Bakus. Cosa vuol dire computare Accettazione e riconoscimento di linguaggi. Automi. Automi a stati finiti deterministici e non deterministici. Nota sugli Automi a Stati Finiti Pumping Lemma per Automi a stati finiti. Cenni di linguaggi non contestuali. Modelli computazionali e teoria della calcolabilita': Macchine di Turing. Maccchina di Turing Universale. Introduzione alla programmazione funzionale ed al Lambda-calcolo variabili libere e legate,alfa-equivalenza, sostituzione, beta-riduzione. Definizione di sistema formale. Numerali di Church, funzioni lambda-definibili. Lambda-definibilita' di funzioni ricorsive. Il teorema di Church-Rosser; unicita' della forma normale, consistenza della teoria della beta-equivalenza. Il formalismo delle funzioni primitive ricorsive e parziali ricorsive Introduzione informale alla teoria della ricorsivita' e ad alcuni risultati fondamentali. Un modello computazionale basato sulla logica: un cenno alla programmazione logica. Codici e rappresentazione informazione numerica: Codici e rappresentazione in complemento a due. Strings vs Numbers Macchine astratte Macchine astratte Realizzazione di macchine astratte; organizzazione a livelli dei sistemi di calcolo. Logica: Sistemi formali. Regole derivabili ed amissibili. Alcune proprieta' dei sistemi formali. Consistenza. La Logica Proposizionale. Principali definizioni e proprieta'. Teorema di deduzione. Semantica della Logica Proposizionale. Correttezza e completezza. La Deduzione Naturale per la logica proposizionale. La corrispondenza dimostrazioni-programmi La logica dei predicati: linguaggio e semantica. La logica dei predicati: sostituzioni, deduzione naturale, sistema assiomatico. Enunciati di alcuni teoremi fondamentali. Formalizzazione dell'aritmetica e della teoria dei gruppi. Enunciati di alcuni teoremi fondamentali Corrispondenza tra Induzione e Ricorsione: un cenno Semantica dei linguaggi di programmazione: Semantica Operazionale Strutturata Fondamenti generali Il lavoro dell'informatico nel mondo globalizzato. L'importanza di acquisirne una visione non "localistica" e di cogliere tutte le opportunita' per aprire i propri orizzonti nel mondo del lavoro (Erasmus, tirocini all'estero ecc.) La grande maggioranza dei testi sono in formato elettronico e scaricabili dalla seguente pagina web programma e materiale didattico Canale: O - Z - BARBANERA Franco (programma) Elementi di Teoria dei linguaggi formali: Alfabeto, stringa, linguaggio. Operazioni tra linguaggi. Espressioni regolari. Cardinalita' dei linguaggi. Grammatiche di Chomsky. Grammatiche ti tipo 0, 1, 2 e 3. Gerarchia di Chomsky. Forma normale di Bakus. Cosa vuol dire computare Accettazione e riconoscimento di linguaggi. Automi. Automi a stati finiti deterministici e non deterministici. Nota sugli Automi a Stati Finiti Pumping Lemma per Automi a stati finiti. Cenni di linguaggi non contestuali. Modelli computazionali e teoria della calcolabilita': Macchine di Turing. Maccchina di Turing Universale. Introduzione alla programmazione funzionale ed al Lambda-calcolo variabili libere e legate,alfa-equivalenza, sostituzione, beta-riduzione. Definizione di sistema formale. Numerali di Church, funzioni lambda-definibili. Lambda-definibilita' di funzioni ricorsive. Il teorema di Church-Rosser; unicita' della forma normale, consistenza della teoria della beta-equivalenza. Il formalismo delle funzioni primitive ricorsive e parziali ricorsive Introduzione informale alla teoria della ricorsivita' e ad alcuni risultati fondamentali. Un modello computazionale basato sulla logica: un cenno alla programmazione logica. Codici e rappresentazione informazione numerica: Codici e rappresentazione in complemento a due. Strings vs Numbers Macchine astratte Macchine astratte Realizzazione di macchine astratte; organizzazione a livelli dei sistemi di calcolo. Logica: Sistemi formali. Regole derivabili ed amissibili. Alcune proprieta' dei sistemi formali. Consistenza. La Logica Proposizionale. Principali definizioni e proprieta'. Teorema di deduzione. Semantica della Logica Proposizionale. Correttezza e completezza. La Deduzione Naturale per la logica proposizionale. La corrispondenza dimostrazioni-programmi La logica dei predicati: linguaggio e semantica. La logica dei predicati: sostituzioni, deduzione naturale, sistema assiomatico. Enunciati di alcuni teoremi fondamentali. Formalizzazione dell'aritmetica e della teoria dei gruppi. Enunciati di alcuni teoremi fondamentali Corrispondenza tra Induzione e Ricorsione: un cenno Semantica dei linguaggi di programmazione: Semantica Operazionale Strutturata Fondamenti generali Il lavoro dell'informatico nel mondo globalizzato. L'importanza di acquisirne una visione non "localistica" e di cogliere tutte le opportunita' per aprire i propri orizzonti nel mondo del lavoro (Erasmus, tirocini all'estero ecc.) La grande maggioranza dei testi sono in formato elettronico e scaricabili dalla seguente pagina web programma e materiale didattico	9	INF/01	36	36	-	-	-	Attività formative caratterizzanti	ITA
1015128 - ELEMENTI DI ANALISI MATEMATICA 1 Canale: A - E - RAGUSA Maria Alessandra (programma) Sistemi numerici.* Insiemi ordinati. Campi e campi ordinati. Il campo dei numeri reali. Radici, potenze e logaritmi nel campo dei numeri reali. Il sistema esteso dei numeri reali. Forma algebrica e forma trigonometrica dei numeri complessi. Radici di un numero complesso. Limiti delle funzioni di una variabile reale. Cenni di topologia in R. Funzioni reali. Concetto di limite. Teoremi di unicità, di permanenza del segno e del confronto. Operazioni sui limiti. Forme indeterminate. Funzioni monotone e loro limiti. Successioni. Caratterizzazione del limite mediante le successioni. Criterio di Cauchy di convergenza per le successioni. Limiti notevoli. Infinitesimi ed infiniti. Confronto locale tra funzioni. Simboli di Landau e applicazione al calcolo dei limiti. Funzioni Continue. Definizione. Continuità e operazioni. Continuità di funzioni elementari, composte e inverse. Caratterizzazione della continuità mediante le successioni. Punti Singolari. Singolarità delle funzioni monotone. Teorema di permanenza del segno. Teorema di Weierstrass. Teorema di esistenza degli zeri. Teorema di Darboux sui valori intermedi. Calcolo Differenziale. Definizione di derivata e suo significato geometrico. Derivabilità e continuità. Derivate delle funzioni elementari. Algebra delle derivate. Derivate delle funzioni composte e delle funzioni inverse. Derivate di ordine superiore. Massimi e minimi relativi. Teoremi di Fermat, Rolle, Cauchy e Lagrange. Caratterizzazione della monotonia per funzioni derivabili in un intervallo. Funzioni a derivata identicamente nulla. Teoremi di De l’Hôpital. Formula di Taylor. Funzioni convesse in un intervallo. Successioni ricorsive. Risoluzione numerica di equazioni: Metodo di Newton e Metodo delle corde. Le dimostrazioni relative ai capitoli e agli argomenti contrassegnati con * sono facoltative. Testi consigliati per la teoria S. Motta, M.A. Ragusa– Metodi e Modelli Matematici– Libreria CULC (2011). G. Di Fazio, P. Zamboni – Analisi Matematica Uno – Seconda Edizione, Monduzzi (2013). Testi consigliati per le esercitazioni S. Motta, M.A. Ragusa, A. Scapellato – Metodi e Modelli Matematici. Esercizi eComplementi– Libreria CULC (2013). G. Di Fazio, P. Zamboni–Esercizi di Analisi Matematica Uno – Edises (2013). M. Bramanti–Esercitazioni di Analisi Matematica 1 – Ed. Esculapio (2011). Canale: F - N - DI FAZIO Giuseppe (programma) Sistemi numerici. Insiemi ordinati. Campi e campi ordinati. Il campo dei numeri reali. Radici, potenze e logaritmi nel campo dei numeri reali. Il sistema esteso dei numeri reali. Forma algebrica e forma trigonometrica dei numeri complessi. Radici di un numero complesso Limiti delle funzioni di una variabile reale.Cenni di topologia in R. Funzioni reali. Concetto di limite. Teoremi di unicità, di permanenza del segno e del confronto. Operazioni sui limiti. Forme indeterminate. Funzioni monotone e loro limiti. Successioni. Caratterizzazione del limite mediante le successioni. Criterio di Cauchy di convergenza per le successioni. Limiti notevoli. Infinitesimi ed infiniti. Confronto locale tra funzioni. Simboli di Landau e applicazione al calcolo dei limiti. Funzioni Continue.Definizione. Continuità e operazioni. Continuità di funzioni elementari, composte e inverse. Caratterizzazione della continuità mediante le successioni. Punti Singolari. Singolarità delle funzioni monotone. Teorema di permanenza del segno. Teorema di Weierstrass. Teorema di esistenza degli zeri. Teorema di Darboux sui valori intermedi. Calcolo Differenziale.Definizione di derivata e suo significato geometrico. Derivabilità e continuità. Derivate delle funzioni elementari. Algebra delle derivate. Derivate delle funzioni composte e delle funzioni inverse. Derivate di ordine superiore. Massimi e minimi relativi. Teoremi di Fermat, Rolle, Cauchy e Lagrange. Caratterizzazione della monotonia per funzioni derivabili in un intervallo. Funzioni a derivata identicamente nulla. Teoremi di De l’Hôpital. Formula di Taylor. Funzioni convesse in un intervallo. Successioni ricorsive. Risoluzione numerica di equazioni: Metodo di Newton e Metodo delle corde. G.Di Fazio - P.Zamboni Analisi Matematica Uno - seconda edizione – Monduzzi (2013) G. Di Fazio - P. Zamboni Esercizi di Analisi Matematica Uno – Edises (2013). M. Bramanti –Esercitazioni di Analisi Matematica 1– Ed. Esculapio (2011). Canale: O - Z* - MOSCONI SUNRA JOHANNES NIKOLAJ (programma) Sistemi numerici.Insiemi ordinati. Campi e campi ordinati. Il campo dei numeri reali. Radici, potenze e logaritmi nel campo dei numeri reali. Il sistema esteso dei numeri reali. Forma algebrica e forma trigonometrica dei numeri complessi. Radici di un numero complessoLimiti delle funzioni di una variabile reale.Cenni di topologia in R. Funzioni reali. Concetto di limite. Teoremi di unicità, di permanenza del segno e del confronto. Operazioni sui limiti. Forme indeterminate. Funzioni monotone e loro limiti. Successioni. Caratterizzazione del limite mediante le successioni. Criterio di Cauchy di convergenza per le successioni. Limiti notevoli. Infinitesimi ed infiniti. Confronto locale tra funzioni. Simboli di Landau e applicazione al calcolo dei limiti.Funzioni Continue.Definizione. Continuità e operazioni. Continuità di funzioni elementari, composte e inverse*. Caratterizzazione della continuità mediante le successioni. Punti Singolari. Singolarità delle funzioni monotone. Teorema di permanenza del segno. Teorema di Weierstrass. Teorema di esistenza degli zeri. Teorema di Darboux sui valori intermedi.Calcolo Differenziale.Definizione di derivata e suo significato geometrico. Derivabilità e continuità. Derivate delle funzioni elementari. Algebra delle derivate. Derivate delle funzioni composte e delle funzioni inverse. Derivate di ordine superiore. Massimi e minimi relativi. Teoremi di Fermat, Rolle, Cauchy e Lagrange. Caratterizzazione della monotonia per funzioni derivabili in un intervallo. Funzioni a derivata identicamente nulla. Teoremi di De l’Hôpital. Formula di Taylor. Funzioni convesse in un intervallo. Successioni ricorsive. Risoluzione numerica di equazioni: Metodo di Newton e Metodo delle corde. G.Di Fazio - P.Zamboni Analisi Matematica Uno - seconda edizione – Monduzzi (2013)G. Di Fazio - P. Zamboni Esercizi di Analisi Matematica Uno – Edises (2013).S. Motta, M.A. Ragusa –Metodi e Modelli Matematici– Libreria CULC (2011).S. Motta, M.A. Ragusa, A. Scapellato –Metodi e Modelli Matematici. Esercizi e Complementi–Libreria CULC (2013).M. Bramanti –Esercitazioni di Analisi Matematica 1– Ed. Esculapio (2011).	6	MAT/05	18	36	-	-	-	Attività formative di base	ITA
1002967 - ULTERIORI CONOSCENZE LINGUISTICHE Canale: A - K - VILLOVICH CRISTINA (programma) GRAMMAR: Uso del Present Simple Avverbi di frequenza con il Present Simple Uso del Present Continuous Avverbi di frequenza con il Present Continuous Uso del Present Perfect Simple Avverbi con il Present Perfect Simple Durationform: Present Perfect con FOR e SINCE". Present Perfect Continuous: uso con FOR e SINCE Uso del futuro semplice: WILL Uso del futuro programmato con il PRESENT CONTINUOUS Uso del futuro intenzionale con " BE GOING TO". Uso dei modali " CAN" / MAY ( Potere) Uso dei modali MUST/HAVE TO ( Dovere) Uso di COULD ( (Condizionale di CAN) Uso di SHOULD/OUGHT TO (Condizionale di MUST) Uso del Condizionale Presente ( WOULD + Forma base verbo) Uso del Condizionale Passato (WOULD HAVE+ P.PASSATO) Uso dei Periodi Ipotetici (0,1,2,3 tipo) Uso della forma passiva (tutti i tempi dell'indicativo) Uso dei principali connettori Uso degli aggettivi e pronomi indefiniti Uso dei composti di SOME;ANY,NO,EVERY READINGS: TECHNICAL READINGS PROVIDED BY THE TEACHER GRAMMAR BOOK: "GRAMMAR IN POGRESS-CONCISE" ZANICHELLI EDITOREQUALSIASI ALTRA GRAMMATICA SCOLASTICA DELLE SCUOLE SUPERIORI DI 2° GRADO.DISPENSA DI BRANI TECNICI A CURA DEL DOCENTE Canale: L - Z - VILLOVICH CRISTINA (programma) GRAMMAR: Uso del Present Simple Avverbi di frequenza con il Present Simple Uso del Present Continuous Avverbi di frequenza con il Present Continuous Uso del Present Perfect Simple Avverbi con il Present Perfect Simple Durationform: Present Perfect con FOR e SINCE". Present Perfect Continuous: uso con FOR e SINCE Uso del futuro semplice: WILL Uso del futuro programmato con il PRESENT CONTINUOUS Uso del futuro intenzionale con " BE GOING TO". Uso dei modali " CAN" / MAY ( Potere) Uso dei modali MUST/HAVE TO ( Dovere) Uso di COULD ( (Condizionale di CAN) Uso di SHOULD/OUGHT TO (Condizionale di MUST) Uso del Condizionale Presente ( WOULD + Forma base verbo) Uso del Condizionale Passato (WOULD HAVE+ P.PASSATO) Uso dei Periodi Ipotetici (0,1,2,3 tipo) Uso della forma passiva (tutti i tempi dell'indicativo) Uso dei principali connettori Uso degli aggettivi e pronomi indefiniti Uso dei composti di SOME;ANY,NO,EVERY READINGS: TECHNICAL READINGS PROVIDED BY THE TEACHER GRAMMAR BOOK: "GRAMMAR IN POGRESS-CONCISE" ZANICHELLI EDITOREQUALSIASI ALTRA GRAMMATICA SCOLASTICA DELLE SCUOLE SUPERIORI DI 2° GRADO.DISPENSA DI BRANI TECNICI A CURA DEL DOCENTE	6		24	24	-	-	-	Per la prova finale e la lingua straniera (art.10, comma 5, lettera c)	ITA
9795537 - PROGRAMMAZIONE II E LABORATORIO
- PROGRAMMAZIONE II Canale: A - E - ORTIS ALESSANDRO (programma) Elementi di programmazione in C++Namespace, oggetti stringa, valori di default per i parametri di funzioni, reference;Standard input e standard output in C++ (cout, cin, cerr, controllo errori di interpretazione dell’input);Input e output su file in C++ (fstream);La programmazione ad oggetti:Classi e oggetti: funzioni membro, metodi set, get e predicati, costruttori e distruttori standard, overloading e overriding di funzioni membro, overloading di funzioni, altri costruttori.Classi derivate: ereditarietà e polimorfismo: Classi derivate, tipi di ereditarietà, distruttori, ereditarietà multipla e composizione, binding, funzioni virtuali, polimorfismo, vantaggi del polimorfismo.Template: Genericità, template in C++, template di funzioni, template di classi.Sovraccaricamento degli operatori: Sovraccaricamento degli operatori unari e binari, conversione di dati e operatori di conversione di tipi.Cenni sulla complessità: notazioni asintotiche. Complessità di un problema computazionale, limite superiore, alcuni semplici casi di esempio sul calcolo del limite superiore del tempo di esecuzione.Algoritmi di ordinamento che sfruttano il concetto di ricorsione:Merge SortQuick SortImplementazione di strutture dati dinamiche sfruttando la OOP in C++Liste: Implementazione di un insieme mediante liste, liste ordinate e liste non ordinate; operazioni con le liste: inserimento, cancellazione e ricerca.Pile e code: Implementazione di pile e code mediante OOP.Alberi: Gli alberi, struttura di un albero binario, alberi binari di ricerca ed operazioni base: inserimento, ricerca e cancellazione, visite preorder, postorder e inorder.Grafi: Definizione di grafo, grafi orientati e non orientati, inserimento di un nodo, rappresentazione con matrici di adiacenza e con liste di adiacenza, inserimento di un arco. Visita in ampiezza e visita in profondità.Esercitazioni: Risoluzione guidata di specifici problemi che hanno lo scopo di sfruttare i concetti e le tecniche discusse a lezione. Libro di testo. Fondamenti di Programmazione in C++ Algoritmi, strutture dati e oggetti Autore: Luis Joyanes Aguilar Casa Editrice: McGraw-Hill sito web del libro Questo volume introduce ai principi della programmazione scegliendo come linguaggio didattico proprio il C++, nonostante non lo si possa certamente definire tale. Il motivo che ci spinge in questa direzione è il desiderio di ridurre i tempi di formazione del programmatore, facendolo applicare, fin dai primi algoritmi, su un linguaggio professionale realmente utilizzato in grandi suite software. Introduction to Algorithms T. H Cormen C. E. Leiserson R. L. Rivest C. Stein The MIT Press È il principale testo di riferimento nei corsi di algoritmi in molte università. L’approccio è graduale, i concetti vengono trattati partendo dai più semplici per arrivare, passo dopo passo, a quelli più avanzati; ogni capitolo presenta una classe di algoritmi, le relative tecniche di progettazione, un’area di applicazioni e gli argomenti correlati. Ritenendo importante il concetto di "efficienza", gli autori hanno incluso anche l’analisi dei tempi di esecuzione di ciascun algoritmo.Completa il testo un efficace apparato pedagogico costituito da circa 1000 esercizi e 150 problemi e casi di studio. Libri consigliati. Effective C++eMore Effective C++ Algoritmi, strutture dati e oggetti Autore: Scott Meyers Casa Editrice: Addison-Wesley sito dei libri Il testo è consigliato agli studenti che intendono approfondire il tema della programmazione C++ avanzata. Ogni capitolo del libro è costituito da più "temi" presentati sotto forma di brevi trattazioni indipendenti che forniscono consigli specifici, spiegazioni sulle sottigliezze del C++ ed esempi di codice esaurienti. La descrizione articolata di ogni tema rende chiaro cosa fare, cosa non fare e perché. Canale: F - N - SANTORO CORRADO Canale: O - Z - SPATA Massimo Orazio	6	INF/01	24	24	-	-	-	Attività formative di base	ITA
- LABORATORIO Canale: A - E - ORTIS ALESSANDRO (programma) Elementi di programmazione in C++Namespace, oggetti stringa, valori di default per i parametri di funzioni, reference;Standard input e standard output in C++ (cout, cin, cerr, controllo errori di interpretazione dell’input);Input e output su file in C++ (fstream);La programmazione ad oggetti:Classi e oggetti: funzioni membro, metodi set, get e predicati, costruttori e distruttori standard, overloading e overriding di funzioni membro, overloading di funzioni, altri costruttori.Classi derivate: ereditarietà e polimorfismo: Classi derivate, tipi di ereditarietà, distruttori, ereditarietà multipla e composizione, binding, funzioni virtuali, polimorfismo, vantaggi del polimorfismo.Template: Genericità, template in C++, template di funzioni, template di classi.Sovraccaricamento degli operatori: Sovraccaricamento degli operatori unari e binari, conversione di dati e operatori di conversione di tipi.Cenni sulla complessità: notazioni asintotiche. Complessità di un problema computazionale, limite superiore, alcuni semplici casi di esempio sul calcolo del limite superiore del tempo di esecuzione.Algoritmi di ordinamento che sfruttano il concetto di ricorsione:Merge SortQuick SortImplementazione di strutture dati dinamiche sfruttando la OOP in C++Liste: Implementazione di un insieme mediante liste, liste ordinate e liste non ordinate; operazioni con le liste: inserimento, cancellazione e ricerca.Pile e code: Implementazione di pile e code mediante OOP.Alberi: Gli alberi, struttura di un albero binario, alberi binari di ricerca ed operazioni base: inserimento, ricerca e cancellazione, visite preorder, postorder e inorder.Grafi: Definizione di grafo, grafi orientati e non orientati, inserimento di un nodo, rappresentazione con matrici di adiacenza e con liste di adiacenza, inserimento di un arco. Visita in ampiezza e visita in profondità.Esercitazioni: Risoluzione guidata di specifici problemi che hanno lo scopo di sfruttare i concetti e le tecniche discusse a lezione. Libro di testo. Fondamenti di Programmazione in C++ Algoritmi, strutture dati e oggetti Autore: Luis Joyanes Aguilar Casa Editrice: McGraw-Hill sito web del libro Questo volume introduce ai principi della programmazione scegliendo come linguaggio didattico proprio il C++, nonostante non lo si possa certamente definire tale. Il motivo che ci spinge in questa direzione è il desiderio di ridurre i tempi di formazione del programmatore, facendolo applicare, fin dai primi algoritmi, su un linguaggio professionale realmente utilizzato in grandi suite software. Introduction to Algorithms T. H Cormen C. E. Leiserson R. L. Rivest C. Stein The MIT Press È il principale testo di riferimento nei corsi di algoritmi in molte università. L’approccio è graduale, i concetti vengono trattati partendo dai più semplici per arrivare, passo dopo passo, a quelli più avanzati; ogni capitolo presenta una classe di algoritmi, le relative tecniche di progettazione, un’area di applicazioni e gli argomenti correlati. Ritenendo importante il concetto di "efficienza", gli autori hanno incluso anche l’analisi dei tempi di esecuzione di ciascun algoritmo.Completa il testo un efficace apparato pedagogico costituito da circa 1000 esercizi e 150 problemi e casi di studio. Libri consigliati. Effective C++eMore Effective C++ Algoritmi, strutture dati e oggetti Autore: Scott Meyers Casa Editrice: Addison-Wesley sito dei libri Il testo è consigliato agli studenti che intendono approfondire il tema della programmazione C++ avanzata. Ogni capitolo del libro è costituito da più "temi" presentati sotto forma di brevi trattazioni indipendenti che forniscono consigli specifici, spiegazioni sulle sottigliezze del C++ ed esempi di codice esaurienti. La descrizione articolata di ogni tema rende chiaro cosa fare, cosa non fare e perché. Canale: F - N - RAGUSA FRANCESCO Canale: O - Z - GUARNERA FRANCESCO	3	INF/01	12	-	12	-	-	Attività formative di base	ITA

Computational theory and quantum algorithms

Primo anno

Primo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Altro	Ore Studio	Attività	Lingua
1015938 - ARCHITETTURA DEGLI ELABORATORI E LABORATORIO
1015939 - ARCHITETTURA DEGLI ELABORATORI Canale: A - E - Erogato presso 1015939 ARCHITETTURA DEGLI ELABORATORI in Informatica L-31 A - E SANTORO CORRADO Canale: F - N - Erogato presso 1015939 ARCHITETTURA DEGLI ELABORATORI in Informatica L-31 F - N TRAMONTANA EMILIANO ALESSIO Canale: O - Z - Erogato presso 1015939 ARCHITETTURA DEGLI ELABORATORI in Informatica L-31 O - Z MANNO CLAUDIO	6	INF/01	24	24	-	-	-	Attività formative caratterizzanti	ITA
1015940 - LABORATORIO Canale: A - E - Erogato presso 1015940 LABORATORIO in Informatica L-31 A - E SANTORO CORRADO Canale: F - N - Erogato presso 1015940 LABORATORIO in Informatica L-31 F - N VERGA GABRIELLA Canale: O - Z - Erogato presso 1015940 LABORATORIO in Informatica L-31 O - Z MANNO CLAUDIO	3	INF/01	12	-	12	-	-	Attività formative caratterizzanti	ITA
1015912 - PROGRAMMAZIONE I E LABORATORIO
1015913 - PROGRAMMAZIONE I Canale: A - E - Erogato presso 1015913 PROGRAMMAZIONE I in Informatica L-31 A - E MESSINA FABRIZIO Canale: F - N - Erogato presso 1015913 PROGRAMMAZIONE I in Informatica L-31 F - N FARINELLA GIOVANNI MARIA Canale: O - Z - Erogato presso 1015913 PROGRAMMAZIONE I in Informatica L-31 O - Z MESSINA FABRIZIO	6	INF/01	24	24	-	-	-	Attività formative di base	ITA
1015914 - LABORATORIO Canale: A - E - Erogato presso 1015914 LABORATORIO in Informatica L-31 A - E MESSINA FABRIZIO Canale: F - N - Erogato presso 1015914 LABORATORIO in Informatica L-31 F - N FURNARI ANTONINO Canale: O - Z - Erogato presso 1015914 LABORATORIO in Informatica L-31 O - Z MESSINA FABRIZIO	3	INF/01	12	-	12	-	-	Attività formative di base	ITA
9795525 - STRUTTURE DISCRETE Canale: A - E - Erogato presso 9795525 STRUTTURE DISCRETE in Informatica L-31 A - E CUTELLO Vincenzo, CAVALLARO CLAUDIA Canale: F - N - Erogato presso 9795525 STRUTTURE DISCRETE in Informatica L-31 F - N CUTELLO Vincenzo, CAVALLARO CLAUDIA Canale: O - Z - Erogato presso 9795525 STRUTTURE DISCRETE in Informatica L-31 O - Z CUTELLO Vincenzo, CAVALLARO CLAUDIA	6	INF/01	24	24	-	-	-	Attività formative affini ed integrative	ITA
9795526 - ALGEBRA LINEARE E GEOMETRIA Canale: A - E - Erogato presso 9795526 ALGEBRA LINEARE E GEOMETRIA in Informatica L-31 A - E ZAPPALA' Giuseppe Canale: F - N - Erogato presso 9795526 ALGEBRA LINEARE E GEOMETRIA in Informatica L-31 F - N MARINO LUCIA MARIA Canale: O - Z - Erogato presso 9795526 ALGEBRA LINEARE E GEOMETRIA in Informatica L-31 O - Z STAGLIANO' GIOVANNI	6	MAT/03	24	24	-	-	-	Attività formative di base	ITA

Secondo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Altro	Ore Studio	Attività	Lingua
72439 - FONDAMENTI DI INFORMATICA Canale: A - E - Erogato presso 72439 FONDAMENTI DI INFORMATICA in Informatica L-31 A - E BARBANERA Franco, MADONIA Maria Serafina Canale: F - N - Erogato presso 72439 FONDAMENTI DI INFORMATICA in Informatica L-31 F - N MADONIA Maria Serafina, BARBANERA Franco Canale: O - Z - Erogato presso 72439 FONDAMENTI DI INFORMATICA in Informatica L-31 O - Z BARBANERA Franco	9	INF/01	36	36	-	-	-	Attività formative caratterizzanti	ITA
1015128 - ELEMENTI DI ANALISI MATEMATICA 1 Canale: A - E - Erogato presso 1015128 ELEMENTI DI ANALISI MATEMATICA 1 in Informatica L-31 A - E RAGUSA Maria Alessandra Canale: F - N - Erogato presso 1015128 ELEMENTI DI ANALISI MATEMATICA 1 in Informatica L-31 F - N DI FAZIO Giuseppe Canale: O - Z - Erogato presso 1015128 ELEMENTI DI ANALISI MATEMATICA 1 in Informatica L-31 O - Z MOSCONI SUNRA JOHANNES NIKOLAJ	6	MAT/05	18	36	-	-	-	Attività formative di base	ITA
1002967 - ULTERIORI CONOSCENZE LINGUISTICHE Canale: A - K - Erogato presso 1002967 ULTERIORI CONOSCENZE LINGUISTICHE in Informatica L-31 A - K VILLOVICH CRISTINA Canale: L - Z - Erogato presso 1002967 ULTERIORI CONOSCENZE LINGUISTICHE in Informatica L-31 L - Z VILLOVICH CRISTINA	6		24	24	-	-	-	Per la prova finale e la lingua straniera (art.10, comma 5, lettera c)	ITA
9795537 - PROGRAMMAZIONE II E LABORATORIO
- PROGRAMMAZIONE II Canale: A - E - Erogato presso 9795537_1 PROGRAMMAZIONE II in Informatica L-31 A - E ORTIS ALESSANDRO Canale: F - N - Erogato presso 9795537_1 PROGRAMMAZIONE II in Informatica L-31 F - N SANTORO CORRADO Canale: O - Z - Erogato presso 9795537_1 PROGRAMMAZIONE II in Informatica L-31 O - Z SPATA Massimo Orazio	6	INF/01	24	24	-	-	-	Attività formative di base	ITA
- LABORATORIO Canale: A - E - Erogato presso 9795537_2 LABORATORIO in Informatica L-31 A - E ORTIS ALESSANDRO Canale: F - N - Erogato presso 9795537_2 LABORATORIO in Informatica L-31 F - N RAGUSA FRANCESCO Canale: O - Z - Erogato presso 9795537_2 LABORATORIO in Informatica L-31 O - Z GUARNERA FRANCESCO	3	INF/01	12	-	12	-	-	Attività formative di base	ITA

Computer graphics and games

Primo anno

Primo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Altro	Ore Studio	Attività	Lingua
1015938 - ARCHITETTURA DEGLI ELABORATORI E LABORATORIO
1015939 - ARCHITETTURA DEGLI ELABORATORI Canale: A - E - Erogato presso 1015939 ARCHITETTURA DEGLI ELABORATORI in Informatica L-31 A - E SANTORO CORRADO Canale: F - N - Erogato presso 1015939 ARCHITETTURA DEGLI ELABORATORI in Informatica L-31 F - N TRAMONTANA EMILIANO ALESSIO Canale: O - Z - Erogato presso 1015939 ARCHITETTURA DEGLI ELABORATORI in Informatica L-31 O - Z MANNO CLAUDIO	6	INF/01	24	24	-	-	-	Attività formative caratterizzanti	ITA
1015940 - LABORATORIO Canale: A - E - Erogato presso 1015940 LABORATORIO in Informatica L-31 A - E SANTORO CORRADO Canale: F - N - Erogato presso 1015940 LABORATORIO in Informatica L-31 F - N VERGA GABRIELLA Canale: O - Z - Erogato presso 1015940 LABORATORIO in Informatica L-31 O - Z MANNO CLAUDIO	3	INF/01	12	-	12	-	-	Attività formative caratterizzanti	ITA
9795525 - STRUTTURE DISCRETE Canale: A - E - Erogato presso 9795525 STRUTTURE DISCRETE in Informatica L-31 A - E CUTELLO Vincenzo, CAVALLARO CLAUDIA Canale: F - N - Erogato presso 9795525 STRUTTURE DISCRETE in Informatica L-31 F - N CUTELLO Vincenzo, CAVALLARO CLAUDIA Canale: O - Z - Erogato presso 9795525 STRUTTURE DISCRETE in Informatica L-31 O - Z CUTELLO Vincenzo, CAVALLARO CLAUDIA	6	INF/01	24	24	-	-	-	Attività formative affini ed integrative	ITA
1015912 - PROGRAMMAZIONE I E LABORATORIO
1015913 - PROGRAMMAZIONE I Canale: A - E - Erogato presso 1015913 PROGRAMMAZIONE I in Informatica L-31 A - E MESSINA FABRIZIO Canale: F - N - Erogato presso 1015913 PROGRAMMAZIONE I in Informatica L-31 F - N FARINELLA GIOVANNI MARIA Canale: O - Z - Erogato presso 1015913 PROGRAMMAZIONE I in Informatica L-31 O - Z MESSINA FABRIZIO	6	INF/01	24	24	-	-	-	Attività formative di base	ITA
1015914 - LABORATORIO Canale: A - E - Erogato presso 1015914 LABORATORIO in Informatica L-31 A - E MESSINA FABRIZIO Canale: F - N - Erogato presso 1015914 LABORATORIO in Informatica L-31 F - N FURNARI ANTONINO Canale: O - Z - Erogato presso 1015914 LABORATORIO in Informatica L-31 O - Z MESSINA FABRIZIO	3	INF/01	12	-	12	-	-	Attività formative di base	ITA
9795526 - ALGEBRA LINEARE E GEOMETRIA Canale: A - E - Erogato presso 9795526 ALGEBRA LINEARE E GEOMETRIA in Informatica L-31 A - E ZAPPALA' Giuseppe Canale: F - N - Erogato presso 9795526 ALGEBRA LINEARE E GEOMETRIA in Informatica L-31 F - N MARINO LUCIA MARIA Canale: O - Z - Erogato presso 9795526 ALGEBRA LINEARE E GEOMETRIA in Informatica L-31 O - Z STAGLIANO' GIOVANNI	6	MAT/03	24	24	-	-	-	Attività formative di base	ITA

Secondo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Altro	Ore Studio	Attività	Lingua
72439 - FONDAMENTI DI INFORMATICA Canale: A - E - Erogato presso 72439 FONDAMENTI DI INFORMATICA in Informatica L-31 A - E BARBANERA Franco, MADONIA Maria Serafina Canale: F - N - Erogato presso 72439 FONDAMENTI DI INFORMATICA in Informatica L-31 F - N MADONIA Maria Serafina, BARBANERA Franco Canale: O - Z - Erogato presso 72439 FONDAMENTI DI INFORMATICA in Informatica L-31 O - Z BARBANERA Franco	9	INF/01	36	36	-	-	-	Attività formative caratterizzanti	ITA
1002967 - ULTERIORI CONOSCENZE LINGUISTICHE Canale: A - K - Erogato presso 1002967 ULTERIORI CONOSCENZE LINGUISTICHE in Informatica L-31 A - K VILLOVICH CRISTINA Canale: L - Z - Erogato presso 1002967 ULTERIORI CONOSCENZE LINGUISTICHE in Informatica L-31 L - Z VILLOVICH CRISTINA	6		24	24	-	-	-	Per la prova finale e la lingua straniera (art.10, comma 5, lettera c)	ITA
9795537 - PROGRAMMAZIONE II E LABORATORIO
- PROGRAMMAZIONE II Canale: A - E - Erogato presso 9795537_1 PROGRAMMAZIONE II in Informatica L-31 A - E ORTIS ALESSANDRO Canale: F - N - Erogato presso 9795537_1 PROGRAMMAZIONE II in Informatica L-31 F - N SANTORO CORRADO Canale: O - Z - Erogato presso 9795537_1 PROGRAMMAZIONE II in Informatica L-31 O - Z SPATA Massimo Orazio	6	INF/01	24	24	-	-	-	Attività formative di base	ITA
- LABORATORIO Canale: A - E - Erogato presso 9795537_2 LABORATORIO in Informatica L-31 A - E ORTIS ALESSANDRO Canale: F - N - Erogato presso 9795537_2 LABORATORIO in Informatica L-31 F - N RAGUSA FRANCESCO Canale: O - Z - Erogato presso 9795537_2 LABORATORIO in Informatica L-31 O - Z GUARNERA FRANCESCO	3	INF/01	12	-	12	-	-	Attività formative di base	ITA
1015128 - ELEMENTI DI ANALISI MATEMATICA 1 Canale: A - E - Erogato presso 1015128 ELEMENTI DI ANALISI MATEMATICA 1 in Informatica L-31 A - E RAGUSA Maria Alessandra Canale: F - N - Erogato presso 1015128 ELEMENTI DI ANALISI MATEMATICA 1 in Informatica L-31 F - N DI FAZIO Giuseppe Canale: O - Z - Erogato presso 1015128 ELEMENTI DI ANALISI MATEMATICA 1 in Informatica L-31 O - Z MOSCONI SUNRA JOHANNES NIKOLAJ	6	MAT/05	18	36	-	-	-	Attività formative di base	ITA

Cybersecurity and digital forensics

Primo anno

Primo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Altro	Ore Studio	Attività	Lingua
1015938 - ARCHITETTURA DEGLI ELABORATORI E LABORATORIO
1015939 - ARCHITETTURA DEGLI ELABORATORI Canale: A - E - Erogato presso 1015939 ARCHITETTURA DEGLI ELABORATORI in Informatica L-31 A - E SANTORO CORRADO Canale: F - N - Erogato presso 1015939 ARCHITETTURA DEGLI ELABORATORI in Informatica L-31 F - N TRAMONTANA EMILIANO ALESSIO Canale: O - Z - Erogato presso 1015939 ARCHITETTURA DEGLI ELABORATORI in Informatica L-31 O - Z MANNO CLAUDIO	6	INF/01	24	24	-	-	-	Attività formative caratterizzanti	ITA
1015940 - LABORATORIO Canale: A - E - Erogato presso 1015940 LABORATORIO in Informatica L-31 A - E SANTORO CORRADO Canale: F - N - Erogato presso 1015940 LABORATORIO in Informatica L-31 F - N VERGA GABRIELLA Canale: O - Z - Erogato presso 1015940 LABORATORIO in Informatica L-31 O - Z MANNO CLAUDIO	3	INF/01	12	-	12	-	-	Attività formative caratterizzanti	ITA
9795525 - STRUTTURE DISCRETE Canale: A - E - Erogato presso 9795525 STRUTTURE DISCRETE in Informatica L-31 A - E CUTELLO Vincenzo, CAVALLARO CLAUDIA Canale: F - N - Erogato presso 9795525 STRUTTURE DISCRETE in Informatica L-31 F - N CUTELLO Vincenzo, CAVALLARO CLAUDIA Canale: O - Z - Erogato presso 9795525 STRUTTURE DISCRETE in Informatica L-31 O - Z CUTELLO Vincenzo, CAVALLARO CLAUDIA	6	INF/01	24	24	-	-	-	Attività formative affini ed integrative	ITA
1015912 - PROGRAMMAZIONE I E LABORATORIO
1015913 - PROGRAMMAZIONE I Canale: A - E - Erogato presso 1015913 PROGRAMMAZIONE I in Informatica L-31 A - E MESSINA FABRIZIO Canale: F - N - Erogato presso 1015913 PROGRAMMAZIONE I in Informatica L-31 F - N FARINELLA GIOVANNI MARIA Canale: O - Z - Erogato presso 1015913 PROGRAMMAZIONE I in Informatica L-31 O - Z MESSINA FABRIZIO	6	INF/01	24	24	-	-	-	Attività formative di base	ITA
1015914 - LABORATORIO Canale: A - E - Erogato presso 1015914 LABORATORIO in Informatica L-31 A - E MESSINA FABRIZIO Canale: F - N - Erogato presso 1015914 LABORATORIO in Informatica L-31 F - N FURNARI ANTONINO Canale: O - Z - Erogato presso 1015914 LABORATORIO in Informatica L-31 O - Z MESSINA FABRIZIO	3	INF/01	12	-	12	-	-	Attività formative di base	ITA
9795526 - ALGEBRA LINEARE E GEOMETRIA Canale: A - E - Erogato presso 9795526 ALGEBRA LINEARE E GEOMETRIA in Informatica L-31 A - E ZAPPALA' Giuseppe Canale: F - N - Erogato presso 9795526 ALGEBRA LINEARE E GEOMETRIA in Informatica L-31 F - N MARINO LUCIA MARIA Canale: O - Z - Erogato presso 9795526 ALGEBRA LINEARE E GEOMETRIA in Informatica L-31 O - Z STAGLIANO' GIOVANNI	6	MAT/03	24	24	-	-	-	Attività formative di base	ITA

Secondo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Altro	Ore Studio	Attività	Lingua
72439 - FONDAMENTI DI INFORMATICA Canale: A - E - Erogato presso 72439 FONDAMENTI DI INFORMATICA in Informatica L-31 A - E BARBANERA Franco, MADONIA Maria Serafina Canale: F - N - Erogato presso 72439 FONDAMENTI DI INFORMATICA in Informatica L-31 F - N MADONIA Maria Serafina, BARBANERA Franco Canale: O - Z - Erogato presso 72439 FONDAMENTI DI INFORMATICA in Informatica L-31 O - Z BARBANERA Franco	9	INF/01	36	36	-	-	-	Attività formative caratterizzanti	ITA
1002967 - ULTERIORI CONOSCENZE LINGUISTICHE Canale: A - K - Erogato presso 1002967 ULTERIORI CONOSCENZE LINGUISTICHE in Informatica L-31 A - K VILLOVICH CRISTINA Canale: L - Z - Erogato presso 1002967 ULTERIORI CONOSCENZE LINGUISTICHE in Informatica L-31 L - Z VILLOVICH CRISTINA	6		24	24	-	-	-	Per la prova finale e la lingua straniera (art.10, comma 5, lettera c)	ITA
9795537 - PROGRAMMAZIONE II E LABORATORIO
- PROGRAMMAZIONE II Canale: A - E - Erogato presso 9795537_1 PROGRAMMAZIONE II in Informatica L-31 A - E ORTIS ALESSANDRO Canale: F - N - Erogato presso 9795537_1 PROGRAMMAZIONE II in Informatica L-31 F - N SANTORO CORRADO Canale: O - Z - Erogato presso 9795537_1 PROGRAMMAZIONE II in Informatica L-31 O - Z SPATA Massimo Orazio	6	INF/01	24	24	-	-	-	Attività formative di base	ITA
- LABORATORIO Canale: A - E - Erogato presso 9795537_2 LABORATORIO in Informatica L-31 A - E ORTIS ALESSANDRO Canale: F - N - Erogato presso 9795537_2 LABORATORIO in Informatica L-31 F - N RAGUSA FRANCESCO Canale: O - Z - Erogato presso 9795537_2 LABORATORIO in Informatica L-31 O - Z GUARNERA FRANCESCO	3	INF/01	12	-	12	-	-	Attività formative di base	ITA
1015128 - ELEMENTI DI ANALISI MATEMATICA 1 Canale: A - E - Erogato presso 1015128 ELEMENTI DI ANALISI MATEMATICA 1 in Informatica L-31 A - E RAGUSA Maria Alessandra Canale: F - N - Erogato presso 1015128 ELEMENTI DI ANALISI MATEMATICA 1 in Informatica L-31 F - N DI FAZIO Giuseppe Canale: O - Z - Erogato presso 1015128 ELEMENTI DI ANALISI MATEMATICA 1 in Informatica L-31 O - Z MOSCONI SUNRA JOHANNES NIKOLAJ	6	MAT/05	18	36	-	-	-	Attività formative di base	ITA

Data Science

Primo anno

Primo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Altro	Ore Studio	Attività	Lingua
1015938 - ARCHITETTURA DEGLI ELABORATORI E LABORATORIO
1015939 - ARCHITETTURA DEGLI ELABORATORI Canale: A - E - Erogato presso 1015939 ARCHITETTURA DEGLI ELABORATORI in Informatica L-31 A - E SANTORO CORRADO Canale: F - N - Erogato presso 1015939 ARCHITETTURA DEGLI ELABORATORI in Informatica L-31 F - N TRAMONTANA EMILIANO ALESSIO Canale: O - Z - Erogato presso 1015939 ARCHITETTURA DEGLI ELABORATORI in Informatica L-31 O - Z MANNO CLAUDIO	6	INF/01	24	24	-	-	-	Attività formative caratterizzanti	ITA
1015940 - LABORATORIO Canale: A - E - Erogato presso 1015940 LABORATORIO in Informatica L-31 A - E SANTORO CORRADO Canale: F - N - Erogato presso 1015940 LABORATORIO in Informatica L-31 F - N VERGA GABRIELLA Canale: O - Z - Erogato presso 1015940 LABORATORIO in Informatica L-31 O - Z MANNO CLAUDIO	3	INF/01	12	-	12	-	-	Attività formative caratterizzanti	ITA
9795525 - STRUTTURE DISCRETE Canale: A - E - Erogato presso 9795525 STRUTTURE DISCRETE in Informatica L-31 A - E CUTELLO Vincenzo, CAVALLARO CLAUDIA Canale: F - N - Erogato presso 9795525 STRUTTURE DISCRETE in Informatica L-31 F - N CUTELLO Vincenzo, CAVALLARO CLAUDIA Canale: O - Z - Erogato presso 9795525 STRUTTURE DISCRETE in Informatica L-31 O - Z CUTELLO Vincenzo, CAVALLARO CLAUDIA	6	INF/01	24	24	-	-	-	Attività formative affini ed integrative	ITA
1015912 - PROGRAMMAZIONE I E LABORATORIO
1015913 - PROGRAMMAZIONE I Canale: A - E - Erogato presso 1015913 PROGRAMMAZIONE I in Informatica L-31 A - E MESSINA FABRIZIO Canale: F - N - Erogato presso 1015913 PROGRAMMAZIONE I in Informatica L-31 F - N FARINELLA GIOVANNI MARIA Canale: O - Z - Erogato presso 1015913 PROGRAMMAZIONE I in Informatica L-31 O - Z MESSINA FABRIZIO	6	INF/01	24	24	-	-	-	Attività formative di base	ITA
1015914 - LABORATORIO Canale: A - E - Erogato presso 1015914 LABORATORIO in Informatica L-31 A - E MESSINA FABRIZIO Canale: F - N - Erogato presso 1015914 LABORATORIO in Informatica L-31 F - N FURNARI ANTONINO Canale: O - Z - Erogato presso 1015914 LABORATORIO in Informatica L-31 O - Z MESSINA FABRIZIO	3	INF/01	12	-	12	-	-	Attività formative di base	ITA
9795526 - ALGEBRA LINEARE E GEOMETRIA Canale: A - E - Erogato presso 9795526 ALGEBRA LINEARE E GEOMETRIA in Informatica L-31 A - E ZAPPALA' Giuseppe Canale: F - N - Erogato presso 9795526 ALGEBRA LINEARE E GEOMETRIA in Informatica L-31 F - N MARINO LUCIA MARIA Canale: O - Z - Erogato presso 9795526 ALGEBRA LINEARE E GEOMETRIA in Informatica L-31 O - Z STAGLIANO' GIOVANNI	6	MAT/03	24	24	-	-	-	Attività formative di base	ITA

Secondo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Altro	Ore Studio	Attività	Lingua
72439 - FONDAMENTI DI INFORMATICA Canale: A - E - Erogato presso 72439 FONDAMENTI DI INFORMATICA in Informatica L-31 A - E BARBANERA Franco, MADONIA Maria Serafina Canale: F - N - Erogato presso 72439 FONDAMENTI DI INFORMATICA in Informatica L-31 F - N MADONIA Maria Serafina, BARBANERA Franco Canale: O - Z - Erogato presso 72439 FONDAMENTI DI INFORMATICA in Informatica L-31 O - Z BARBANERA Franco	9	INF/01	36	36	-	-	-	Attività formative caratterizzanti	ITA
1002967 - ULTERIORI CONOSCENZE LINGUISTICHE Canale: A - K - Erogato presso 1002967 ULTERIORI CONOSCENZE LINGUISTICHE in Informatica L-31 A - K VILLOVICH CRISTINA Canale: L - Z - Erogato presso 1002967 ULTERIORI CONOSCENZE LINGUISTICHE in Informatica L-31 L - Z VILLOVICH CRISTINA	6		24	24	-	-	-	Per la prova finale e la lingua straniera (art.10, comma 5, lettera c)	ITA
9795537 - PROGRAMMAZIONE II E LABORATORIO
- PROGRAMMAZIONE II Canale: A - E - Erogato presso 9795537_1 PROGRAMMAZIONE II in Informatica L-31 A - E ORTIS ALESSANDRO Canale: F - N - Erogato presso 9795537_1 PROGRAMMAZIONE II in Informatica L-31 F - N SANTORO CORRADO Canale: O - Z - Erogato presso 9795537_1 PROGRAMMAZIONE II in Informatica L-31 O - Z SPATA Massimo Orazio	6	INF/01	24	24	-	-	-	Attività formative di base	ITA
- LABORATORIO Canale: A - E - Erogato presso 9795537_2 LABORATORIO in Informatica L-31 A - E ORTIS ALESSANDRO Canale: F - N - Erogato presso 9795537_2 LABORATORIO in Informatica L-31 F - N RAGUSA FRANCESCO Canale: O - Z - Erogato presso 9795537_2 LABORATORIO in Informatica L-31 O - Z GUARNERA FRANCESCO	3	INF/01	12	-	12	-	-	Attività formative di base	ITA
1015128 - ELEMENTI DI ANALISI MATEMATICA 1 Canale: A - E - Erogato presso 1015128 ELEMENTI DI ANALISI MATEMATICA 1 in Informatica L-31 A - E RAGUSA Maria Alessandra Canale: F - N - Erogato presso 1015128 ELEMENTI DI ANALISI MATEMATICA 1 in Informatica L-31 F - N DI FAZIO Giuseppe Canale: O - Z - Erogato presso 1015128 ELEMENTI DI ANALISI MATEMATICA 1 in Informatica L-31 O - Z MOSCONI SUNRA JOHANNES NIKOLAJ	6	MAT/05	18	36	-	-	-	Attività formative di base	ITA

Programming Web, Mobile and Virtualized Environments

Primo anno

Primo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Altro	Ore Studio	Attività	Lingua
1015938 - ARCHITETTURA DEGLI ELABORATORI E LABORATORIO
1015939 - ARCHITETTURA DEGLI ELABORATORI Canale: A - E - Erogato presso 1015939 ARCHITETTURA DEGLI ELABORATORI in Informatica L-31 A - E SANTORO CORRADO Canale: F - N - Erogato presso 1015939 ARCHITETTURA DEGLI ELABORATORI in Informatica L-31 F - N TRAMONTANA EMILIANO ALESSIO Canale: O - Z - Erogato presso 1015939 ARCHITETTURA DEGLI ELABORATORI in Informatica L-31 O - Z MANNO CLAUDIO	6	INF/01	24	24	-	-	-	Attività formative caratterizzanti	ITA
1015940 - LABORATORIO Canale: A - E - Erogato presso 1015940 LABORATORIO in Informatica L-31 A - E SANTORO CORRADO Canale: F - N - Erogato presso 1015940 LABORATORIO in Informatica L-31 F - N VERGA GABRIELLA Canale: O - Z - Erogato presso 1015940 LABORATORIO in Informatica L-31 O - Z MANNO CLAUDIO	3	INF/01	12	-	12	-	-	Attività formative caratterizzanti	ITA
9795525 - STRUTTURE DISCRETE Canale: A - E - Erogato presso 9795525 STRUTTURE DISCRETE in Informatica L-31 A - E CUTELLO Vincenzo, CAVALLARO CLAUDIA Canale: F - N - Erogato presso 9795525 STRUTTURE DISCRETE in Informatica L-31 F - N CUTELLO Vincenzo, CAVALLARO CLAUDIA Canale: O - Z - Erogato presso 9795525 STRUTTURE DISCRETE in Informatica L-31 O - Z CUTELLO Vincenzo, CAVALLARO CLAUDIA	6	INF/01	24	24	-	-	-	Attività formative affini ed integrative	ITA
1015912 - PROGRAMMAZIONE I E LABORATORIO
1015913 - PROGRAMMAZIONE I Canale: A - E - Erogato presso 1015913 PROGRAMMAZIONE I in Informatica L-31 A - E MESSINA FABRIZIO Canale: F - N - Erogato presso 1015913 PROGRAMMAZIONE I in Informatica L-31 F - N FARINELLA GIOVANNI MARIA Canale: O - Z - Erogato presso 1015913 PROGRAMMAZIONE I in Informatica L-31 O - Z MESSINA FABRIZIO	6	INF/01	24	24	-	-	-	Attività formative di base	ITA
1015914 - LABORATORIO Canale: A - E - Erogato presso 1015914 LABORATORIO in Informatica L-31 A - E MESSINA FABRIZIO Canale: F - N - Erogato presso 1015914 LABORATORIO in Informatica L-31 F - N FURNARI ANTONINO Canale: O - Z - Erogato presso 1015914 LABORATORIO in Informatica L-31 O - Z MESSINA FABRIZIO	3	INF/01	12	-	12	-	-	Attività formative di base	ITA
9795526 - ALGEBRA LINEARE E GEOMETRIA Canale: A - E - Erogato presso 9795526 ALGEBRA LINEARE E GEOMETRIA in Informatica L-31 A - E ZAPPALA' Giuseppe Canale: F - N - Erogato presso 9795526 ALGEBRA LINEARE E GEOMETRIA in Informatica L-31 F - N MARINO LUCIA MARIA Canale: O - Z - Erogato presso 9795526 ALGEBRA LINEARE E GEOMETRIA in Informatica L-31 O - Z STAGLIANO' GIOVANNI	6	MAT/03	24	24	-	-	-	Attività formative di base	ITA

Secondo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Altro	Ore Studio	Attività	Lingua
72439 - FONDAMENTI DI INFORMATICA Canale: A - E - Erogato presso 72439 FONDAMENTI DI INFORMATICA in Informatica L-31 A - E BARBANERA Franco, MADONIA Maria Serafina Canale: F - N - Erogato presso 72439 FONDAMENTI DI INFORMATICA in Informatica L-31 F - N MADONIA Maria Serafina, BARBANERA Franco Canale: O - Z - Erogato presso 72439 FONDAMENTI DI INFORMATICA in Informatica L-31 O - Z BARBANERA Franco	9	INF/01	36	36	-	-	-	Attività formative caratterizzanti	ITA
1002967 - ULTERIORI CONOSCENZE LINGUISTICHE Canale: A - K - Erogato presso 1002967 ULTERIORI CONOSCENZE LINGUISTICHE in Informatica L-31 A - K VILLOVICH CRISTINA Canale: L - Z - Erogato presso 1002967 ULTERIORI CONOSCENZE LINGUISTICHE in Informatica L-31 L - Z VILLOVICH CRISTINA	6		24	24	-	-	-	Per la prova finale e la lingua straniera (art.10, comma 5, lettera c)	ITA
9795537 - PROGRAMMAZIONE II E LABORATORIO
- PROGRAMMAZIONE II Canale: A - E - Erogato presso 9795537_1 PROGRAMMAZIONE II in Informatica L-31 A - E ORTIS ALESSANDRO Canale: F - N - Erogato presso 9795537_1 PROGRAMMAZIONE II in Informatica L-31 F - N SANTORO CORRADO Canale: O - Z - Erogato presso 9795537_1 PROGRAMMAZIONE II in Informatica L-31 O - Z SPATA Massimo Orazio	6	INF/01	24	24	-	-	-	Attività formative di base	ITA
- LABORATORIO Canale: A - E - Erogato presso 9795537_2 LABORATORIO in Informatica L-31 A - E ORTIS ALESSANDRO Canale: F - N - Erogato presso 9795537_2 LABORATORIO in Informatica L-31 F - N RAGUSA FRANCESCO Canale: O - Z - Erogato presso 9795537_2 LABORATORIO in Informatica L-31 O - Z GUARNERA FRANCESCO	3	INF/01	12	-	12	-	-	Attività formative di base	ITA
1015128 - ELEMENTI DI ANALISI MATEMATICA 1 Canale: A - E - Erogato presso 1015128 ELEMENTI DI ANALISI MATEMATICA 1 in Informatica L-31 A - E RAGUSA Maria Alessandra Canale: F - N - Erogato presso 1015128 ELEMENTI DI ANALISI MATEMATICA 1 in Informatica L-31 F - N DI FAZIO Giuseppe Canale: O - Z - Erogato presso 1015128 ELEMENTI DI ANALISI MATEMATICA 1 in Informatica L-31 O - Z MOSCONI SUNRA JOHANNES NIKOLAJ	6	MAT/05	18	36	-	-	-	Attività formative di base	ITA