Sillabo dell'insegnamento

• B - Algoritmi
* A - Algoritmi fondamentali
Algoritmi e Strutture Dati. Esempi di Algoritmi diversi per la soluzione di uno stesso problema. Analisi Empiriche. Analisi degli algoritmi. Le notazioni O grande, Omega e Theta. Analisi caso pessimo, caso ottimo e caso medio. Velocità di crescita delle funzioni. Risoluzione delle funzioni di ricorrenza. Il Master Theorem.
* SDF - Strutture di Dati Fondamentali
Array. Liste Concatenate. Inserimento, Cancellazione e Ricerca di un elemento nella lista. Pile. Valutazione di un'espressione in forma Polacca mediante una Pila. Pile e ricorsione. Code.
* A - Algoritmi fondamentali
Algoritmi di Ordinamento. Il Selectionsort, l'Insertionsort, il Mergesort, l'Heapsort, il Quicksort, il Countingsort e il Radixsort. Analisi worst case e analisi caso medio del quicksort.
* SDF - Strutture di Dati Fondamentali
Alberi: definizioni, rappresentazioni e proprietà. Algoritmi di attraversamento di un albero: preordine, inordine e postordine. Alberi binari di ricerca. Alberi di ricerca bilanciati.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Tecnica del Divide et Conquer. Esempi. La Programmazioni Dinamica. Esempi: numero di fibonacci, distanza fra due stringhe.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Tecniche Greedy: Optimal Storage on Tapes. Il Problema dello Zaino: soluzione greedy. Esempi: Ricerca Minimo e Massimo, Distributore automatico di resto, Moltiplicazione di Matrici; Prodotto di n matrici. Longest Common Subsequence.
* SDF - Strutture di Dati Fondamentali
Rappresentazione di Grafi, Visite su Grafi,
* ASC - Algoritmi su Strutture Combinatorie
Biconnettivita' e Connettivita' Forte, Algoritmi di Spanning Tree Minimo, Algoritmi per Cammini Ottimi.
* ASC - Algoritmi su Strutture Combinatorie
Algoritmi su grafi. Albero di ricopriento di costo minimo di un albero non orientato: Algoritmo di Kruskal e algoritmo di Prim.
* ASC - Algoritmi su Strutture Combinatorie
Biconnettività su un grafo non orientato. Connettività forte su un grafo orientato.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Relazione tra Macchina di Turing e RAM. Complessità Computazionale e Linguaggi di Programmazione ad Alto Livello.
TAA - Tecniche Algoritmiche Avanzate
Macchine di Turing Non Deterministiche, Le classi P ed NP, NP Completezza del Problema della Soddisfattibilità. Ulteriori Problemi Np Completi.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Insiemi e Numeri Reali.
MAT/05 - Analisi Matematica
Relazioni e Funzioni.
MAT/05 - Analisi Matematica
Limiti
MAT/05 - Analisi Matematica
Successioni Numeriche.
MAT/05 - Analisi Matematica
Calcolo Differenziale per Funzioni di Una Variabile Reale.
MAT/05 - Analisi Matematica
Integrali Indefiniti.
MAT/05 - Analisi Matematica
Integrazione secondo Riemann
MAT/05 - Analisi Matematica
Serie Numeriche.
MAT/05 - Analisi Matematica
Funzioni di Piu' Variabili Reali.
MAT/05 - Analisi Matematica
Serie di Funzioni e Sviluppi in Serie
MAT/05 - Analisi Matematica
Integrazione di Funzioni di Piu' Variabili Equazioni Differenziali Ordinarie.
MAT/05 - Analisi Matematica
Calcolo Differenziale di Funzioni di Piu' Varabili Reali

Sillabo dell'insegnamento

