Laurea in Ingegneria Informatica - Dipartimento di Ingegneria dell'Informazione

Modelli di programmazione matematica

Teoria della Programmazione Lineare

Teoria dei Grafi

Anno accademico: 2020-2021

Corso di Calcolo Numerico 

Anno accademico: 2020-2021

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.


Anno accademico: 2020-2021

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.

Anno accademico: 2020-2021

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. 

Anno accademico: 2020-2021
Anno accademico: 2020-2021

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). 



Anno accademico: 2020-2021

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


Anno accademico: 2020-2021
Anno accademico: 2020-2021
Anno accademico: 2020-2021

In questo corso sono presenti materiali anche per l'insegnamento:

B026221 (B047) - CALCOLATORI (CURRICULUM: TECNICO SCIENTIFICO - E69) 2020-2021

Anno accademico: 2020-2021

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.

Anno accademico: 2020-2021

Tutto il materiale e le altre attività dell'insegnamento sono reperibili all'insegnamento:

B024258 (B047) - MODULO: CALCOLATORI 2020-2021

Link: http://e-l.unifi.it/course/view.php?id=18420

Anno accademico: 2020-2021