Insegnamento
|
CFU
|
SSD
|
Ore Lezione
|
Ore Eserc.
|
Ore Lab
|
Ore Altro
|
Ore Studio
|
Attività
|
Lingua
|
72439 -
FONDAMENTI DI INFORMATICA
-
BARBANERA FRANCO
( programma)
Fondamenti di Informatica, SSD INF/01, CFU 9Contenuti di Massima: Il corso mira all'acquisizione e allo sviluppo delle capacità dello studente di: comprendere i concetti fondamentali del pensiero informatico, e i principi metodologici che ne ispirano lo sviluppo, mediante una descrizione del suo dizionario, dai concetti di base allo stato dell'arte, nella prospettiva storica della sua evoluzione; apprendere le basi di logica matematica e teoria dei linguaggi formali, propedeutiche allo sviluppo di paradigmi di programmazione e di modelli di calcolo, dai più tradizionali ai più innovativi e non-convenzionali. Più specificamente, dopo un'introduzione storica all'informatica, si trattano i seguenti argomenti: Rappresentazione di algoritmi, strutture di controllo. Principi di progettazione di algoritmi. Elementi di analisi degli algoritmi. Rappresentazione binaria dell'informazione. Dispositivi di memoria fisica dei dati. Compressione e validazione dei dati. Architetture hardware di sistemi di calcolo. Sistemi operativi e macchine virtuali. Reti di calcolatori: Internet e World Wide Web. Linguaggi di programmazione e paradigmi. Traduzione di programmi. Strutture algebriche, Algebre di Boole. Logica predicativa, sintassi e semantica. Logica proposizionale, completezza e compattezza. Completezza e compattezza della logica predicativa. Grammatiche formali e riconoscitori, gerarchia di Chomsky. Automi a stati finiti. Linguaggi regolari. Proprietà dei linguaggi regolari. Pumping lemma per linguaggi regolari. Grammatiche libere e automi a pila. Macchine di Turino. Linguaggi ricorsivamente enumerabili. Modelli di calcolo, Tesi di Church-Turing. Programmazione logica e linguaggi formali Risvolti etici e sociali dell'informatica.Modalità di esame: Prova scritta e colloquio orale.
|
9
|
INF/01
|
72
|
-
|
-
|
-
|
-
|
Attività formative di base
|
ITA |
72440 -
PROGRAMMAZIONE I
Canale: A - L
-
PAVONE MARIO FRANCESCO
( programma)
Programmazione I, SSD INF/01, CFU 9Contenuti di Massima: Il corso presenta i fondamenti della programmazione procedurale ed i concetti di base della programmazione orientata agli oggetti (OOP) adottando C++ come linguaggio di riferimento. Più specificamente, saranno discussi i seguenti argomenti: Introduzione alla programmazione (Problemi; Algoritmi; Diagrammi di flusso; Variabili; Espressioni; Assegnazioni; Notazione lineare strutturata; Teorema di Bohm-Jacopini). Linguaggi di programmazione (Compilazione ed interpretazione; Installazione e funzionamento di un IDE: Editing, Compiling, Running, Debugging). Nozioni di base del C/C++ (Tipi di dato primitivi; Operatori predefiniti; Conversioni di tipo; Gestione dell’I/O; Puntatori e loro aritmetica; Controllo del flusso: costrutti di selezione e di iterazione; Reference; Array; Stringhe). Algoritmi notevoli (Algoritmi di Ricerca: lineare in una sequenza ordinata e non, ricerca con sentinella, ricerca del massimo/minimo, ricerca dicotomica; Algoritmi di Ordinamento: Bubblesort, Selectionsort, Insertionsort; Algoritmo di Natural-merge). Ricorsione (Gestione delle chiamate ai metodi mediante stack delle attivazioni; Metodi ricorsivi; Ricorsione di coda e non di coda; Efficienza della ricorsione). Introduzione alla OOP (Oggetti: stato e comportamento; Classi: attributi ed operazioni; Messaggi; Istanziazione di oggetti: costruttori e distruttori; Relazione di composizione per gli oggetti; Modificatori di accesso; Allocazione di memoria per i tipi primitivi e non-primitivi; Implementazione di metodi: valore di ritorno, passaggio di parametri per valore e per riferimento; Regole di visibilità; Riferimento "this"; Overloading; Attributi e metodi statici; Metodi "friend": Principi di progettazione orientata agli oggetti: astrazione, encapsulation, information hiding). Nozioni avanzate di OOP (Ereditarietà; Relazione ISA; Gerarchie ereditarie di classi; Overriding; Late-binding; Metodi virtual; Polimorfismo; Classi astratte; Ereditarietà multipla; Diagrammi UML per le classi; Classi e metodi "template").Modalità di esame: Prova scritta, prova pratica di laboratorio e Progetto SW.
Canale: M - Z
-
CINCOTTI GIANLUCA
( programma)
Programmazione I, SSD INF/01, CFU 9Contenuti di Massima: Il corso presenta i fondamenti della programmazione procedurale ed i concetti di base della programmazione orientata agli oggetti (OOP) adottando C++ come linguaggio di riferimento. Più specificamente, saranno discussi i seguenti argomenti: Introduzione alla programmazione (Problemi; Algoritmi; Diagrammi di flusso; Variabili; Espressioni; Assegnazioni; Notazione lineare strutturata; Teorema di Bohm-Jacopini). Linguaggi di programmazione (Compilazione ed interpretazione; Installazione e funzionamento di un IDE: Editing, Compiling, Running, Debugging). Nozioni di base del C/C++ (Tipi di dato primitivi; Operatori predefiniti; Conversioni di tipo; Gestione dell’I/O; Puntatori e loro aritmetica; Controllo del flusso: costrutti di selezione e di iterazione; Reference; Array; Stringhe). Algoritmi notevoli (Algoritmi di Ricerca: lineare in una sequenza ordinata e non, ricerca con sentinella, ricerca del massimo/minimo, ricerca dicotomica; Algoritmi di Ordinamento: Bubblesort, Selectionsort, Insertionsort; Algoritmo di Natural-merge). Ricorsione (Gestione delle chiamate ai metodi mediante stack delle attivazioni; Metodi ricorsivi; Ricorsione di coda e non di coda; Efficienza della ricorsione). Introduzione alla OOP (Oggetti: stato e comportamento; Classi: attributi ed operazioni; Messaggi; Istanziazione di oggetti: costruttori e distruttori; Relazione di composizione per gli oggetti; Modificatori di accesso; Allocazione di memoria per i tipi primitivi e non-primitivi; Implementazione di metodi: valore di ritorno, passaggio di parametri per valore e per riferimento; Regole di visibilità; Riferimento "this"; Overloading; Attributi e metodi statici; Metodi "friend": Principi di progettazione orientata agli oggetti: astrazione, encapsulation, information hiding). Nozioni avanzate di OOP (Ereditarietà; Relazione ISA; Gerarchie ereditarie di classi; Overriding; Late-binding; Metodi virtual; Polimorfismo; Classi astratte; Ereditarietà multipla; Diagrammi UML per le classi; Classi e metodi "template").Modalità di esame: Prova scritta, prova pratica di laboratorio e Progetto SW. Lock
|
9
|
INF/01
|
72
|
-
|
-
|
-
|
-
|
Attività formative di base
|
ITA |
INSEGNAMENTO ANNUALE
1008028 -
ELEMENTI DI ANALISI MATEMATICA
Canale: A - L
-
CIRMI GIUSEPPA RITA
( programma)
Elementi di Analisi Matematica, SSD MAT/05, CFU 12Contenuti di Massima: Teoria degli insiemi. Numeri reali. Insiemi numerici. Numeri complessi. Successioni e serie numeriche. Limiti di funzioni. Funzioni continue. Calcolo differenziale per le funzioni reali di una variabile. Calcolo integrale. Metodi risolutivi per le equazioni differenziali. Modalità di esame: Prova scritta e colloquio orale.
Canale: M - Z
-
CILIA RAFFAELA GIOVANNA
( programma)
Elementi di Analisi Matematica, SSD MAT/05, CFU 12Contenuti di Massima: Teoria degli insiemi. Numeri reali. Insiemi numerici. Numeri complessi. Successioni e serie numeriche. Limiti di funzioni. Funzioni continue. Calcolo differenziale per le funzioni reali di una variabile. Calcolo integrale. Metodi risolutivi per le equazioni differenziali. Modalità di esame: Prova scritta e colloquio orale.
|
12
|
MAT/05
|
96
|
-
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
INSEGNAMENTO ANNUALE
72438 -
MATEMATICA DISCRETA
-
MILICI SALVATORE
( programma)
Matematica Discreta, SSD MAT/03, CFU 12Contenuti di Massima: Insiemi ed operazioni su di essi. Cardinalità di un insieme. Applicazioni. Relazioni di equivalenza e di ordinamento parziale. Operazioni algebriche binarie. Strutture algebriche: gruppi, campi. Matrici. Operazioni fra matrici. Matrici notevoli. Determinanti. Proprietà del determinante. Rango di una matrice. Sistemi lineari e matrici ridotte per righe. Calcolo della matrice inversa. Teoremi di Cramer e di Rouché-Capelli.. Vettori e geometria lineare nel piano e nello spazio. Spazi Vettoriali. Applicazioni lineari e matrici. Autovalori ed autovettori. Teoria dei numeri. Congruenze. Calcolo combinatorio e probabilità discrete. Grafi e proprietà. Modalità di esame: Prova scritta e colloquio orale.
|
12
|
MAT/03
|
96
|
-
|
-
|
-
|
-
|
Attività formative di base
|
ITA |