• E - Architetture
* CCS - Circuiti combinatori e sequenziali
Circuiti combinatori: Algebra di Boole. Funzioni logiche MSI: Multiplexer; Demulptiplexer; Decoder; Encoder; Priority Encoder; Comparator; Parity generator e Parity check;
* CCS - Circuiti combinatori e sequenziali
Shifter e barrel Shifter; Convertitore di codici. Circuiti sequenziali: Latch e Flip-Flop. Registri di memoria;
* CCS - Circuiti combinatori e sequenziali
Contatori Asincroni e Contatori Sincroni a modulo fisso arbitrario e con sequenza di conteggio: binario, decimale e gray, a modulo programmabile presettabili e non presettabili;
* CCS - Circuiti combinatori e sequenziali
Contatori ad anello; Registri a scorrimento univerale (left/right shift, serial/parallel load).
* AC - Aritmetica dei calcolatori
Funzioni Aritmetiche: Half Adder, Full Adder, Parallel adder, Look-Ahead Adder
* AC - Aritmetica dei calcolatori
Sottrazione Binaria. Sottrazione con numeri scritti in complemento ad 2 e ad 1. Somma e sottrazione BCD. Loro uso per realizzazione delle operazioni prodotto.

Sillabo dell'insegnamento

• G - Basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
Sistemi informativi e informatici. DB e DBMS. Funzionalità di un DBMS: Definizione, uso e controllo della base di dati. Utilizzo del DBMS Oracle.
* ML - Modelli logici
Il modello relazionale.
* LI - Linguaggi di Interrogazione di Basi di Dati
Algebra relazionale: unione, intersezione, differenza, ridenominazione, selezione, proiezione, join naturale. proprietà e cardinalità del join naturale. Prodotto cartesiano, theta-join, equi-join. Interrogazioni di un database in Algebra relazionale. Il linguaggio SQL. Data Definition Language e Data Manipulation Language. DDL: Definizione e modifica dello schema del database. DML: Linguaggio di interrogazione. Struttura di un'interrogazione in SQL. l'operazione di Join. Operatori aggregati. Raggruppamenti. Select Nidificate. Viste. Interrogazioni in SQL.
* PC - Progettazione concettuale
Le fasi del progetto di una base di dati. Progettazione Concettuale di un DB. Entità, Associazioni, Attributi, Generalizzazioni, Identificatori. Ristrutturazione di un progetto concettuale.
* PL - Progettazione Logica
Passaggio dal modello concettuale a quello logico. Traduzione nel modello relazionale di entità ed associazioni. Scelta degli identificatori principali
NBD - Normalizzazione di Basi di Dati
Normalizzazione di una base di dati. BCNF, Terza forma normale. Il concetto di dipendenza funzionale e di chiusura funzionale. Algoritmo per calcolare la chiusura funzionale e Algoritmo per la trasformazione di una relazione in un insieme di relazioni in terza forma normale.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
Introduzione alla probabilita'
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie semplici, trasformate e vettori di variabili aleatorie
MAT/06 - Probabilita' e Statistica Matematica
Convergenza di successioni di variabili aleatorie. La finzione di Verosimiglianza: costruzione e uso nell'inferenza.Verosimiglianza assoluta, verosimiglianza relativa al massimo e rapporto delle verosimiglianze: costruzione di intervalli. Distribuzioni campionarie: alcuni esempi e simulazioni. Verosimiglianza per campioni estratti da un'esponenziale, binomiale, poisson, normale.
MAT/06 - Probabilita' e Statistica Matematica
Introduzione generale all'inferenza Statistica.
MAT/06 - Probabilita' e Statistica Matematica
Stima puntuale: stimatori e loro proprietà; correttezza, consistenza efficienza assoluta e relativa, errore quadratico medio. Stimatori di massima verosimiglianza. Esempi vari sulle distribuzioni più comuni. Proprietà asintotiche degli stimatori di massima verosimiglianza (cenni). Cenni alle relazione di dipendenza; regressione lineare semplice: stima dei parametri, correlazione lineare, analisi emprica dei residui
MAT/06 - Probabilita' e Statistica Matematica
Stima puntuale: stimatori e loro proprietà; correttezza, consistenza efficienza assoluta e relativa, errore quadratico medio. Stimatori di massima verosimiglianza. Esempi vari sulle distribuzioni più comuni. Proprietà asintotiche degli stimatori di massima verosimiglianza (cenni). Cenni alle relazione di dipendenza; regressione lineare semplice: stima dei parametri, correlazione lineare, analisi emprica dei residui

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Approssimazione ai minimi quadrati: Vettore dei residui, funzione somma degli scarti quadratici e sistema delle equazioni normali; Tecniche linearizzanti per modelli non lineari.
MAT/08 - Analisi Numerica
Interpolazione polinomiale: Teorema di esistenza ed unicità del polinomio di interpolazione; Polinomio di interpolazione nelle forme di Lagrange e di Newton; Lo studio dell'errore nell'interpolazione e il problema della convergenza; Curve cubiche a tratti di interpolazione: metodo della parametrizzazione uniforme e metodo della parametrizzazione della corda.
MAT/08 - Analisi Numerica
Polinomi ortogonali: I polinomi di Chebyshev: formula iterativa, calcolo delle radici e proprietà di ortogonalità; Polinomi di Legendre: formule iterative e calcolo delle radici.
MAT/08 - Analisi Numerica
Integrazione numerica: Ordine polinomiale e ordine di precisione di una formula di quadratura; Formule di Newton-Cotes di tipo aperto e di tipo chiuso: costruzione, significato geometrico ed espressione dell'errore; Il teorema di Polya e la convergenza delle formule di quadratura; Formule composte: precisione e scelta del passo d'integrazione; Metodo del calcolo effettuato due volte; Principio di Runge; Formule di quadratura di Gauss-Legendre e stima dell'errore.
MAT/08 - Analisi Numerica
Equazioni non lineari: Costruzione, significato geometrico e convergenza dei metodi di Bisezione, di Regula Falsi e delle Secanti; Metodi iterativi ad un punto e problemi equivalenti di punto fisso: condizioni per la convergenza locale e globale del metodo; Accelerazione della convergenza: lo schema di Aitken e il metodo di Steffensen; Costruzione, significato geometrico e convergenza del metodo di Newton.
MAT/08 - Analisi Numerica
Teoria dell'errore: Rappresentazione dei numeri; Insieme dei numeri macchina, floating e precisione di macchina; Definizione di errore analitico, algoritmico ed inerente; Propagazione dell'errore e condizionamento di un problema; Calcolo dell'errore nelle operazioni elementari; Instabilità del metodo di calcolo.

