ingegneria informatica

Fornire la capacita' di collegare tra loro ed esprimere con il linguaggio matematico adeguato gli argomenti di base dell'analisi matematica e di sviluppare modelli e metodi matematici per la comprensione, impostazione e risoluzione di problemi applicativi.
Con riferimento ai Descrittori di Dublino:
Conoscenza e Comprensione
cc1 - Conoscenza dei principi matematici, fisici e statistici alla base dell'ingegneria dell’informazione ed in particolare dell'ingegneria informatica.
Capacità di Applicare Conoscenza e Comprensione
ca1 - Capacità di scegliere e applicare appropriati metodi analitici e di modellazione, ed in particolare l'analisi matematica, la geometria, l'algebra lineare, la statistica, come strumento di risoluzione di problemi teorici e pratici applicativi in campo ingegneristico.
Autonomia di Giudizio
ag1 - Maturare la capacità di analizzare autonomamente il campo sotto studio, applicando i metodi e le conoscenze acquisiti durante il percorso formativo.
ag4 - Valutare criticamente i risultati ottenuti, applicando l’autonomia di giudizio per la stesura di elaborati e per il superamento delle prove d'esame.
Capacità di Comunicazione
ac1 - Sviluppare la capacità di comunicare in modo chiaro e strutturato, sia in forma scritta che orale, i risultati delle proprie attività, con un alto livello di rigore tecnico.
Capacità di Apprendimento
ap3 - Apprendere in modo guidato nella preparazione degli esami orali, nella redazione di elaborati analitici o progettuali, e nelle relazioni delle attività svolte.

Numeri reali.
Proprieta' algebriche e d'ordine dei numeri reali.
Estremo superiore, inferiore e assioma di continuita'.
Sintassi e linguaggio matematico.
La terminologia degli insiemi.
Logica elementare.
Funzioni e loro grafici.
Il calcolo differenziale in una variabile.
Problemi di ottimizzazione.
Integrale di Riemann e teorema fondamentale del calcolo.
Funzioni convesse.
Formula di Taylor.
Sviluppi asintotici.
EDO. Successioni e serie numeriche

Durante il corso sono previste alcune prove di verifica il cui superamento dà diritto a sostenere la sola prova di teoria. Per coloro che non superano le prove in itinere, o non le sostengono, la verifica finale è basata su una prova scritta di verifica delle competenze di calcolo acquisite, e una prova di conoscenza della teoria. Tali prove sono finalizzate a verificare le capacità di saper collegare tra loro ed esprimere con il linguaggio matematico adeguato gli argomenti trattati a lezione, lo sviluppo del ragionamento logico e la capacità di scegliere ed utilizzare i giusti strumenti matematici per la comprensione, risoluzione e sviluppo di problemi sia astratti che applicativi.
Tabella docimologica di valutazione
Insufficiente
Valutazione negativa dovuta a gravi errori concettuali, comprensione frammentaria o nulla degli argomenti trattati, incapacità di applicare le conoscenze, gravi lacune e mancanza di autonomia.
18–22
Valutazione sufficiente o più che sufficiente dovuta a conoscenza elementare degli argomenti, presenza di alcuni errori, capacità di affrontare solo compiti semplici o guidati, livello base di autonomia.
23–25
Valutazione discreta dovuta a comprensione soddisfacente degli argomenti, capacità di applicare correttamente le conoscenze a contesti noti e di affrontare gli esercizi in modo autonomo con qualche imprecisione, con un soddisfacente livello di autonomia e competenza operativa.
26–28
Valutazione buona o molto buona, dovuta a solida comprensione teorica della disciplina, capacità di collegare concetti, risolvere problemi e proporre analisi critiche, di svolgere compiti complessi in modo autonomo, preciso ed efficace, con un buon livello di autonomia e competenza operativa.
29–30 e Lode
Valutazione eccellente o ottima, dovuta a conoscenze complete, approfondite e ben strutturate, capacità di operare in modo autonomo e flessibile, anche in contesti complessi o nuovi, di utilizzare il linguaggio disciplinare in modo appropriato, preciso e articolato, di evidenziare capacità critiche, originalità e rigore nell’esposizione e nell’applicazione.
La Lode è attribuita a elaborati o prestazioni che si distinguono per brillantezza e originalità, anche al di là delle aspettative curricolari.

• Dispense del corso, disponibili liberamente sulla pagina moodle
  Si raccomanda inoltre la consultazione dei seguenti testi:
  Bramanti, Pagani, Salsa. "Analisi Matematica 1", Zanichelli
  Salsa, Squellati. "Esercizi di Analisi Matematica 1". Zanichelli
  o altri testi di base di Analisi Matematica 1, quali ad esempio:
  Giuseppe Anichini, Giuseppe Conti, Marco Spadini, "Analisi Matematica 1", Pearson
  Michiel Bertsch, Andrea Dall'Aglio, Lorenzo Giacomelli, "Epsilon 1. Primo corso di Analisi Matematica", McGraw-Hill Education
  Pierluigi Benevieri. "Esercizi di Analisi Matematica I", Citta' Studi Edizioni

Fornire conoscenze di base di Analisi Matematica: limiti, continuità, differenziabilità, integrazione. Sviluppare capacità logiche, argomentative, comunicative e di apprendimento autonomo.
Con riferimento ai Descrittori di Dublino:
Conoscenza e Comprensione
cc1 - Conoscenza dei principi matematici, fisici e statistici alla base dell'ingegneria dell’informazione ed in particolare dell'ingegneria informatica.
Capacità di Applicare Conoscenza e Comprensione
ca1 - Capacità di scegliere e applicare appropriati metodi analitici e di modellazione, ed in particolare l'analisi matematica, la geometria, l'algebra lineare, la statistica, come strumento di risoluzione di problemi teorici e pratici applicativi in campo ingegneristico.
Autonomia di Giudizio
ag1 - Maturare la capacità di analizzare autonomamente il campo sotto studio, applicando i metodi e le conoscenze acquisiti durante il percorso formativo.
ag4 - Valutare criticamente i risultati ottenuti, applicando l’autonomia di giudizio per la stesura di elaborati e per il superamento delle prove d'esame.
Capacità di Comunicazione
ac1 - Sviluppare la capacità di comunicare in modo chiaro e strutturato, sia in forma scritta che orale, i risultati delle proprie attività, con un alto livello di rigore tecnico.
Capacità di Apprendimento
ap3 - Apprendere in modo guidato nella preparazione degli esami orali, nella redazione di elaborati analitici o progettuali, e nelle relazioni delle attività svolte.

Logica, insiemi, funzioni. Funzioni reali di variabile reale: limiti, continuità, derivabilità,
integrale. Equazioni differenziali. Funzioni reali di due variabili: continuità, differenziabilità, massimi e minimi.

Esame finale con prova scritta e prova orale. Durante il corso sono previste 2 prove scritte di verifica, il cui superamento dà diritto a sostenere la sola prova orale.
Tabella docimologica di valutazione
Insufficiente
Valutazione negativa dovuta a gravi errori concettuali, comprensione frammentaria o nulla degli argomenti trattati, incapacità di applicare le conoscenze, gravi lacune e mancanza di autonomia.
18–22
Valutazione sufficiente o più che sufficiente dovuta a conoscenza elementare degli argomenti, presenza di alcuni errori, capacità di affrontare solo compiti semplici o guidati, livello base di autonomia.
23–25
Valutazione discreta dovuta a comprensione soddisfacente degli argomenti, capacità di applicare correttamente le conoscenze a contesti noti e di affrontare gli esercizi in modo autonomo con qualche imprecisione, con un soddisfacente livello di autonomia e competenza operativa.
26–28
Valutazione buona o molto buona, dovuta a solida comprensione teorica della disciplina, capacità di collegare concetti, risolvere problemi e proporre analisi critiche, di svolgere compiti complessi in modo autonomo, preciso ed efficace, con un buon livello di autonomia e competenza operativa.
29–30 e Lode
Valutazione eccellente o ottima, dovuta a conoscenze complete, approfondite e ben strutturate, capacità di operare in modo autonomo e flessibile, anche in contesti complessi o nuovi, di utilizzare il linguaggio disciplinare in modo appropriato, preciso e articolato, di evidenziare capacità critiche, originalità e rigore nell’esposizione e nell’applicazione.
La Lode è attribuita a elaborati o prestazioni che si distinguono per brillantezza e originalità, anche al di là delle aspettative curricolari.

1.Giuseppe Anichini, Giuseppe Conti, Marco Spadini, "Analisi Matematica 1", Pearson;
2.Bramanti, Pagani, Salsa. "Analisi Matematica 1", Zanichelli;
3.Marcellini, Sbordone, "Elementi di Analisi Matematica uno", Liguori editore, 2002;
4. Marcellini, Sbordone, "Esercitazioni di Matematica", primo volume, Liguori editore, 2013. (libro degli esercizi)

L’insegnamento introduce i concetti fondamentali della meccanica classica e della termodinamica, con particolare attenzione alla loro formalizzazione quantitativa e alla capacità di applicazione a problemi di interesse per le scienze chimiche.
Facendo riferimento ai Descrittori di Dublino e alla 3a matrice di tuning del CdS, al termine dell’insegnamento lo studente sarà in grado di…
CC – Conoscenza e capacità di comprensione:
descrivere i principi fondamentali della meccanica classica del punto materiale, dei sistemi e della termodinamica, utilizzando un linguaggio matematico e fisico appropriato; comprendere il significato fisico delle grandezze fondamentali (es. forza, energia, quantità di moto, entropia) (CC1).
CA – Capacità di applicare conoscenza e comprensione:
risolvere problemi quantitativi di meccanica classica e termodinamica di base mediante l’uso di modelli matematici (es. equazioni del moto, bilanci energetici, equazioni di stato); applicare le leggi fisiche a situazioni concrete e a semplici modelli rilevanti per la chimica (sistemi conservativi, urti, trasformazioni termodinamiche, gas ideali) (CA1, CA5).
AG – Autonomia di giudizio:
stimare ordini di grandezza e identificare le approssimazioni rilevanti nella descrizione di un sistema fisico; valutare la validità di un modello fisico in relazione alle ipotesi adottate e al contesto applicativo.
AC – Abilità comunicative:
esporre in modo chiaro e rigoroso i passaggi logici nella risoluzione di problemi fisici; utilizzare correttamente il lessico disciplinare e la notazione matematica nella comunicazione scritta e orale (AC1).
AP – Capacità di apprendimento:
integrare autonomamente conoscenze provenienti da testi ed eserciziari per approfondire gli argomenti trattati;
proseguire lo studio della fisica nei corsi successivi con adeguata autonomia metodologica (AP1).

