Modelli di programmazione matematica
Teoria della Programmazione Lineare
Teoria dei Grafi
- Teacher: SCIANDRONE MARCO
- Teacher: BATTISTELLI GIORGIO
- Teacher: FABRIZI EUGENIO
- Teacher: VERDIANI LUIGI
Questa è l'edizione per l'anno accademico 20/21 del corso di Ingegneria del Software nel terzo anno della Laurea Triennale in Ingegneria Informatica, mutuato in vari altri corsi di Laurea tra cui Elettronica e Telecomunicazioni, Informatica. Il corso è tenuto da Enrico Vicario (https://stlab.dinfo.unifi.it/vicario/)
Il corso introduce principi e metodi di Ingegneria del Software trattando il caso concreto dello sviluppo orientato agli oggetti in linguaggio Java con metodologia model driven:
- linguaggio Java e suoi idiomi;
- astrazioni UML in prospettiva concettuale e di implementazione (class e object diagrams);
- progettazione con Design Patterns;
- analisi dei requisiti orientata agli oggetti (class diagrams, use case diagrams e templates, mockups);
- elementi di architettura del software;
- ciclo di vita nei modelli Waterfall e VModel, eXtreme Programming (Agile), Unified Process.
Il corso si svolge in continuità di contenuti rispetto alla versione per l'Anno Accademico precedente, di cui in avvio sono duplicate le slides, gli esempi e le registrazioni di lezioni. Nella edizione precedente il corso si teneva "in presenza", e spesso risultava efficace evadere dalle slides, anticipare concetti alla lavagna anche seguendo osservazioni dall'aula, e poi in modo più disciplinato ripercorrere le slides. Cercherò di riprodurre quello stile, sostituendo ora la lavagna con un display grafico (Wacom One 13). Lo ho sperimentato nel passato semestre in un altro corso, funziona in modo abbastanza efficace, seppure con qualche difficoltà nella velocità e qualità della scrittura.
- Teacher: PATARA FULVIO
- Teacher: VICARIO ENRICO
Il corso si propone di fornire:
- le conoscenze metodologiche necessarie per comprendere il funzionamento e saper ricavare le relazioni ingresso/uscita di circuiti elettrici ed elettronici resistivi e dinamici, anche in presenza di componenti attivi;
- la capacità di usare in modo appropriato la terminologia tecnica adeguata a:
- comprendere la letteratura relativa al funzionamento dei circuiti elettrici;
- descrivere in modo efficace argomenti e problematiche inerenti la disciplina;
- discutere in modo critico argomenti trattati durante il corso;
- le competenze necessarie per proseguire gli studi e provvedere autonomamente al proprio aggiornamento.
Per richiedere la chiave di iscrizione, contattare il docente inserendo nella richiesta il proprio numero di matricola.
- Teacher: BINDI MARCO
- Teacher: LUCHETTA ANTONIO
- Teacher: FRASCONI PAOLO
http://www.disit.org/drupal/?q=node/5493
overview
modelli middleware, remote call, client server
XML, espressioni regolari, javascript, JSON
sistemi P2P
IOT internet of things
overview smart city, data warehouse, data ingestion
architetture parallele e distribuite
per ricevimento e info contattami su paolo.nesi@unifi.it per email oppure per skype sempre cercandomi con la mia email.
- Teacher: NESI PAOLO
- Teacher: BAGNOLI FRANCO
- Teacher: CHICCHI LORENZO
- Teacher: CINTI FABIO
Il corso intende approfondire una serie di tecniche di sviluppo tipiche dei sistemi computerizzati embedded, con particolare enfasi sugli aspetti di dependability (affidabilita', disponibilita', safety).
- Teacher: FANTECHI ALESSANDRO
http://www.disit.org/drupal/?q=node/5493
overview
modelli middleware, remote call, client server
XML, espressioni regolari, javascript, JSON
sistemi P2P
IOT internet of things
overview smart city
architetture parallele e distribuite
- Teacher: NESI PAOLO
- Teacher: PANTALEO GIANNI
- Teacher: PAOLUCCI MICHELA
- Teacher: IMPERATORE SOFIA
- Teacher: MATUCCI SERENA
- Teacher: NICOLETTI SARA
- Teacher: POGGIOLINI LAURA
- Teacher: POGGIOLINI LAURA
- Teacher: VICARIO ENRICO
- Teacher: DEL ZANNA LUCA
- Teacher: LUSSO ELISABETA
- Teacher: BONI ENRICO
- Teacher: BELLINI PIERFRANCESCO
In questo corso sono presenti materiali anche per l'insegnamento:
B026221 (B047) - CALCOLATORI (CURRICULUM: TECNICO SCIENTIFICO - E69) 2020-2021
- Teacher: COLOMBO CARLO
- Teacher: BERTINI MARCO
B024280 (B047) - MODULO: FONDAMENTI DI INFORMATICA (CURRICULUM: TECNICO SCIENTIFICO - E69) 2020-2021
- Teacher: BERRETTI STEFANO
- Teacher: LOMBARDI FRANCESCO
- Teacher: BERTINI MARCO
- Teacher: BERTINI MARCO
Programma di massima del Corso:
Introduzione al problema della codifica e decodifica.
Codici. Bounds per codici. Codici lineari e loro bounds. Esempi notevoli: Hamming e Reed-Solomon. Decodifica lineare a minima distanza. Syndrome e array decoding. Comparazioni. Codici ciclici.
Introduzione alla Meccanica Quantistica (assiomi e loro discussione). Porte quantistiche. Universalità. RSA. Algoritmo di Shor.
- Teacher: VEZZOSI GABRIELE
- Teacher: FANTACCI ROMANO
- Teacher: BERTINI MARCO
Tutto il materiale e le altre attività dell'insegnamento sono reperibili all'insegnamento:
B024258 (B047) - MODULO: CALCOLATORI 2020-2021
- Teacher: COLOMBO CARLO
- Teacher: PIVA ALESSANDRO
- Teacher: CIANI SIMONE
- Teacher: KREKU MATILDA
- Teacher: VESPRI VINCENZO
- Teacher: BECATTINI FEDERICO
- Teacher: DEL BIMBO ALBERTO
- Teacher: FERRACANI ANDREA
- Teacher: CORRADI FABIO
- Teacher: STINGO FRANCESCO CLAUDIO