Sillabo dell'insegnamento

• D - Linguaggi
* LF - Linguaggi Formali
Linguaggi di Programmazione e Processori di Linguaggi di Programmazione. Analisi Lessicale: Operazioni preliminari. Token e Lessemi. Errori lessicali. Token e espressioni regolari. Definizioni regolari. Eliminazioni di ambiguità. Automi a stati finiti. Implementazioni di DFA. Simulazioni di NFA.
* LF - Linguaggi Formali
Analisi sintattica: Grammatiche context‐free. Alberi di derivazione. Grammatiche ambigue. Automi a pila deterministici e non deterministici. Complessità di calcolo di un automa a pila. Algoritmo di Earley. Errori sintattici e metodi di gestione degli errori. Parser a discesa ricorsiva. Parser LL(1). Elinimazione della ricorsione sinistra. Fattorizzazione sinistra. Insiemi First e Follow.
* LF - Linguaggi Formali
Parser shift‐reduce. Parser LR(0). Parser SLR. Parser LR(1). Parser LALR(1). Proprietà dei linguaggi e delle grammatiche LR(k). Confronto tra le grammatiche LL(k) e LR(k). Analisi semantica: Semantica statica e dinamica. Grammatiche con attributi. Semantica guidata dalla sintassi. Albero sintattico decorato. Calcolo degli attributi. Grafo delle dipendenze. Grammatiche con S‐attributi. Grammatiche con L-attributi. Ordinamento topologico del grafo delle dipendenze.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Differenza tra compilazione e interpretazione di un programma. Macchina Virtuale Preprocessore. Linker e Loader. Fasi della compilazione. Front End e Back End. Passate di un compilatore. Generazione automatica di scanner. Flex. Generazione automatica di parser. Bison.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Tabella dei simboli. Vari tipi di implementazioni tramite array, liste concatenate e ABR. Implementazione tramite hash table with chaining. Attributi di visibilità e metodi di realizzazione. Type checking. Equivalenza d tipi. Type coercion. Generazione del codice: Codice intermedio. Codice a tre indirizzi. Strutture dati per l'implementazione del 3AC. Codice per macchina virtuale. P‐code. Ottimizzazione del codice. Esempi di ottimizzazioni indipendenti dalla macchina. Generatori di codice oggetto. Esempi di ottimizzazioni dipendenti dalla macchina.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Compilatori e Linguaggi. Linguaggi Macchina, Linguaggi Assembly ed evoluzione dei linguaggi di programmazione.

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/02 - Algebra
Teoria degli insiemi. Gruppi, campi, spazi vettoriali.
MAT/03 - Geometria
Applicazioni lineari, composizioni di applicazioni lineari
MAT/03 - Geometria
Matrici. Matrice quadrata,trasposta,simmetrica, antisimmetrica, diagonale. Moltiplicazione tra matrici. Spazio delle matrici. Applicazioni lineari e matrici. Matrice di un'applicazione lineare composta. Matrici del cambiamento di base. Matrici invertibili.
MAT/03 - Geometria
Sistemi lineari. Sistemi di Cramer. Matrice inversa di una matrice quadrata. Rango di una matrice. Sistemi lineari omogenei. Sistemi lineari non omogenei. Teorema di Rouchè-Capelli. Endomorfismi. Autovettori. Autovalori. Autospazi. Polinomio caratteristico. Diagonalizzazione. Forma canonica di Jordan.
MAT/03 - Geometria
GEOMETRIA CARTESIANA: Riferimento sulla retta e segmenti orientati. Coordinate cartesiane. Vettori geometrici. Vettori paralleli e complanari. Coordinate dei vettori. Spazio affine. Allineamento e complanarità tra punti.
MAT/03 - Geometria
Equazioni parametriche di rette e piani. Equazione cartesiana di un piano. Fasci di piani e di rette. Stella di piani. Equazioni cartesiane di una retta. Stella di rette. Condizione di complanarità di due rette. Rette sghembe. Spazio euclideo. Nozioni angolari e modulo di un vettore. Prodotto scalare. Misura di distanze e angoli. Distanza di due punti. Sfera. Coseni direttori di una retta. Significato geometrico dei parametri di giacitura di un piano. Angolo di due rette. Distanza di un punto da un piano. Minima distanza di due rette sghembe. Retta di minima distanza di due rette sghembe. Coni. Cilindri. Superficie di rotazione.

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
MG - Modellazione Geometrica
retina digitale; intorni digitali; teorema di shannon; paradosso di jordan; metriche discrete; operatori aritmetici e logici; bitplane e codici di Gray; formula di Eulero;rotazione e ridimensionamento di immagini (interpolazioni nearest, bilineare e bicubica); POVRay, LightWave, Maya, 3dsMax, MatLab
RV - Rendering e Visualizzazione
immagini truecolor e indicizzate; quantizzazione; POVRay, GIMP, MatLab
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
principali filtri (media, mediano, Gauss, Laplace, sharpen, Sobel, Prewitt); istogrammi; stretching; equalizzazione;
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
morfologia matematica a scala di grigio (erosione, dilatazione, apertura, chiusura, individuazione contorni, top-hat, bottom-hat, kappa and sharpen); minimo rettangolo di ricoprimento; granulometria;
RV - Rendering e Visualizzazione
fixed/optimal/adaptive/iterative/dynamic threshold; compressione di immagini digitali (lossy/lossless); misure di errore; codifica interlacciata;
V - Varie
cenni ai principali formati grafici (bmp/gif/jpg); segmentazione; quadtree (compressione, e split+merge); trasformata discreta coseno; short-time-fourier-transform; wavelets e filter bank; trasformata di Haar; decomposizione standard e non-standard; algoritmo a trous.

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Funzioni calcolabili e problemi decidibili. Esistenza di problemi indecidibili. Linguaggi riconosciuti da macchine di Turing. Generalizzazioni e restrizioni della macchina di Turing. Linguaggi riconosciuti dai diversi modelli di automi.
* ALF - Automi e Linguaggi Formali
Sistemi di riscrittura. Grammatiche. Linguaggi generati da grammatiche. La gerarchia di Chomsky e sue relazioni con la classificazione degli automi. Equivalenza tra grammatiche (generali) e macchine di Turing. Equivalenza tra Grammatiche Lineari Destre (o Lineari Sinistre) e FSA. Grammatiche Noncontestuali, o Context-Free (CF). Linguaggi generati da grammatiche CF. Albero Sintattico (o di Derivazione). Ambiguità nelle grammatiche e nei linguaggi CF. Forme Normali di Chomsky e di Greibach.
* ALF - Automi e Linguaggi Formali
Equivalenza tra grammatiche CF e automi a pila (PDA). Esempio delle espressioni in forma polacca. Lemma d'iterazione per i linguaggi CF. Esempi di linguaggi che non sono generati da grammatiche CF. Propriet? di chiusura per la famiglia dei linguaggi CF. Problemi de decisione per i linguaggi CF. Cenni sull'analisi sintattica.
* ALF - Automi e Linguaggi Formali
Automi a Stati Finiti (FSA) e linguaggi riconosciuti da FSA. Rappresentazione di un FSA col grafo degli stati. Lemma d'iterazione. Esempi di linguaggi non riconosciuti da FSA. Automi Finiti Deterministici (DFA) e Nondeterministici (NFA). Equivalenza tra NFA e DFA. Subset Construction. Applicazioni: algoritmi di string-matching. FSA con epsilon-transizioni. Proprietà di chiusura della famiglia dei linguaggi riconosciuti da FSA. Linguaggi ed Espressioni Regolari.
* ALF - Automi e Linguaggi Formali
Teorema di Kleene. Algoritmi per convertire un'espressione regolare in un DFA e viceversa. FSA bidirezionali (2-FSA).
* ALF - Automi e Linguaggi Formali
Equivalenza tra 2-DFA e 1-DFA (Teorema di Rabin-Shepherdson). Problemi di decisione per i linguaggi riconosciuti da FSA. Equivalenza e minimizzazione di FSA.
* CAL - Calcolabilita'
Nozione di calcolabilità. Enunciato e discussione della tesi di Church-Turing. Primi esempi di funzioni Turing-calcolabili. Definizione di produttività di una Macchina di Turing (MdT). Definizione della funzione p (produttività massima delle MdT a n stati). Dimostrazione della non Turing calcolabilità della funzione p. Le funzioni ricorsive primitive. Costruzione della funzione di Ackermann. Definizione di funzione epsilon-ricorsiva e µ-ricorsiva. Le funzioni ricorsive primitive (r.p.). Metodi di codifica ricorsivi primitivi. Numeri di Godel. Il linguaggio di programmazione S di Davis/Weyuker. Calcolabilità in S delle funzioni r.p. Il teorema della "fermata". Esistenza di programmi "universali". Insiemi ricorsivamente enumerabili (r.e.) e di insiemi ricorsivi.
* CAL - Calcolabilita'
Relazioni intercorrenti tra insiemi r.e. e insiemi ricorsivi. Il teorema di Post. Dimostrazione dell'esistenza di insiemi r.e ma non ricorsivi. Il teorema del parametro di Kleene. Il linguaggio di programmazione LOOP di Meyer e Ritchie. LOOP-calcolabilità delle funzioni r.p.. Equivalenza tra funzioni r.p. e funzioni LOOP-calcolabili. Profondità di nidificazione dei cicli LOOP. La gerarchia Ln. Non ricorsività primitiva della funzione di Ackermann. Calcolabilità in S della funzione di Ackermann. Introduzione del linguaggio WHILE come estensione del linguaggio LOOP. Dimostrazione della equivalenza tra il linguaggio S e il linguaggio WHILE.
* CAL - Calcolabilita'
Linguaggi di programmazione Sn. Simulazione in Sn delle funzioni calcolabili in S. Introduzione del linguaggio di T di Post-Turing e T-calcolabilità delle funzioni parzialmente calcolabili in Sn. S-calcolabilità delle funzioni calcolabili da programmi di Post-Turing. Equivalenza tra MdT a quadruple, MdT a quintuple e programmi di Post Turing. Equivalenza tra MdT con nastro infinito bidirezionale e MdT con nastro infinito in una sola direzione. MdT non deterministiche.
* CAL - Calcolabilita'
Processi di Thue e simulazione di MdT non deterministiche mediante processi di Thue. Definizione di grammatica. Equivalenza tra i Linguaggi accettati da MdT non deterministiche e i linguaggi generati da grammatiche. Ricorsività primitiva degli operatori di derivabilità in una grammatica. Equivalenza tra linguaggi r.e. e linguaggi generati da una grammatica. Caratterizzazioni degli insiemi r.e. Il teorema della forma normale di Kleene. Il problema della corrispondenza di Post e la sua insolubiltà algoritmica. Equivalenza tra funzioni S-calcolabili e funzioni µ-ricorsive. Non ricorsiva enumerabilità dell'insieme di indici delle funzioni ricorsive totali.
COM - Complessita'
Una rivisitazione del linguaggio LOOP di Meyer e Ritchie , visto alla luce dei problemi di complessità. Teoremi di limitazione alla crescita e ?inverso? del teorema di limitazione alla crescita. Il problema della complessità in generale. Vari modi in cui si presenta questa nozione e varie teorie corrispondenti.
COM - Complessita'
La complessità astratta. Gli assiomi di Blum. Cenni ad alcuni teoremi centrali della teoria di Blum. La complessità concreta. Calcolabilità in tempo polinomiale. Le classi di problemi P ed NP. Definizione di problema NP completo. Il problema della soddisfacibilità. Il teorema di Cook e la tesi di Cook-Karp. Cenni al problema P=?NP. Cenni al decimo problema di Hilbert e agli insiemi diofantei. Il teorema di Matjasievic. I sette Problemi del Millennio come riproposizione dei problemi di Hilbert al Convegno del 1900.