Il corso è articolato nei seguenti moduli:
1) Grandezze fisiche e unità di misura
Sistemi di unità di misura
Errori e cifre significative
2) Meccanica classica del punto materiale
Cinematica in 1D, 2D, 3D
Dinamica newtoniana
Lavoro ed energia
Quantità di moto e urti
Oscillazioni e gravitazione
3) Meccanica dei sistemi
Centro di massa
Momento angolare
Corpo rigido
4) Termodinamica
Gas ideali e reali
Primo e secondo principio
Entropia e cicli termodinamici

L’esame è costituito da:
1) Prova scritta (obbligatoria)
Durata tipica: 3 ore
Contenuto:
esercizi numerici e problemi di meccanica e termodinamica;
brevi discussioni dei risultati e dei sistemi fisici considerati.
Obiettivo:
verificare la comprensione operativa dei concetti (CC), la relativa capacità di applicazione (CA) e l’autonomia di giudizio (AG) su uno specifico problema.
2) Prova orale (obbligatoria)
Colloquio sugli argomenti del corso.
Eventuale discussione della prova scritta.
Obiettivo:
Verificare conoscenza teorica (CC), chiarezza espositiva (AC), chiarezza concettuale e autonomia di ragionamento (AG).
Valutazione finale
Voto in trentesimi
La valutazione tiene conto congiuntamente di: correttezza e completezza delle soluzioni, capacità di collegamento tra concetti, chiarezza e rigore espositivo, conoscenza degli argomenti.
Criteri di valutazione (sintesi)
Insufficiente: gravi lacune teoriche e/o incapacità di risolvere problemi
18–22: conoscenze di base, semplici applicazioni guidate
23–25: applicazione corretta con alcune imprecisioni
26–28: buona padronanza e autonomia
29–30 e Lode: padronanza completa, rigore e capacità critiche.

I libri di testo consigliati sono da intendersi come mero riferimento. Essi hanno il valore di testi di consultazione, ma a lezione i docenti NON li seguiranno pedissequamente. In linea di principio sono opportuni tutti i testi di Fisica Generale I, i.e. aventi come argomento la meccanica classica, per le facoltà tecnico-scientifiche. Non sono adeguati i testi intesi per facoltà mediche.

• P. Mazzoldi, M. Nigro, C. Voci, “Fisica – Meccanica e Termodinamica” (III Ed.); Ed. EdiSES Università.
  Più snello nella trattazione dei vari argomenti.
  NB: la relativa raccolta di esercizi svolti rappresenta un ottimo eserciziario:
  E. Milani, M. Marinelli, G. Verona Rinati, C. Verona, “Meccanica e Termodinamica – Guida alla Soluzione degli Esercizi da Mazzoldi, Nigro, Voci – Fisica
  Mazzoldi, Nigro, Voci – Elementi di Fisica” Ed. EdiSES Università
• S. Focardi, I. Massa, A. Uguzzoni, M. Villa, “Fisica Generale – Meccanica e Termodinamica” (II Ed.); Casa Editrice Ambrosiana.
  Molto dettagliato nella trattazione dei vari argomenti
• D. Halliday, R. Resnick, J. Walker, “Fondamenti di Fisica - Meccanica, Termologia” (VI Ed.); Casa Editrice Ambrosiana.
  Presenta nei vari capitoli moltissimi esercizi svolti
• S. Rosati, “Fisica Generale 1 – Meccanica e Termodinamica” (II Ed.)”; Casa Editrice Ambrosiana.
  Molto valido nella parte di meccanica, impiega un approccio piuttosto “formale” ma molto generale
• Qualsiasi testo di fisica per CdL tecnico-scientifici, che tratti ad analogo livello gli argomenti riportati nel programma (con relativi esercizi).

Lo studente è chiamato ad acquisire le basi del metodo scientifico e le conoscenze di base della meccanica del punto materiale, dei sistemi di
punti materiali e delle nozioni principali di termodinamica. Alla fine di
questo percorso, lo studente sarà in grado di comprendere,
schematizzare e risolvere problemi nei campi della fisica trattati durante
il corso.
Con riferimento ai Descrittori di Dublino:
Conoscenza e Comprensione
cc1 - Conoscenza dei principi matematici, fisici e statistici alla base
dell'ingegneria dell’informazione ed in particolare dell'ingegneria
informatica.
Capacità di Applicare Conoscenza e Comprensione
ca2 - Capacità di scegliere e applicare appropriati metodi analitici e di
modellazione, ed in particolare la fisica, come strumento di risoluzione di
problemi teorici e pratici applicativi in campo ingegneristico.
Autonomia di Giudizio
ag1 - Maturare la capacità di analizzare autonomamente il campo sotto
studio, applicando i metodi e le conoscenze acquisiti durante il percorso
formativo.
ag2 - Sviluppare la capacità di raccogliere e interpretare informazioni
tecniche e scientifiche attraverso misure, esperimenti e analisi
statistiche.
ag4 - Valutare criticamente i risultati ottenuti, applicando l’autonomia
di giudizio per la stesura di elaborati e per il superamento delle prove
d'esame.
Capacità di Comunicazione
ac1 - Sviluppare la capacità di comunicare in modo chiaro e
strutturato, sia in forma scritta che orale, i risultati delle proprie attività,
con un alto livello di rigore tecnico.
Capacità di Apprendimento
ap3 - Apprendere in modo guidato nella preparazione degli esami orali,
nella redazione di elaborati analitici o progettuali, e nelle relazioni delle
attività svolte.

Grandezze fisiche e sistemi di unità di misura. Cinematica del punto
materiale. Dinamica del punto materiale: leggi di Newton, forze, lavoro ed
energia. Dinamica dei sistemi di punti materiali e dei sistemi rigidi. Leggi
di conservazione della meccanica. Gravitazione. Gas ideali. Primo
principio della termodinamica. Secondo principio della termodinamica.

L’esame consiste in una prova scritta ed una orale (7 appelli annuali
ordinari). Non sono previste prove in itinere. La prova scritta consiste
nella risoluzione di 3 problemi. Di questi, il primo concerne la dinamica
del punto materiale, il secondo i sistemi di punti materiali mentre il terzo
riguarda la termodinamica. La durata di questa prova è di 3 ore. Durate la
prova orale lo studente è chiamato ad esporre 2 o 3 argomenti. Verrà
valutata la capacità di descrivere e riprodurre dimostrazioni svolte
durante il corso, assieme allo svolgimento di semplici calcoli. Si valuterà
inoltre la padronanza della materia e la capacità di usare un linguaggio
appropriato per la disciplina. La prova orale si svolge alla lavagna e ha
una durata di 30 minuti circa.
Tabella docimologica di valutazione
Insufficiente
Valutazione negativa dovuta a gravi errori concettuali, comprensione
frammentaria o nulla degli argomenti trattati, incapacità di applicare le
conoscenze, gravi lacune e mancanza di autonomia.
18–22
Valutazione sufficiente o più che sufficiente dovuta a conoscenza
elementare degli argomenti, presenza di alcuni errori, capacità di
affrontare solo compiti semplici o guidati, livello base di autonomia.
23–25
Valutazione discreta dovuta a comprensione soddisfacente degli
argomenti, capacità di applicare correttamente le conoscenze a contesti
noti e di affrontare gli esercizi in modo autonomo con qualche
imprecisione, con un soddisfacente livello di autonomia e competenza
operativa.
26–28
Valutazione buona o molto buona, dovuta a solida comprensione teorica
della disciplina, capacità di collegare concetti, risolvere problemi e
proporre analisi critiche, di svolgere compiti complessi in modo
autonomo, preciso ed efficace, con un buon livello di autonomia e
competenza operativa.
29–30 e Lode
Valutazione eccellente o ottima, dovuta a conoscenze complete, capacità critiche, originalità e rigore nell’esposizione e nell’applicazione.
La Lode è attribuita a elaborati o prestazioni che si distinguono per
brillantezza e originalità, anche al di là delle aspettative curricolari.
approfondite e ben strutturate, capacità di operare in modo autonomo e
flessibile, anche in contesti complessi o nuovi, di utilizzare il linguaggio
disciplinare in modo appropriato, preciso e articolato, di evidenziare capacità critiche, originalità e rigore nell’esposizione e nell’applicazione.
La Lode è attribuita a elaborati o prestazioni che si distinguono per
brillantezza e originalità, anche al di là delle aspettative curricolari.

Testo di riferimento:
-P. Mazzoldi, M. Nigro, C. Voci, Elementi di fisica: meccanica e
termodinamica, III edizione
Altri testi altrettanto validi:
-C. Mencuccini, V. Silvestrini, Fisica Meccanica e Termodinamica
-D. Sette, A. Alippi, A. Bettucci, Lezioni di Fisica 1 (Meccanica e
Termodinamica)
-Focardi, Massa, Uguzzoni, Villa, Fisica Generale
-E. Fermi, Termodinamica (capitoli 1-4)

L'obiettivo del corso è quello di fornire le conoscenze teoriche e pratiche fondamentali per la programmazione C:

• Conoscenza della rappresentazione di basso livello delle informazioni, dell'architettura di base dei processori e del processo di compilazione.
• Conoscenza della sintassi e della semantica del linguaggio C per lo sviluppo di programmi strutturati.
• Conoscenza delle strutture dati elementari e dei paradigmi di programmazione iterativa e ricorsiva.
• Conoscenza dei principali algoritmi elementari di ricerca e ordinamento e dei metodi per la valutazione della complessità computazionale.
  Al termine del corso lo studente conoscerà i fondamenti dell'architettura dei calcolatori, le tecniche di programmazione in linguaggio C, e algoritmi elementari di ricerca e ordinamento, e sarà in grado di comprendere ed applicare tali metodi per risolvere problemi concreti tramite la scrittura di programmi corretti e funzionanti.
  Con riferimento ai Descrittori di Dublino:
  Conoscenza e Comprensione
  cc7 - La conoscenza dei fondamenti dell'informatica e dell'approccio algoritmico alla risoluzione dei problemi.
  cc8 - Conoscenza dell’architettura di un calcolatore e di un sistema operativo.
  cc9 - Conoscenza di metodologie e strumenti per la programmazione procedurale ed a oggetti.
  Capacità di Applicare Conoscenza e Comprensione
  ca7 - La capacità di tradurre in semplici codici informatici problemi informativi o numerici.
  Autonomia di Giudizio
  ag1 - Maturare la capacità di analizzare autonomamente il campo sotto studio, applicando i metodi e le conoscenze acquisiti durante il percorso formativo.
  ag4 - Valutare criticamente i risultati ottenuti, applicando l’autonomia di giudizio per la stesura di elaborati e per il superamento delle prove d'esame.
  Capacità di Comunicazione
  ac1 - Sviluppare la capacità di comunicare in modo chiaro e strutturato, sia in forma scritta che orale, i risultati delle proprie attività, con un alto livello di rigore tecnico.
  Capacità di Apprendimento
  ap3 - Apprendere in modo guidato nella preparazione degli esami orali, nella redazione di elaborati analitici o progettuali, e nelle relazioni delle attività svolte.