Sillabo dell'insegnamento

• C - Programmazione
PP - Paradigmi di Programmazione
I Paradigmi di Programmazione Il Paradigma Funzionale Esempio di linguaggio funzionale
PP - Paradigmi di Programmazione
Paradigma Imperativo Esempio di linguaggio imperativo
* SS - Sintassi e Semantica
Semantica call-by-value ,call-by-reference, call-by-name
* POO - Programmazione Orientata agli Oggetti
Il Paradigma ad Oggetti. Semantica statica e dinamica
* POO - Programmazione Orientata agli Oggetti
Il Polimorfismo L'Isomorfismo Ereditarietà
* POO - Programmazione Orientata agli Oggetti
Esempio di linguaggio ad Oggetti

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Introduzione. Motivazioni per lo studio della logica matematica. Richiami di insiemistica.
MAT/01 - Logica Matematica
Logica Proposizionale. Formule proposizionali. Calcolo di deduzione naturale. Valutazioni e tavole di verità. Teorema di Validità. Teorema di Completezza.
MAT/01 - Logica Matematica
Logica del Primo Ordine. Linguaggi e teorie del primo ordine. Calcolo di deduzione naturale. Strutture e interpretazioni.
MAT/01 - Logica Matematica
Validità. Teorema di Validità. Teorema di Completezza. Teorema di Compattezza. Teoremi di Lowenheim e Skolem.
MAT/01 - Logica Matematica
Teoria degli Insiemi. La teoria degli insiemi di Zermelo-Fraenkel. Classi e insiemi. Sviluppo della matematica in ZF. Induzione insiemistica. Ordinali. L'assioma di scelta. Equivalenti dell'assioma di scelta. Cardinali.
MAT/01 - Logica Matematica
Teoria della Calcolabilità. Funzioni ricorsive. Macchine a registri. Funzioni calcolabili. La tesi di Church. Esempi di funzioni non ricorsive. Insiemi ricorsivi e ricorsivamente enumerabili.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Insiemi ed Elementi di Logica
MAT/02 - Algebra
Funzioni
MAT/02 - Algebra
Teoria Dei Grafi
MAT/02 - Algebra
Permutazioni, Partizioni e Numeri di Stirling
MAT/02 - Algebra
Teoria dei Disegni
MAT/02 - Algebra
Teoria dei Gruppi
MAT/02 - Algebra
Monoidi
MAT/02 - Algebra
Gruppi
MAT/02 - Algebra
Semigruppi
MAT/02 - Algebra
Relazioni tra insiemi
MAT/02 - Algebra
Ideali
MAT/02 - Algebra
Campi