Acquisire le conoscenze di base per la programmazione object oriented e uso di design pattern di base.
Gli studenti saranno in grado di programmare secondo le tecniche object oriented in C++, avranno una conoscenza di base di meccanismi di analisi e programmazione object oriented. Verranno acquisite conoscenze relativi a pattern di progettazione del software.
Con riferimento ai Descrittori di Dublino:
Conoscenza e Comprensione
cc9 - Conoscenza di metodologie e strumenti per la programmazione procedurale ed a oggetti.
Capacità di Applicare Conoscenza e Comprensione
ca7 - La capacità di tradurre in semplici codici informatici problemi informativi o numerici.
ca8 - Capacità di progetto di semplici architetture software per la soluzione di problemi.
Autonomia di Giudizio
ag1 - Maturare la capacità di analizzare autonomamente il campo sotto studio, applicando i metodi e le conoscenze acquisiti durante il percorso formativo.
ag4 - Valutare criticamente i risultati ottenuti, applicando l’autonomia di giudizio per la stesura di elaborati e per il superamento delle prove d'esame.
Capacità di Comunicazione
ac1 - Sviluppare la capacità di comunicare in modo chiaro e strutturato, sia in forma scritta che orale, i risultati delle proprie attività, con un alto livello di rigore tecnico.
Capacità di Apprendimento
ap3 - Apprendere in modo guidato nella preparazione degli esami orali, nella redazione di elaborati analitici o progettuali, e nelle relazioni delle attività svolte.

Definizione ed uso del linguaggio C. Sviluppo di algoritmi, anche di elevata complessità nel livello della programmazione, seppure con minore complessità nella struttura delle funzioni.
Comprensione del rapporto tra linguaggio C e suo ambiente di esecuzione, natura del processo di compilazione, link e assemblaggio, principi di funzionamento di un processore.

Programmazione object oriented, C++, basi di ingegneria del software

L'esame si compone di una prova scritta ed una orale.
La prova scritta consiste in alcuni esercizi di programmazione relativi alla realizzazione di funzioni C che risolvono specifici problemi. Altri esercizi possono comprendere la grammatica e semantica del C. Per accedere alla prova orale, oltre a riportare una complessiva valutazione positiva, il candidato deve realizzare il programma corretto e funzionante di uno degli esercizi della prova scritta. Il programma deve essere autocontenuto e deve poter essere compilato ed eseguito. La prova scritta è svolta su carta. Dopo la conclusione, i testi assegnati nelle prove scritte e le loro soluzioni sono resi disponibili in all’interno della piattaforma Moodle.
La prova orale inizia con la discussione dell'elaborato e della prova scritta, e prosegue con l'approfondimento di tutti i contenuti del corso.
Durante il corso sono svolte anche due prove in itinere che, se superate, sostituiscono la prova scritta: la prima si svolge a metà/fine Novembre, la seconda ad inizio Gennaio.
L'esame è volto ad accertare le competenze teoriche e pratiche acquisite sugli argomenti del corso:
1. CONOSCENZA E COMPRENSIONE
1.1 Conoscenza e comprensione dei concetti di base dell'informatica e delle principali funzionalità di un sistema informatico di base.
1.2 Conoscenza e comprensione dei metodi generali di studio di un linguaggio di programmazione, dell'approccio algoritmico alla risoluzione dei problemi, e dei metodi generali di ragionamento nella progettazione di strutture dati e algoritmi.
1.3 Conoscenza e comprensione del linguaggio c.
1.4 Conoscenza e comprensione della struttura e dei principi di funzionamento di un calcolatore, del rapporto tra il linguaggio c e il suo ambiente di esecuzione, e del processo di compilazione, assemblaggio e collegamento.
1.5 Capacità avanzata nella progettazione e nello sviluppo in linguaggio c di strutture dati e algoritmi.
1.6 Capacità di formalizzare il problema della complessità di un algoritmo.
1.7 Capacità di formalizzare il concetto di correttezza di un algoritmo.
1.8 Capacità di sviluppare, effettuare il debug ed applicare algoritmi di base a casi di interesse ingegneristico per risolvere problemi informativi o numerici.
2. CAPACITA' DI APPLICARE CONOSCENZA E COMPRENSIONE
2.1 Capacità di applicare le conoscenze acquisite allo scopo di risolvere problemi di programmazione c.
2.2 Capacità di applicare le conoscenze acquisite allo scopo di risolvere quesiti elementari sulla rappresentazione di basso livello.
3. AUTONOMIA DI GIUDIZIO
3.1 Capacità di verificare il proprio grado di apprendimento e comprensione dei concetti esposti durante il corso.
3.2 Capacità di valutare soluzioni a problemi di programmazione c.
4. ABILITA' COMUNICATIVE
4.1 Capacità di esprimere le proprie conoscenze in modo corretto e logico.
4.2 Capacità di presentare le proprie conoscenze con un linguaggio tecnico appropriato.
5. CAPACITA' DI APPRENDIMENTO
5.1 Capacità di provvedere autonomamente allo studio di nuovi linguaggi di programmazione.
Tabella docimologica di valutazione
Insufficiente
Valutazione negativa dovuta a gravi errori concettuali, comprensione frammentaria o nulla degli argomenti trattati, incapacità di applicare le conoscenze, gravi lacune e mancanza di autonomia.
18–22
Valutazione sufficiente o più che sufficiente dovuta a conoscenza elementare degli argomenti, presenza di alcuni errori, capacità di affrontare solo compiti semplici o guidati, livello base di autonomia.
23–25
Valutazione discreta dovuta a comprensione soddisfacente degli argomenti, capacità di applicare correttamente le conoscenze a contesti noti e di affrontare gli esercizi in modo autonomo con qualche imprecisione, con un soddisfacente livello di autonomia e competenza operativa.
26–28
Valutazione buona o molto buona, dovuta a solida comprensione teorica della disciplina, capacità di collegare concetti, risolvere problemi e proporre analisi critiche, di svolgere compiti complessi in modo autonomo, preciso ed efficace, con un buon livello di autonomia e competenza operativa.
29–30 e Lode
Valutazione eccellente o ottima, dovuta a conoscenze complete, approfondite e ben strutturate, capacità di operare in modo autonomo e flessibile, anche in contesti complessi o nuovi, di utilizzare il linguaggio disciplinare in modo appropriato, preciso e articolato, di evidenziare capacità critiche, originalità e rigore nell’esposizione e nell’applicazione.
La Lode è attribuita a elaborati o prestazioni che si distinguono per brillantezza e originalità, anche al di là delle aspettative curricolari.

L'esame si compone di una prova scritta ed una orale.
La prova scritta consiste in alcuni esercizi di programmazione relativi alla realizzazione di funzioni C che risolvono specifici problemi. Altri esercizi possono comprendere la grammatica e semantica del C. Per accedere alla prova orale, oltre a riportare una complessiva valutazione positiva, il candidato deve realizzare il programma corretto e funzionante di uno degli esercizi della prova scritta. Il programma deve essere autocontenuto e deve poter essere compilato ed eseguito. La prova scritta è svolta su carta. Dopo la conclusione, i testi assegnati nelle prove scritte e le loro soluzioni sono resi disponibili in all’interno della piattaforma Moodle.
La prova orale inizia con la discussione dell'elaborato e della prova scritta, e prosegue con l'approfondimento di tutti i contenuti del corso.
Durante il corso sono svolte anche due prove in itinere che, se superate, sostituiscono la prova scritta: la prima si svolge a metà/fine novembre, la seconda ad inizio gennaio.
L'esame è volto ad accertare le competenze teoriche e pratiche acquisite sugli argomenti del corso:
1. CONOSCENZA E COMPRENSIONE
1.1 Conoscenza e comprensione dei concetti di base dell'informatica e delle principali funzionalità di un sistema informatico di base.
1.2 Conoscenza e comprensione dei metodi generali di studio di un linguaggio di programmazione, dell'approccio algoritmico alla risoluzione dei problemi, e dei metodi generali di ragionamento nella progettazione di strutture dati e algoritmi.
1.3 Conoscenza e comprensione del linguaggio c.
1.4 Conoscenza e comprensione della struttura e dei principi di funzionamento di un calcolatore, del rapporto tra il linguaggio c e il suo ambiente di esecuzione, e del processo di compilazione, assemblaggio e collegamento.
1.5 Capacità avanzata nella progettazione e nello sviluppo in linguaggio c di strutture dati e algoritmi.
1.6 Capacità di formalizzare il problema della complessità di un algoritmo.
1.7 Capacità di formalizzare il concetto di correttezza di un algoritmo.
1.8 Capacità di sviluppare, effettuare il debug ed applicare algoritmi di base a casi di interesse ingegneristico per risolvere problemi informativi o numerici.
2. CAPACITA' DI APPLICARE CONOSCENZA E COMPRENSIONE
2.1 Capacità di applicare le conoscenze acquisite allo scopo di risolvere problemi di programmazione c.
2.2 Capacità di applicare le conoscenze acquisite allo scopo di risolvere quesiti elementari sulla rappresentazione di basso livello.
3. AUTONOMIA DI GIUDIZIO
3.1 Capacità di verificare il proprio grado di apprendimento e comprensione dei concetti esposti durante il corso.
3.2 Capacità di valutare soluzioni a problemi di programmazione c.
4. ABILITA' COMUNICATIVE
4.1 Capacità di esprimere le proprie conoscenze in modo corretto e logico.
4.2 Capacità di presentare le proprie conoscenze con un linguaggio tecnico appropriato.
5. CAPACITA' DI APPRENDIMENTO
5.1 Capacità di provvedere autonomamente allo studio di nuovi linguaggi di programmazione.

La modalità per la verifica dell'apprendimento medianti le quali si verifica:

• la conoscenza dei costrutti base del linguaggio C++
• la conoscenza dei concetti di base della programmazione object oriented
• la capacità di disegnare classi e metodi
• la capacità di applicare design pattern di base alla progettazione di classi
  consiste in:
  Esame scritto ed orale:
  L'esame scritto consiste di una serie di 3-4 domande su gli aspetti teorici di tutti gli argomenti del corso e di 2-4 domande relative a brevi problemi di programmazione. L'esame orale consiste di domande relative agli argomenti del compito scritto e su argomenti correlati.
  E' prevista una prova intermedia per la valutazione della conoscenza del C++, che può sostituire in caso di valutazione positiva le domande di teoria del compito.
  Tabella docimologica di valutazione
  Insufficiente
  Valutazione negativa dovuta a gravi errori concettuali, comprensione frammentaria o nulla degli argomenti trattati, incapacità di applicare le conoscenze, gravi lacune e mancanza di autonomia.
  18–22
  Valutazione sufficiente o più che sufficiente dovuta a conoscenza elementare degli argomenti, presenza di alcuni errori, capacità di affrontare solo compiti semplici o guidati, livello base di autonomia.
  23–25
  Valutazione discreta dovuta a comprensione soddisfacente degli argomenti, capacità di applicare correttamente le conoscenze a contesti noti e di affrontare gli esercizi in modo autonomo con qualche imprecisione, con un soddisfacente livello di autonomia e competenza operativa.
  26–28
  Valutazione buona o molto buona, dovuta a solida comprensione teorica della disciplina, capacità di collegare concetti, risolvere problemi e proporre analisi critiche, di svolgere compiti complessi in modo autonomo, preciso ed efficace, con un buon livello di autonomia e competenza operativa.
  29–30 e Lode
  Valutazione eccellente o ottima, dovuta a conoscenze complete, approfondite e ben strutturate, capacità di operare in modo autonomo e flessibile, anche in contesti complessi o nuovi, di utilizzare il linguaggio disciplinare in modo appropriato, preciso e articolato, di evidenziare capacità critiche, originalità e rigore nell’esposizione e nell’applicazione.
  La Lode è attribuita a elaborati o prestazioni che si distinguono per brillantezza e originalità, anche al di là delle aspettative curricolari.