Sillabo dell'insegnamento

• C - Programmazione
* PSA - Problem Solving e Algoritmi
La nozione di Algoritmo. Differenze tra Algoritmo e Programma. Analisi degli algoritmi. Esempi Classici. L'algoritmo di Euclide. Il sistema binario. Conversione di un numero da binario a decimale. Il codice Ascii.
PP - Paradigmi di Programmazione
Il paradigma dichiarativo e il paradigma imperativo. La programmazione strutturata. Il teorema di Boem-Jacopini: I costrutti di sequenza, iterazione e selezione
* CB - Costrutti di Base
Il principio di induzione e la ricorsione. Algoritmi iterativi e ricorsivi. Il linguaggio C e la programmazione strutturata. I costrutti in C. Sequenza. Selezione. Iterazione. Espressioni logiche.
* CB - Costrutti di Base
Struttura di un programma in C. Identificatori. Tipi di dato. I tipi scalari semplici. Il concetto di variabile. Il concetto di costante.
* CB - Costrutti di Base
L'istruzione di assegnazione. Il confronto tra variabili. Istruzioni di input e output.
* SDTD - Strutture Dati e Tipi di Dati astratti
Tipi di dati strutturati predefiniti. Gli Array. Le Matrici. Il tipo string. Tipi di dati definiti dal programmatore. Strutture, Files. Files di input e output.
* SDTD - Strutture Dati e Tipi di Dati astratti
Puntatori e liste. Manipolazione delle liste, procedure di inserzione e cancellazione di elementi di lista. Struttura dati Pila e Struttura Dati Coda.
* P - Procedure
Procedure e Funzioni. Strutturazione di un programma mediante procedure e funzioni. Passaggio dei parametri per valore e per indirizzo.
* R - Ricorsione
Algoritmi ricorsivi. La ricorsione. Esempi di algoritmi e programmi ricorsivi.
* PSA - Problem Solving e Algoritmi
Semplici algoritmi di ricerca e di ordinamento.
* SDTD - Strutture Dati e Tipi di Dati astratti
Struttura Dati elementare non lineare: Albero
* PSA - Problem Solving e Algoritmi
Visite degli alberi (preordine, inordine, e postordine) e corrispondenza con le notazioni prefisse, infisse e postfisse; Implementazione degli alberi. Versione iterativa della visita in preordine tramite una pila.

Sillabo dell'insegnamento

• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
Concetti base sulla comunicazione dei dati e sulle reti di calcolatori. I modelli di riferimento OSI e TCP/IP. I mezzi trasmissivi.
* PT - Protocolli
Il livello di Networking (IP e IPv6).L'internetworking (routing e controllo della congestione).
DR - Dispositivi di Rete
Il Livello Fisico e il Livello di Data Link. Reti locali (Ethernet, Token Ring) e dispositivi di rete.
* PT - Protocolli
Il livello di Trasporto (TCP e UDP).I Socket e il modello Client-Server.
* PT - Protocolli
I Livelli di Sessione e Presentazione.Il Livello di Applicazione (HTTP, FTP, Telnet, SMTP/POP, etc.).
* MIR - Modelli di Interazione in Rete
I servizi multimediali su Internet (Voce, Video, QoS).Il linguaggio Java.

Sillabo dell'insegnamento

• A - Fondamenti
TIC - Teoria dell'Informazione e Codici
Codifica Gray. Codifica dei parametri. Introduzione all'ambiente di analisi dati matlab: istruzioni e costrutti fondamentali. Ottimizzazioni e vettorializzazione del codice sorgente. Interfacce grafiche.
COM - Complessita'
Introduzione al calcolo della complessita'. Introduzione agli algoritmi e programmi genetici. Schemi e teorema dello schema.
* CAL - Calcolabilita'
Architetture a mesh, ad ipercubo e piramidali. Simulazione Montecarlo. Metodi evolutivi. Misure di bontà e valutazione (speed-up, overhead).
• B - Algoritmi
TAA - Tecniche Algoritmiche Avanzate
Algoritmi classici in matlab: generazioni pseudocasuali, permutazioni, notazioni e visita ai grafi. Algoritmi e programmi genetici. Selezione (per grado, torneo, elitaria, casuale). rossover e mutazione (uniformi, a singolo taglio, a piu' tagli...) e loro protezione. Estensione a più di 52 bit. Parsing.
• M - Rappresentazione della conoscenza
* RP - Risoluzione di Problemi
Zeri e intersezioni di funzioni generiche, TSP, SAT, SPP.
* RP - Risoluzione di Problemi
Scheduling, fitting, inversione approssimata di matrici (anche non invertibili), generazione circuiti elettrici.

Sillabo dell'insegnamento

• F - Sistemi operativi
MA - Modelli e Architetture di sistemi operativi
Introduzione ai sistemi di elaborazione.
MA - Modelli e Architetture di sistemi operativi
Introduzione ai sistemi operativi: che cosa è un sistema operativo, cenni storici sui sistemi operativi, classificazione dei sistemi operativi, concetti base sui sistemi operativi, chiamate di sistema.
* GSP - Gestione e Sincronizzazione dei Processi
Processi e thread: Introduzione ai processi, Thread
* GSP - Gestione e Sincronizzazione dei Processi
Comunicazione tra processi, problemi di comunicazione tra processi, schedulazione tra processi. Problemi classici di comunicazione tra processi e soluzioni canoniche.
* GSP - Gestione e Sincronizzazione dei Processi
5. Deadlock: introduzione ai Deadlock, identificare e risolvere dei deadlock. Evitare i deadlock, prevenzione da Deadlock.
* GSP - Gestione e Sincronizzazione dei Processi
Applicazioni: Thread in Windows. Sincronizzazione threads in Windows.
* GM - Gestione della Memoria
Gestione della Memoria: sistemi di base per gestire della memoria. Swapping, memoria Virtuale.
* GM - Gestione della Memoria
Algoritmi di riposizionamento delle pagine, segmentazione
* GM - Gestione della Memoria
Applicazioni: Gestione Memoria. Processi in Windows
* FS - File System
Applicazioni: il File System in C.
* FS - File System
I livelli software dell'I/O, i Dischi, i Clock. I File System: i file, le directory, implementazione del File System.
* FS - File System
Input/output: principi dell'hardware e del software.

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.