Stefano Berretti, Laura Carnevali, Enrico Vicario, "Fondamenti di Programmazione, linguaggio c, strutture dati e algoritmi elementari, c++," Editrice Esculapio, Bologna, edizione giugno 2018. Il codice C di diversi esempi svolti a lezione è a disposizione alla pagina del corso su moodle. Controlla la bibliografia su onesearch (https://onesearch.unifi.it/). Per aiuto contatta la tua biblioteca (https://unifi.libanswers.com/).

Stefano Berretti, Laura Carnevali, Enrico Vicario, "Fondamenti di Programmazione, linguaggio c, strutture dati e algoritmi elementari, c++," Editrice Esculapio, Bologna, edizione giugno 2018. Il codice C di diversi esempi svolti a lezione è a disposizione alla pagina del corso su moodle.

M. Bertini, "Programmazione object-oriented in C++. Design pattern e introduzione alle buone pratiche di programmazione", Editrice Esculapio
E. Vicario, "Fondamenti di programmazione. Linguaggio C, strutture dati, algoritmi elementari, C++", Editrice Esculapio
D.S. Malik, "Programmazione in C++", Apogeo
L.J. Aguilar, "Fondamenti di programmazione in C++", McGraw-Hill
B. Eckel, "Thinking in C++", disponibile gratuitamente (in versione HTML) su: http://www.mindview.net/Books/DownloadSites
Gamma, Helm, Johnson, Vlissides, "Design patterns", Pearson Education
Materiale (lucidi e link aggiuntivi) presente sul sito web del corso (http://www.micc.unifi.it/bertini/).

Il corso intende fornire conoscenze di matematica a livello universitario e competenze di algebra lineare e geometria euclidea. Il corso mira a sviluppare le capacità logico-deduttive e operative, consentendo un uso strumentale della geometria euclidea e dell’algebra lineare in campo ingegneristico e più in generale tecnologico e scientifico.
Con riferimento ai Descrittori di Dublino:
Conoscenza e Comprensione
cc1 - Conoscenza dei principi matematici, fisici e statistici alla base dell'ingegneria
dell’informazione ed in particolare dell'ingegneria informatica.
Capacità di Applicare Conoscenza e Comprensione
ca1 - Capacità di scegliere e applicare appropriati metodi analitici e di modellazione, ed in
particolare l'analisi matematica, la geometria, l'algebra lineare, la statistica, come strumento
di risoluzione di problemi teorici e pratici applicativi in campo ingegneristico.
Autonomia di Giudizio
ag1 - Maturare la capacità di analizzare autonomamente il campo sotto studio, applicando
i metodi e le conoscenze acquisiti durante il percorso formativo.
ag4 - Valutare criticamente i risultati ottenuti, applicando l’autonomia di giudizio per la
stesura di elaborati e per il superamento delle prove d'esame.
Capacità di Comunicazione
ac1 - Sviluppare la capacità di comunicare in modo chiaro e strutturato, sia in forma
scritta che orale, i risultati delle proprie attività, con un alto livello di rigore tecnico.
Capacità di Apprendimento
ap3 - Apprendere in modo guidato nella preparazione degli esami orali, nella redazione di
elaborati analitici o progettuali, e nelle relazioni delle attività svolte.

Con riferimento ai Descrittori di Dublino:
Conoscenza e Comprensione
cc1 - Conoscenza dei principi matematici, fisici e statistici alla base dell'ingegneria dell’informazione ed in particolare dell'ingegneria informatica.
cc2 - Conoscenza dei metodi matematici e statistici per l’ottimizzazione e l’analisi dei dati.
cc7 - La conoscenza dei fondamenti dell'informatica e dell'approccio algoritmico alla risoluzione dei problemi.
Capacità di Applicare Conoscenza e Comprensione
ca1 - Capacità di scegliere e applicare appropriati metodi analitici e di modellazione, ed in particolare l'analisi matematica, la geometria, l'algebra lineare, la statistica, come strumento di risoluzione di problemi teorici e pratici applicativi in campo ingegneristico.
ca7 - La capacità di tradurre in semplici codici informatici problemi informativi o numerici.
Autonomia di Giudizio
ag1 - Maturare la capacità di analizzare autonomamente il campo sotto studio, applicando i metodi e le conoscenze acquisiti durante il percorso formativo.
ag4 - Valutare criticamente i risultati ottenuti, applicando l’autonomia di giudizio per la stesura di elaborati e per il superamento delle prove d'esame.
Capacità di Comunicazione
ac1 - Sviluppare la capacità di comunicare in modo chiaro e strutturato, sia in forma scritta che orale, i risultati delle proprie attività, con un alto livello di rigore tecnico.
Capacità di Apprendimento
ap3 - Apprendere in modo guidato nella preparazione degli esami orali, nella redazione di elaborati analitici o progettuali, e nelle relazioni delle attività svolte.

Spazio euclideo e vettori. Sistemi lineari. Algebra delle matrici. Spazi vettoriali e applicazioni lineari. Determinante. Autovalori e autovettori. Spazi euclidei. Teoremi spettrali e forme quadratiche.

Algoritmi. Aritmetica di precisione finita. Condizionamento di un problema e stabilita' di un algoritmo. Metodi diretti per sistemi lineari algebrici. Metodi iterativi ed algoritmi per il calcolo degli zeri di una funzione scalare.
Interpolazione polinomiale. Interpolazione mediante funzioni splines. Migliore approssimazione ai minimi quadrati. Formule di quadratura.
MATLAB: comandi base ed elementi di programmazione

Esame finale con prova scritta e prova orale, al fine di valutare l'apprendimento delle nozioni di base di geometria euclidea e algebra lineare nonché la capacità di utilizzarle per risolvere problemi geometrici di base.
Tabella docimologica di valutazione
Insufficiente
Valutazione negativa dovuta a gravi errori concettuali, comprensione frammentaria o nulla degli argomenti trattati, incapacità di applicare le conoscenze, gravi lacune e mancanza di autonomia.
18–22
Valutazione sufficiente o più che sufficiente dovuta a conoscenza elementare degli argomenti, presenza di alcuni errori, capacità di affrontare solo compiti semplici o guidati, livello base di autonomia.
23–25
Valutazione discreta dovuta a comprensione soddisfacente degli argomenti, capacità di applicare correttamente le conoscenze a contesti noti e di affrontare gli esercizi in modo autonomo con qualche imprecisione, con un soddisfacente livello di autonomia e competenza operativa.
26–28
Valutazione buona o molto buona, dovuta a solida comprensione teorica della disciplina, capacità di collegare concetti, risolvere problemi e proporre analisi critiche, di svolgere compiti complessi in modo autonomo, preciso ed efficace, con un buon livello di autonomia e competenza operativa.
29–30 e Lode
Valutazione eccellente o ottima, dovuta a conoscenze complete, approfondite e ben strutturate, capacità di operare in modo autonomo e flessibile, anche in contesti complessi o nuovi, di utilizzare il linguaggio disciplinare in modo appropriato, preciso e articolato, di evidenziare capacità critiche, originalità e rigore nell’esposizione e nell’applicazione.
La Lode è attribuita a elaborati o prestazioni che si distinguono per brillantezza e originalità, anche al di là delle aspettative curricolari.

Per ognuno dei sette appelli annui, la verifica dell'apprendimento prevede una prova scritta ed una prova orale. Il/la docente può non richiedere lo svolgimento della prova orale, che resta comunque facoltativa per lo/la studente/essa.
Possono partecipare alla prova scritta gli/le studenti/essa che hanno superato il modulo Geometria ed Algebra Lineare.
La prova scritta consiste in esercizi su problemi trattati nel corso (aritmetica finita, risoluzione numerica di sistemi lineari ed equazioni non lineari, interpolazione e approssimazione di dati, integrazione numerica) e la scrittura di una function Matlab. Ad ogni quesito è assegnato un punteggio, per un totale di 30/30. Durante la prova è consentito l'utilizzo della calcolatrice, mentre non è consentito consultare libri, dispense, appunti. La prova orale consiste sia nella discussione della prova scritta che nell'esposizione degli argomenti trattati nel corso. Si accede alla prova orale se il voto della prova scritta è maggiore o uguale a 18/30.
Tabella docimologica di valutazione
Insufficiente
Valutazione negativa dovuta a gravi errori concettuali, comprensione frammentaria o nulla degli argomenti trattati, incapacità di applicare le conoscenze, gravi lacune e mancanza di autonomia.
18–22
Valutazione sufficiente o più che sufficiente dovuta a conoscenza elementare degli argomenti, presenza di alcuni errori, capacità di affrontare solo compiti semplici o guidati, livello base di autonomia.
23–25
Valutazione discreta dovuta a comprensione soddisfacente degli argomenti, capacità di applicare correttamente le conoscenze a contesti noti e di affrontare gli esercizi in modo autonomo con qualche imprecisione, con un soddisfacente livello di autonomia e competenza operativa.
26–28
Valutazione buona o molto buona, dovuta a solida comprensione teorica della disciplina, capacità di collegare concetti, risolvere problemi e proporre analisi critiche, di svolgere compiti complessi in modo autonomo, preciso ed efficace, con un buon livello di autonomia e competenza operativa.
29–30 e Lode
Valutazione eccellente o ottima, dovuta a conoscenze complete, approfondite e ben strutturate, capacità di operare in modo autonomo e flessibile, anche in contesti complessi o nuovi, di utilizzare il linguaggio disciplinare in modo appropriato, preciso e articolato, di evidenziare capacità critiche, originalità e rigore nell’esposizione e nell’applicazione.
La Lode è attribuita a elaborati o prestazioni che si distinguono per brillantezza e originalità, anche al di là delle aspettative curricolari.

Enrico Schlesinger, "Algebra Lineare e Geometria", Zanichelli, 2017.
Bruno Martelli, "Algebra lineare",
2025

M.G. Gasparo, R. Morandi: "Elementi di calcolo Numerico: metodi ed algoritmi", Mc-Graw Hill, 2008.
A. Mazzia,
Laboratorio di calcolo numerico. Applicazioni con Matlab e Octave.
Ed. Pearson
W. Palm III : Matlab7 per l'Ingegneria e le scienze. Mc-Graw Hill, 2005.

Acquisire le conoscenze di base per la programmazione object oriented e uso di design pattern di base.
Gli studenti saranno in grado di programmare secondo le tecniche object oriented in C++, avranno una conoscenza di base di meccanismi di analisi e programmazione object oriented. Verranno acquisite conoscenze relativi a pattern di progettazione del software.
Con riferimento ai Descrittori di Dublino:
Conoscenza e Comprensione
cc9 - Conoscenza di metodologie e strumenti per la programmazione procedurale ed a oggetti.
Capacità di Applicare Conoscenza e Comprensione
ca7 - La capacità di tradurre in semplici codici informatici problemi informativi o numerici.
ca8 - Capacità di progetto di semplici architetture software per la soluzione di problemi.
Autonomia di Giudizio
ag1 - Maturare la capacità di analizzare autonomamente il campo sotto studio, applicando i metodi e le conoscenze acquisiti durante il percorso formativo.
ag4 - Valutare criticamente i risultati ottenuti, applicando l’autonomia di giudizio per la stesura di elaborati e per il superamento delle prove d'esame.
Capacità di Comunicazione
ac1 - Sviluppare la capacità di comunicare in modo chiaro e strutturato, sia in forma scritta che orale, i risultati delle proprie attività, con un alto livello di rigore tecnico.
Capacità di Apprendimento
ap3 - Apprendere in modo guidato nella preparazione degli esami orali, nella redazione di elaborati analitici o progettuali, e nelle relazioni delle attività svolte.

Programmazione object oriented, C++, basi di ingegneria del software

La modalità per la verifica dell'apprendimento medianti le quali si verifica:

• la conoscenza dei costrutti base del linguaggio C++
• la conoscenza dei concetti di base della programmazione object oriented
• la capacità di disegnare classi e metodi
• la capacità di applicare design pattern di base alla progettazione di classi
  consiste in:
  Esame scritto ed orale:
  L'esame scritto consiste di una serie di 3-4 domande su gli aspetti teorici di tutti gli argomenti del corso e di 2-4 domande relative a brevi problemi di programmazione. L'esame orale consiste di domande relative agli argomenti del compito scritto e su argomenti correlati.
  E' prevista una prova intermedia per la valutazione della conoscenza del C++, che può sostituire in caso di valutazione positiva le domande di teoria del compito.
  Tabella docimologica di valutazione
  Insufficiente
  Valutazione negativa dovuta a gravi errori concettuali, comprensione frammentaria o nulla degli argomenti trattati, incapacità di applicare le conoscenze, gravi lacune e mancanza di autonomia.
  18–22
  Valutazione sufficiente o più che sufficiente dovuta a conoscenza elementare degli argomenti, presenza di alcuni errori, capacità di affrontare solo compiti semplici o guidati, livello base di autonomia.
  23–25
  Valutazione discreta dovuta a comprensione soddisfacente degli argomenti, capacità di applicare correttamente le conoscenze a contesti noti e di affrontare gli esercizi in modo autonomo con qualche imprecisione, con un soddisfacente livello di autonomia e competenza operativa.
  26–28
  Valutazione buona o molto buona, dovuta a solida comprensione teorica della disciplina, capacità di collegare concetti, risolvere problemi e proporre analisi critiche, di svolgere compiti complessi in modo autonomo, preciso ed efficace, con un buon livello di autonomia e competenza operativa.
  29–30 e Lode
  Valutazione eccellente o ottima, dovuta a conoscenze complete, approfondite e ben strutturate, capacità di operare in modo autonomo e flessibile, anche in contesti complessi o nuovi, di utilizzare il linguaggio disciplinare in modo appropriato, preciso e articolato, di evidenziare capacità critiche, originalità e rigore nell’esposizione e nell’applicazione.
  La Lode è attribuita a elaborati o prestazioni che si distinguono per brillantezza e originalità, anche al di là delle aspettative curricolari.

M. Bertini, "Programmazione object-oriented in C++. Design pattern e introduzione alle buone pratiche di programmazione", Editrice Esculapio
E. Vicario, "Fondamenti di programmazione. Linguaggio C, strutture dati, algoritmi elementari, C++", Editrice Esculapio
D.S. Malik, "Programmazione in C++", Apogeo
L.J. Aguilar, "Fondamenti di programmazione in C++", McGraw-Hill
B. Eckel, "Thinking in C++", disponibile gratuitamente (in versione HTML) su: http://www.mindview.net/Books/DownloadSites
Gamma, Helm, Johnson, Vlissides, "Design patterns", Pearson Education
Materiale (lucidi e link aggiuntivi) presente sul sito web del corso (http://www.micc.unifi.it/bertini/).

Con riferimento ai Descrittori di Dublino:
Conoscenza e Comprensione
cc1 - Conoscenza dei principi matematici, fisici e statistici alla base dell'ingegneria dell’informazione ed in particolare dell'ingegneria informatica.
cc3 - Conoscenze metodologiche sul funzionamento di circuiti elettrici ed elettronici resistivi e dinamici, anche in presenza di componenti attivi.
Capacità di Applicare Conoscenza e Comprensione
ca3 - Capacità di progettare e realizzare semplici circuiti elettrici.
Autonomia di Giudizio
ag1 - Maturare la capacità di analizzare autonomamente il campo sotto studio, applicando i metodi e le conoscenze acquisiti durante il percorso formativo.
ag4 - Valutare criticamente i risultati ottenuti, applicando l’autonomia di giudizio per la stesura di elaborati e per il superamento delle prove d'esame.
Capacità di Comunicazione
ac1 - Sviluppare la capacità di comunicare in modo chiaro e strutturato, sia in forma scritta che orale, i risultati delle proprie attività, con un alto livello di rigore tecnico.
Capacità di Apprendimento
ap3 - Apprendere in modo guidato nella preparazione degli esami orali, nella redazione di elaborati analitici o progettuali, e nelle relazioni delle attività svolte.

Grandezze elettriche fondamentali. La Teoria dei Circuiti e le Leggi di Kirchhoff. Metodi generali di analisi. Studio dei transitori. Metodo dei fasori. Potenza elettrica. Studio dei circuiti nel dominio della frequenza. Impedenza. Funzioni di rete. Amplificatori operazionali. Parametri equivalenti di reti due porte. Filtri passivi e attivi. Simulatori circuitali.

Durante il corso si svolgono due prove intermedie. Chi ottiene due voti entrambi sufficienti e un voto medio risultante ≥21 e ≤ 25 può decidere di verbalizzare questo voto. Il voto non deve essere per forza registrato nella prima sessione utile; chi fosse incerto se presentarsi all’orale ugualmente per migliorare un voto sufficiente ma non soddisfacente può aspettare a verbalizzare. Naturalmente presentarsi all'orale annulla la possibilità di verbalizzare il voto medio dei compitini.
Chi ha ottenuto la sufficienza in una delle due prove, oppure due insufficienze con una media ≥15, può accedere direttamente all’orale, in una qualsiasi sessione entro un anno accademico (le 7 sessioni successive), previa iscrizione sulla lista orale;
Chi ha ottenuto un voto medio pari a 18, 19 o 20 deve accedere ad una breve prova orale, in una qualsiasi sessione successiva, scegliendo fra un breve orale "confermativo", o un orale più esteso con la possibilità di incrementarlo;
Chi ha ottenuto un voto medio superiore a 20, ma con una delle due prove insufficienti (per es. 16 e 28, quindi 22) può accedere, in una qualsiasi sessione successiva, all'orale "confermativo" per il voto 20, oppure nuovamente a un orale più esteso con la possibilità di incrementare il voto;
Chi ha ottenuto un voto medio pari a 26, 27, 28, 29 o 30 ha due opzioni: 1. Accedere ad una prova orale, in una qualsiasi sessione successiva, per confermare tale voto o possibilmente incrementarlo; 2. Decidere di verbalizzare il voto 25 senza accedere all’orale.
Chi non si trovi in una delle condizioni descritte in precedenza, deve sostenere il test scritto, superarlo con voto ≥18, e sostenere l’orale nella sessione stessa, o in una qualunque sessione successiva, entro un A.A. dal superamento del test scritto (entro i 7 appelli successivi). Occorre in questo caso iscriversi ad entrambe le liste, quella per lo scritto e quella per l’orale.
La prova orale verte su tutto il programma (ovvero non è possibile sostenere l'orale solo sulla parte del programma relativa ai compitini insufficienti).
L'esame mira a verificare, attraverso esercizi con svolgimento dettagliato, domande teoriche, esercizi brevi, discussioni critiche col docente (all'orale):

• la conoscenza delle metodologie principali per l'analisi e la comprensione del funzionamento dei circuiti elettrici;
• la capacità di usare in modo appropriato la terminologia della disciplina;
• la capacità di comprendere la letteratura relativa all'analisi e al funzionamento di circuiti elettrici;
• la capacità di acquisire gli strumenti metodologici per proseguire gli studi e provvedere autonomamente al proprio aggiornamento.
  Tabella docimologica di valutazione
  Insufficiente
  Valutazione negativa dovuta a gravi errori concettuali, comprensione frammentaria o nulla degli argomenti trattati, incapacità di applicare le conoscenze, gravi lacune e mancanza di autonomia.
  18–22
  Valutazione sufficiente o più che sufficiente dovuta a conoscenza elementare degli argomenti, presenza di alcuni errori, capacità di affrontare solo compiti semplici o guidati, livello base di autonomia.
  23–25
  Valutazione discreta dovuta a comprensione soddisfacente degli argomenti, capacità di applicare correttamente le conoscenze a contesti noti e di affrontare gli esercizi in modo autonomo con qualche imprecisione, con un soddisfacente livello di autonomia e competenza operativa.
  26–28
  Valutazione buona o molto buona, dovuta a solida comprensione teorica della disciplina, capacità di collegare concetti, risolvere problemi e proporre analisi critiche, di svolgere compiti complessi in modo autonomo, preciso ed efficace, con un buon livello di autonomia e competenza operativa.
  29–30 e Lode
  Valutazione eccellente o ottima, dovuta a conoscenze complete, approfondite e ben strutturate, capacità di operare in modo autonomo e flessibile, anche in contesti complessi o nuovi, di utilizzare il linguaggio disciplinare in modo appropriato, preciso e articolato, di evidenziare capacità critiche, originalità e rigore nell’esposizione e nell’applicazione.
  La Lode è attribuita a elaborati o prestazioni che si distinguono per brillantezza e originalità, anche al di là delle aspettative curricolari.

• R. Perfetti, "Circuiti elettrici", II Edizione (2013), Zanichelli Ed.
• C.K. Alexander, M.N.O. Sadiku, G. Gruosso, G. Storti Gajani, "Circuiti elettrici", V Edizione (2017), McGraw-Hill Ed.
• V. Daniele, A. Liberatore, R.D. Graglia, S. Manetti "Elettrotecnica" III edizione (2005), Monduzzi Ed.
• esercizi disponibili su e-learning (Moodle)
  Altro materiale di supporto:
• A.R. Hambley, ELETTROTECNICA, IV Edizione (2009), Pearson-Prentice Hall
• R.C. Dorf, J.A. Svoboda, "Circuiti elettrici", Ed. Apogeo, 2001
• A. Liberatore, S. Manetti, M. C. Piccirilli, A. Reatti, "Circuiti Elettrici ed Elettronici - Esercizi commentati e risolti", Progetto Leonardo, Bologna, 2003
  Controlla la bibliografia su onesearch (https://onesearch.unifi.it/).
  Per aiuto contatta la tua biblioteca (https://unifi.libanswers.com/)

Il corso ha l'obiettivo di fornire agli studenti: CONOSCENZE sugli elementi di analisi matematica per le funzioni di più variabili (derivate parziali, integrali multipli, aree e volume) ed elementi di probabilità (probabilità elementare, variabili aleatorie discrete e continue). CAPACITA’ di costruire e studiare modelli matematici che utilizzano funzioni di più variabili. ABILITA’ COMUNICATIVE nell’esposizione di un argomento di teoria o nella presentazione della risoluzione di un esercizio.
Con riferimento ai Descrittori di Dublino:
Conoscenza e Comprensione
cc1 - Conoscenza dei principi matematici, fisici e statistici alla base dell'ingegneria dell’informazione ed in particolare dell'ingegneria informatica.
Capacità di Applicare Conoscenza e Comprensione
ca1 - Capacità di scegliere e applicare appropriati metodi analitici e di modellazione, ed in particolare l'analisi matematica, la geometria, l'algebra lineare, la statistica, come strumento di risoluzione di problemi teorici e pratici applicativi in campo ingegneristico.
Autonomia di Giudizio
ag1 - Maturare la capacità di analizzare autonomamente il campo sotto studio, applicando i metodi e le conoscenze acquisiti durante il percorso formativo.
ag4 - Valutare criticamente i risultati ottenuti, applicando l’autonomia di giudizio per la stesura di elaborati e per il superamento delle prove d'esame.
Capacità di Comunicazione
ac1 - Sviluppare la capacità di comunicare in modo chiaro e strutturato, sia in forma scritta che orale, i risultati delle proprie attività, con un alto livello di rigore tecnico.
Capacità di Apprendimento
ap3 - Apprendere in modo guidato nella preparazione degli esami orali, nella redazione di elaborati analitici o progettuali, e nelle relazioni delle attività svolte.

Funzioni di più variabili reali. Calcolo differenziale, Curve, Teoria dell’integrazione. Probabilità elementare e calcolo combinatorio, variabili aleatorie.

La prova scritta consiste di due parti. Una prima parte richiede di fornire definizioni, enunciati di teoremi e dimostrazioni di teoremi fatti durante il corso (durata circa 30 minuti). La seconda parte richiede la risoluzione di alcuni esercizi inerenti i contenuti del corso (durata circa due ore). L'esame verte sulla verifica delle conoscenze e competenze apprese dallo studente, tra cui il corretto formalismo, la logica, e la capacità di presentare i passi di una dimostrazione.
Tabella docimologica di valutazione
Insufficiente
Valutazione negativa dovuta a gravi errori concettuali, comprensione frammentaria o nulla degli argomenti trattati, incapacità di applicare le conoscenze, gravi lacune e mancanza di autonomia.
18–22
Valutazione sufficiente o più che sufficiente dovuta a conoscenza elementare degli argomenti, presenza di alcuni errori, capacità di affrontare solo compiti semplici o guidati, livello base di autonomia.
23–25
Valutazione discreta dovuta a comprensione soddisfacente degli argomenti, capacità di applicare correttamente le conoscenze a contesti noti e di affrontare gli esercizi in modo autonomo con qualche imprecisione, con un soddisfacente livello di autonomia e competenza operativa.
26–28
Valutazione buona o molto buona, dovuta a solida comprensione teorica della disciplina, capacità di collegare concetti, risolvere problemi e proporre analisi critiche, di svolgere compiti complessi in modo autonomo, preciso ed efficace, con un buon livello di autonomia e competenza operativa.
29–30 e Lode
Valutazione eccellente o ottima, dovuta a conoscenze complete, approfondite e ben strutturate, capacità di operare in modo autonomo e flessibile, anche in contesti complessi o nuovi, di utilizzare il linguaggio disciplinare in modo appropriato, preciso e articolato, di evidenziare capacità critiche, originalità e rigore nell’esposizione e nell’applicazione.
La Lode è attribuita a elaborati o prestazioni che si distinguono per brillantezza e originalità, anche al di là delle aspettative curricolari.

Parte di Analisi Matematica 2: V. Barutello, M. Conti, D. L. Ferrario, S. Terracini, G. Verzini, Analisi Matematica, Volume 2, Apogeo 2013. M. Bramanti, C. Pagani, S. Salsa, Analisi Matematica 2, Zanichelli 2009. M. Bramanti, Esercitazioni di Analisi Matematica 2, Esculapio, 2012. N. Fusco, P. Marcellini, C. Sbordone, Lezioni di Analisi Matematica 2, Zanichelli, 2020. Parte di probabilità: M. Bramanti. Calcolo delle probabilità e statistica. Esculapio, 1997. S. Ross, Calcolo delle probabilità, Terza edizione, Apogeo, 2013. Controlla la bibliografia su onesearch. Per aiuto contatta la tua biblioteca

Saper specificare e realizzare semplici macchine sequenziali dedicate sincrone col paradigma parte operativa/parte di controllo. Apprendere i principi architetturali alla base dei moderni microprocessori (RISC, CISC), arrivando a comprenderne i principali aspetti hardware e software (linguaggio macchina).
Con riferimento ai Descrittori di Dublino:
Conoscenza e Comprensione
cc8 - Conoscenza dell’architettura di un calcolatore e di un sistema operativo.
Capacità di Applicare Conoscenza e Comprensione
ca7 - La capacità di tradurre in semplici codici informatici problemi informativi o numerici.
Autonomia di Giudizio
ag1 - Maturare la capacità di analizzare autonomamente il campo sotto studio, applicando i metodi e le conoscenze acquisiti durante il percorso formativo.
ag4 - Valutare criticamente i risultati ottenuti, applicando l’autonomia di giudizio per la stesura di elaborati e per il superamento delle prove d'esame.
Capacità di Comunicazione
ac1 - Sviluppare la capacità di comunicare in modo chiaro e strutturato, sia in forma scritta che orale, i risultati delle proprie attività, con un alto livello di rigore tecnico.
Capacità di Apprendimento
ap3 - Apprendere in modo guidato nella preparazione degli esami orali, nella redazione di elaborati analitici o progettuali, e nelle relazioni delle attività svolte.

Fondamenti teorici e realizzazioni pratiche delle Reti Logiche e dei Microprocessori. Progetto di macchine sequenziali dedicate. Scrittura di semplici programmi in linguaggio assemblativo.

L'esame consta di una prova scritta e di una orale, che di solito si tiene una settimana dopo. Lo scritto e' usualmente diviso in due parti: nella prima si chiede di progettare una macchina sequenziale dedicata, nella seconda di implementare un'istruzione di macchina (codifica di macchina, sezione di parte operativa, sezione di controllo) su un'architettura di tipo CISC. Esercizi alternativi vertono sulla misura/confronto di prestazioni di microprocessori, e sulla scrittura di semplici programmi in linguaggio assembly. L'orale verte su domande di teoria, o semplici esercizi.
Tabella docimologica di valutazione
Insufficiente
Valutazione negativa dovuta a gravi errori concettuali, comprensione frammentaria o nulla degli argomenti trattati, incapacità di applicare le conoscenze, gravi lacune e mancanza di autonomia.
18–22
Valutazione sufficiente o più che sufficiente dovuta a conoscenza elementare degli argomenti, presenza di alcuni errori, capacità di affrontare solo compiti semplici o guidati, livello base di autonomia.
23–25
Valutazione discreta dovuta a comprensione soddisfacente degli argomenti, capacità di applicare correttamente le conoscenze a contesti noti e di affrontare gli esercizi in modo autonomo con qualche imprecisione, con un soddisfacente livello di autonomia e competenza operativa.
26–28
Valutazione buona o molto buona, dovuta a solida comprensione teorica della disciplina, capacità di collegare concetti, risolvere problemi e proporre analisi critiche, di svolgere compiti complessi in modo autonomo, preciso ed efficace, con un buon livello di autonomia e competenza operativa.
29–30 e Lode
Valutazione eccellente o ottima, dovuta a conoscenze complete, approfondite e ben strutturate, capacità di operare in modo autonomo e flessibile, anche in contesti complessi o nuovi, di utilizzare il linguaggio disciplinare in modo appropriato, preciso e articolato, di evidenziare capacità critiche, originalità e rigore nell’esposizione e nell’applicazione.
La Lode è attribuita a elaborati o prestazioni che si distinguono per brillantezza e originalità, anche al di là delle aspettative curricolari.

1) BUCCI, Calcolatori elettronici - Architettura e organizzazione, McGraw-Hill Italia, quarta edizione 2017. 2) HARRIS & HARRIS, Sistemi digitali e architettura dei calcolatori - progettare con tecnologia ARM, Zanichelli 2017.
3) DONZELLINI, ONETO, PONTA & ANGUITA. Introduzione al progetto di sistemi digitali. Springer Italia 2023.

Lo studente dovrà acquisire la conoscenza dei seguenti argomenti:
1.1 classificazione di sistemi dinamici e loro modellistica;
1.2 analisi e stabilità dei sistemi lineari tempo-invarianti a tempo continuo mediante tecniche sia nel dominio del tempo sia nel dominio della frequenza;
1.3 progetto di sistemi di controllo a retroazione mediante la sintesi per tentativi.
Lo studente dovrà essere in grado di applicare le conoscenze acquisite per il raggiungimento dei seguenti obiettivi:
2.1 utilizzare le tecniche per l’analisi della stabilità e delle risposte a segnali tipici di sistemi lineari tempo-invarianti a tempo continuo;
2.2 utilizzare le tecniche per l’analisi della stabilità e delle risposte a segnali di riferimento e/o disturbi di sistemi di controllo a retroazione;
2.3 utilizzare la tecnica di sintesi per tentativi per progettare sistemi di controllo in retroazione in base alle specifiche di precisione, stabilità e velocità di risposta.
Con riferimento ai Descrittori di Dublino.
Conoscenza e comprensione
cc5 - La conoscenza della teoria di elaborazione e trattamento dei dati
Capacità di applicare conoscenza e comprensione
ca3 - La capacità di scegliere e applicare appropriati metodi analitici e di modellazione
ca4 - La capacità di realizzare progetti bioingegneristici
ca5 - La capacità di risolvere problemi di bioingegneria
ca6 - La capacità di effettuare il trattamento dei dati
ca7 - La capacità di scegliere e utilizzare strumenti e metodi per la produzione di beni, servizi e attrezzature
ca8 - La capacità di combinare teoria e pratica per risolvere problemi di bioingegneria multidisciplinari
Autonomia di Giudizio
ag1 - Capacità di analisi nel proprio campo di azione
ag2 - Capacità di formulare considerazioni tecnicamente accurate
Capacità di Comunicazione
ac1 - Capacità di presentare i risultati con rigore tecnico-scientifico
ac2 - Capacità di comunicare con specialisti e non, anche in inglese
Capacità di Apprendimento
ap1 - Capacità di mantenersi aggiornati all'evoluzione tecnologica
ap2 - Capacità di proseguire gli studi a livelli più avanzati

Modellistica e simulazione di sistemi dinamici.
Analisi di sistemi lineari a tempo continuo: modelli di stato, modelli ingresso/uscita, stabilità.
Analisi di sistemi a retroazione: tecniche di studio nel dominio del tempo e della frequenza.
Sintesi di sistemi di controllo a retroazione: tecnica per tentativi.

La verifica finale consta di una prova scritta e una prova orale in cui attraverso esercizi e domande si verifica la capacità di:
1. saper classificare un sistema dinamico;
2. saper valutare la risposta libera e forzata di sistemi lineari tempo-invarianti a tempo continuo;
3. saper valutare le caratteristiche di stabilità di sistemi lineari tempo-invarianti a tempo continuo e dei punti di equilibrio di sistemi non lineari;
4. saper determinare la risposta in frequenza di di sistemi lineari tempo-invarianti a tempo continuo e tracciare i relativi diagrammi di Bode e Nyquist;
5. saper analizzare la stabilità dei sistemi di controllo a retroazione mediante il criterio di Nyquist e il luogo delle radici;
6. saper caratterizzare le specifiche di precisione, stabilità e velocità di risposta dei sistemi di controllo in retroazione mediante i parametrici caratteristici della funzione di trasferimento del secondo ordine;
7. saper progettare i sistemi di controllo in retroazione mediante la utilizzare la sintesi per tentativi.
Tabella docimologica di valutazione
Insufficiente
Valutazione negativa dovuta a gravi errori concettuali, comprensione frammentaria o nulla degli argomenti trattati, incapacità di applicare le conoscenze, gravi lacune e mancanza di autonomia.
18–22
Valutazione sufficiente o più che sufficiente dovuta a conoscenza elementare degli argomenti, presenza di alcuni errori, capacità di affrontare solo compiti semplici o guidati, livello base di autonomia.
23–25
Valutazione discreta dovuta a comprensione soddisfacente degli argomenti, capacità di applicare correttamente le conoscenze a contesti noti e di affrontare gli esercizi in modo autonomo con qualche imprecisione, con un soddisfacente livello di autonomia e competenza operativa.
26–28
Valutazione buona o molto buona, dovuta a solida comprensione teorica della disciplina, capacità di collegare concetti, risolvere problemi e proporre analisi critiche, di svolgere compiti complessi in modo autonomo, preciso ed efficace, con un buon livello di autonomia e competenza operativa.
29–30 e Lode
Valutazione eccellente o ottima, dovuta a conoscenze complete, approfondite e ben strutturate, capacità di operare in modo autonomo e flessibile, anche in contesti complessi o nuovi, di utilizzare il linguaggio disciplinare in modo appropriato, preciso e articolato, di evidenziare capacità critiche, originalità e rigore nell’esposizione e nell’applicazione.
La Lode è attribuita a elaborati o prestazioni che si distinguono per brillantezza e originalità, anche al di là delle aspettative curricolari.

• Basso, Chisci, Falugi: Fondamenti di automatica, CittàStudi, 2007. - Bolzern, Scattolini e Schiavoni: Fondamenti di controlli automatici, 5a edizione, Mc Graw-Hill Italia, Milano, 2025.
  Altro materiale: - Appunti del docente
  Controlla la bibliografia su onesearch (https://onesearch.unifi.it/). Per aiuto contatta la tua biblioteca (https://unifi.libanswers.com/)

L’insegnamento vuole introdurre i problemi di programmazione matematica e fornire competenze sulle principali proprietà matematiche di questa classe di problemi. In particolare, vengono affrontati problemi di programmazione lineare, problemi di flusso su rete, problemi di programmazione mista intera lineare e problemi di programmazione nonlineare, analizzando le loro particolari proprietà geometriche ed analitiche. Vengono quindi introdotti algoritmi e metodologie per la loro soluzione.
Con riferimento ai Descrittori di Dublino:
1. CONOSCENZA E COMPRENSIONE (A3 - CC5; A13 - CC5,CC9)
1.1 Conoscenza della classificazione di diversi problemi di ottimizzazione.
1.2 Conoscenza e comprensione delle più importanti caratterizzazioni matematiche
delle soluzioni di problemi di ottimizzazione.
2. CAPACITA’ DI APPLICARE CONOSCENZA E COMPRENSIONE (A13 - CA3,CA4,CA5,CA6,CA8)
2.1 Capacità di formulare in termini matematici alcune classi di problemi reali.
2.2 Capacità di risolvere semplici problemi di programmazione lineare.
3. AUTONOMIA DI GIUDIZIO (AG1, AG2)
3.1 Capacità di eseguire autonome scelte nel definire un modello di programmazione matematica a partire da un problema reale di decisione.
4. ABILITA’ COMUNICATIVE (AC1, AC2)
4.1 Capacità di descrivere i problemi di programmazione matematica introdotti nel corso.
4.2 Capacità di esporre logicamente dimostrazioni delle proprietà teoriche studiate.
CAPACITA’ DI APPRENDIMENTO (AP1, AP2)
5.1 Padronanza delle nozioni e delle metodologie di base, che consenta un eventuale ulteriore approfondimento di argomenti legati all'ottimizzazione.
Per il corso mutuato "Fondamenti di Ricerca Operativa", laurea in Ingegneria Elettronica, con riferimento ai descrittori di Dublino:
CONOSCENZA E CAPACITA' DI COMPRENSIONE
CC15: La conoscenza degli strumenti per l’analisi dei dati e delle tecniche di ottimizzazione anche mediante metodi dell’intelligenza artificiale.
CAPACITA' DI APPLICARE CONOSCENZA E COMPRENSIONE
CA7: Attitudine alla risoluzione di problemi e capacità di lavoro autonomo.
AUTONOMIA DI GIUDIZIO
AG1: Comunicare, lavorare in gruppo e decidere in autonomia.
ABILITA' COMUNICATIVE
AC1: Sa trattare informazioni e dati complessi ricavati da fonti multiple ed è in grado di analizzare e gestire temi multidisciplinari.
CAPACITA' DI APPRENDIMENTO
AP3: Capacità di sviluppare un ragionamento logico che, a seguito di precise ipotesi, porti alla conseguente dimostrazione di una tesi.

Modelli di programmazione lineare: modelli di allocazione di risorse e modelli di miscelazione. Elementi di programmazione lineare. Teoria della dualità. Il metodo del simplesso.
Modelli di ottimizzazione su rete: Problema di flusso a costo minimo - Algoritmo del simplesso su rete.
Modelli di programmazione mista intera lineare. Uso di variabili binarie per modellare vincoli logici.
Modelli di programmazione nonlineare. Condizioni di ottimalità. Introduzione alle Support Vector Machines.

La verifica consiste in una prova scritta con quiz a risposta multipla e esercizi “carta e penna” . E’ possibile, in alternativa, svolgere una prova orale.
Esempi di esami sono scaricabili dalla pagina moodle dell’insegnamento
Con riferimento ai Descrittori di Dublino:
1. CONOSCENZA E COMPRENSIONE
1.1 Conoscenza della classificazione di diversi problemi di ottimizzazione. Verifica mediante quiz a risposta multipla.
1.2 Conoscenza e comprensione delle più importanti caratterizzazioni matematiche
delle soluzioni di problemi di ottimizzazione. Verifica mediante quiz a risposta multipla.
2. CAPACITA’ DI APPLICARE CONOSCENZA E COMPRENSIONE
2.1 Capacità di formulare in termini matematici alcune classi di problemi reali. Verifica
mediante esercizio di modellazione.
2.2 Capacità di risolvere semplici problemi di programmazione lineare. Verifica
mediante esercizio sul metodo del simplesso.
3. AUTONOMIA DI GIUDIZIO
3.1 Capacità di eseguire autonome scelte nel definire un modello di programmazione matematica a partire da un problema reale di decisione. Verifica mediante esercizio di modellazione.
4. ABILITA’ COMUNICATIVE
4.1 Capacità di descrivere i problemi di programmazione matematica introdotti nel corso. Verifica mediante esercizio teorico.
4.2 Capacità di esporre logicamente dimostrazioni delle proprietà teoriche studiate. Verifica mediante esercizio teorico.
CAPACITA’ DI APPRENDIMENTO
5.1 Padronanza delle nozioni e delle metodologie di base, che consenta un eventuale ulteriore approfondimento di argomenti legati all'ottimizzazione. Verifica mediante esercizio teorico.
Tabella docimologica di valutazione
Insufficiente
Valutazione negativa dovuta a gravi errori concettuali, comprensione frammentaria o nulla degli argomenti trattati, incapacità di applicare le conoscenze, gravi lacune e mancanza di autonomia.
18–22
Valutazione sufficiente o più che sufficiente dovuta a conoscenza elementare degli argomenti, presenza di alcuni errori, capacità di affrontare solo compiti semplici o guidati, livello base di autonomia.
23–25
Valutazione discreta dovuta a comprensione soddisfacente degli argomenti, capacità di applicare correttamente le conoscenze a contesti noti e di affrontare gli esercizi in modo autonomo con qualche imprecisione, con un soddisfacente livello di autonomia e competenza operativa.
26–28
Valutazione buona o molto buona, dovuta a solida comprensione teorica della disciplina, capacità di collegare concetti, risolvere problemi e proporre analisi critiche, di svolgere compiti complessi in modo autonomo, preciso ed efficace, con un buon livello di autonomia e competenza operativa.
29–30 e Lode
Valutazione eccellente o ottima, dovuta a conoscenze complete, approfondite e ben strutturate, capacità di operare in modo autonomo e flessibile, anche in contesti complessi o nuovi, di utilizzare il linguaggio disciplinare in modo appropriato, preciso e articolato, di evidenziare capacità critiche, originalità e rigore nell’esposizione e nell’applicazione.
La Lode è attribuita a elaborati o prestazioni che si distinguono per brillantezza e originalità, anche al di là delle aspettative curricolari.

Introduction to Linear Optimization (D. Bertsimas, J. N. Tsitsiklis) Athena Scientific Network Flows: Theory, Algorithms, and Applications (R.K. Ahuja, T.L. Magnanti, J.B. Orlin) Integer programming (M. Conforti, G. Cornuéjols, G. Zambelli) Springer International Publishing. Appunti della docente. Controlla la bibliografia su Onesearch. Per aiuto contatta la tua biblioteca

Il corso si pone un duplice obiettivo: da un lato, sono fornite le
conoscenze relative alla struttura ed alle modalità di funzionamento dei
moderni sistemi operativi; dall’altro, sono affrontate le problematiche di
programmazione relative all’utilizzo delle funzionalità che il sistema
operativo mette a disposizione di un utente programmatore.
Conoscenza dei diversi aspetti del funzionamento di un moderno sistema
operativo.
Conoscenze di base del linguaggio Java e suo utilizzo per la soluzione di
problemi di programmazione multithread e concorrente.
Con riferimento ai Descrittori di Dublino:
Conoscenza e Comprensione
cc8 - Conoscenza dell’architettura di un calcolatore e di un sistema operativo.
Capacità di Applicare Conoscenza e Comprensione
ca10 - Capacità di progetto ed analisi di semplici sistemi realtime.
Autonomia di Giudizio
ag1 - Maturare la capacità di analizzare autonomamente il campo sotto studio, applicando i metodi e le conoscenze acquisiti durante il percorso formativo.
ag4 - Valutare criticamente i risultati ottenuti, applicando l’autonomia di giudizio per la stesura di elaborati e per il superamento delle prove d'esame.
Capacità di Comunicazione
ac1 - Sviluppare la capacità di comunicare in modo chiaro e strutturato, sia in forma scritta che orale, i risultati delle proprie attività, con un alto livello di rigore tecnico.
Capacità di Apprendimento
ap3 - Apprendere in modo guidato nella preparazione degli esami orali, nella redazione di elaborati analitici o progettuali, e nelle relazioni delle attività svolte

Obiettivo principale del corso è di fornire le conoscenze di base di un
moderno sistema operativo mettendo in luce le sue principali
funzionalità.
Il linguaggio Java è usato nel corso per fornire esempi di programmazione
multithread e per risolvere problemi di sincronizzazione tra thread
mediante l'uso di semafori e metodi sincronizzati.

Prova scritta con un esercizio su scheduling della CPU o esercizio su algoritmi di gestione dello stallo (max 10 punti), un esercizio sulla sincronizzazione thread in Java usando metodi sincronizzati o semafori (max 20 punti), dopo lo scritto lo studente ha tre giorni per consegnare la versione corretta dell'esercizio di programmazione java.
Nella valutazione dell'esercizio di programmazione l'90% pesa quanto consegnato allo scritto e per il 10% la correzione consegnata.
La prova orale prevede una breve discussione sullo scritto e due domande sulla parte teorica del corso.
Tabella docimologica di valutazione
Insufficiente
Valutazione negativa dovuta a gravi errori concettuali, comprensione frammentaria o nulla degli argomenti trattati, incapacità di applicare le conoscenze, gravi lacune e mancanza di autonomia.
18–22
Valutazione sufficiente o più che sufficiente dovuta a conoscenza elementare degli argomenti, presenza di alcuni errori, capacità di affrontare solo compiti semplici o guidati, livello base di autonomia.
23–25
Valutazione discreta dovuta a comprensione soddisfacente degli argomenti, capacità di applicare correttamente le conoscenze a contesti noti e di affrontare gli esercizi in modo autonomo con qualche imprecisione, con un soddisfacente livello di autonomia e competenza operativa.
26–28
Valutazione buona o molto buona, dovuta a solida comprensione teorica della disciplina, capacità di collegare concetti, risolvere problemi e proporre analisi critiche, di svolgere compiti complessi in modo autonomo, preciso ed efficace, con un buon livello di autonomia e competenza operativa.
29–30 e Lode
Valutazione eccellente o ottima, dovuta a conoscenze complete, approfondite e ben strutturate, capacità di operare in modo autonomo e flessibile, anche in contesti complessi o nuovi, di utilizzare il linguaggio disciplinare in modo appropriato, preciso e articolato, di evidenziare capacità critiche, originalità e rigore nell’esposizione e nell’applicazione.
La Lode è attribuita a elaborati o prestazioni che si distinguono per brillantezza e originalità, anche al di là delle aspettative curricolari.

La maggior parte degli argomenti del corso sono trattati in:

• Sistemi Operativi: Concetti ed esempi, nona edizione, Pearson
  Addison-Wesley, A.Silberschatz, P. Galvin, G. Gagne.
• G. Bucci, Calcolatori elettronici: archtettura e organizazione, 2008, McGraw-Hill.

L'obiettivo del corso è quello di fornire le conoscenze sui principali metodi di verifica dell'affidabilità, sviluppo e testing di software sicuro per applicazioni critiche:

• Conoscenza delle caratteristiche dei sistemi embedded e cyber-physical.
• Conoscenza di metodi per la verifica dell'affidabilità di sistemi hardware e software.
• Conoscenza di metodi per lo sviluppo di software sicuro per applicazioni critiche.
• Conoscenza di metodi per il testing e la certificazione del software.
  Al termine del corso lo studente conoscerà i principali metodi per la verifica dell'affidabilità, lo sviluppo e il testing di software sicuro per applicazioni critiche e sarà in grado di comprendere ed applicare tali metodi per risolvere problemi concreti.
  Con riferimento ai Descrittori di Dublino:
  Conoscenza e Comprensione
  cc13 - Conoscenza di modelli per l’analisi di sistemi realtime.
  Capacità di Applicare Conoscenza e Comprensione
  ca10 - Capacità di progetto ed analisi di semplici sistemi realtime.
  Autonomia di Giudizio
  ag1 - Maturare la capacità di analizzare autonomamente il campo sotto studio, applicando
  i metodi e le conoscenze acquisiti durante il percorso formativo.
  ag2 - Sviluppare la capacità di raccogliere e interpretare informazioni tecniche e
  scientifiche attraverso misure, esperimenti e analisi statistiche.
  ag4 - Valutare criticamente i risultati ottenuti, applicando l’autonomia di giudizio per la
  stesura di elaborati e per il superamento delle prove d'esame.
  Capacità di Comunicazione
  ac1 - Sviluppare la capacità di comunicare in modo chiaro e strutturato, sia in forma
  scritta che orale, i risultati delle proprie attività, con un alto livello di rigore tecnico.
  Capacità di Apprendimento
  ap1 - Sviluppare la capacità di apprendere autonomamente e di aggiornarsi
  continuamente in relazione all'evoluzione tecnologica del settore dell'Ingegneria
  dell'informazione.
  ap3 - Apprendere in modo guidato nella preparazione degli esami orali, nella redazione di
  elaborati analitici o progettuali, e nelle relazioni delle attività svolte.

• Introduzione alla progettazione di sistemi embedded
• Metodi di verifica dell'affidabilità dei sistemi hardware e software
• Metodi di sviluppo di software sicuro per applicazioni critiche
• Metodi di testing e certificazione del software

L'esame è volto ad accertare le competenze teoriche e pratiche acquisite sugli argomenti del corso attraverso una prova scritta e una prova orale:
CONOSCENZA E COMPRENSIONE
1.1 Conoscenza delle caratteristiche dei sistemi embedded e cyber-physical.
1.2 Conoscenza di metodi per la verifica dell'affidabilità di sistemi hardware e software.
1.3 Conoscenza di metodi per lo sviluppo di software sicuro per applicazioni critiche.
1.4 Conoscenza di metodi per il testing e la certificazione del software.
CAPACITA' DI APPLICARE CONOSCENZA E COMPRENSIONE
2.1 Capacità di applicare le conoscenze acquisite allo scopo di valutare l'affidabilità e i rischi di sistemi hardware e software.
2.2 Capacità di applicare le conoscenze acquisite allo scopo di sviluppare codice sicuro per applicazioni critiche, anche adottando specifici standard e linguaggi (es. MISRA-C, Rust).
2.3 Capacità di applicare le conoscenze acquisite allo scopo di implementare e testare applicazioni software per sistemi critici.
AUTONOMIA DI GIUDIZIO
3.1 Capacità di verificare il proprio grado di apprendimento e comprensione dei concetti esposti durante il corso.
3.2 Capacità di valutare soluzioni nell'ambito della tolleranza ai guasti, dello sviluppo di codice sicuro e del testing di sistemi software embedded critici.
ABILITA' COMUNICATIVE
4.1 Capacità di esprimere le proprie conoscenze in modo corretto e logico.
4.2 Capacità di presentare le proprie conoscenze con un linguaggio tecnico appropriato.
CAPACITA' DI APPRENDIMENTO
5.1 Capacità di provvedere autonomamente allo studio di nuove tecniche, standard e normative per la verifica dell'affidabilità, lo sviluppo e il testing di software sicuro per applicazioni critiche.

A. Fantechi - Informatica Industriale - Città Studi Edizioni