WikiDsy - Contributi utente [it]

Reti fisse e mobili

2006-06-10T14:24:20Z

Mayetta: corretto maggio in giugno

[[Categoria:Corsi]][[Categoria:Corsi Secondo Semestre]]

== Informazioni generali ==

=== Docenti ===

Prof. Gianfranco Prini

=== Orari delle lezioni ===

Mar 8.30 - 10.30 - aula Alfa (via Comelico) 
Ven 8.30 - 10.30 - aula Alfa (via Comelico) 

Prima lezione: venerdì 10 marzo 2006!

=== Orario di ricevimento studenti ===

Lun 11.30 - 12.30 
Stanza P110

=== Sito del corso ===

La [http://homes.dico.unimi.it/~gfp/ pagina personale del Prof. Prini] ospita tutte le informazioni riguardanti i suoi corsi.

=== Materiale didattico ===
* Slide del docente
* Slide di Silvano Gai
* Slide di Stefano Olivieri
(Scaricabili dalla sezione [http://homes.dico.unimi.it/~gfp/FiMo/2005-06/index.html#ToDida materiale didattico] nella pagina del corso) 
Queste slide non coprono tutto ciò che viene detto a lezione, per questo motivo sarà necessario prendere appunti.
* Un testo di riferimento per alcuni dei PREREQUISITI del corso è: Silvano Gai, Pier Luca Montessoro, Pietro Nicoletti - "RETI LOCALI: DAL CABLAGGIO ALL'INTERNETWORKING (seconda edizione)" - Scuola Superiore "Guglielmo Reiss Romoli", L'Aquila (1995) [Ormai introvabile in libreria, ma disponibile in versioni online facilmente rintracciabili in rete]. [Capitoli: 1, 2, 3, 5, 6, 10, 11, 14]
* Altro testo utile, sempre per i PREREQUISITI del corso, è: James F. Kurose, Keith W. Ross - COMPUTER NETWORKING - A Top-Down Approach Featuring the Internet - Addison Wesley (2005), ISBN 0-321-22735-2 (Terza Edizione). [Capitoli: 1, 2, 3, 4, 5, 7]

[Queste informazioni sono state tratte dalla pagina del corso]

=== Link utili ===
* Numerosi link utili nella home page del docente.

=== Modalità d'esame ===
Esame sulla piattaforma JLI: 30 domande a risposta chiusa.

== Diario del corso ==

=== Venerdì 10 Marzo 2006 ===
* Presentazione del corso
* Accenni a IEEE 802.11, 802.16, 802.21
* Panoramica degli argomenti

=== Martedì 14 Marzo 2006 ===
''In riferimento alle slide "Introduzione alle Wireless Sensor Networks" (Area "Seminari di relatori ospiti" sul sito del corso)''

* Seminario "Introduzione alle Wireless Sensor Networks" (a cura di Laura Vanzago - [http://www.st.com/ STMicroelectronics]):
** Panoramica su STMicroelectronics
** Sensori
** Intelligenza ambientale
** Interdisciplinarietà dei sensori (psicologia, biologia, geologia, medicina,...)
** Applicazioni (domotica, assistenza alle persone, trasporti, ambiente,...)
** Sistema operativo open source [http://www.tinyos.net/ TinyOS] scritto in nesC (estensione del linguaggio C)
** [http://www.zigbee.org/ Zigbee] (vedi anche [http://en.wikipedia.org/wiki/ZigBee Zigbee su Wikipedia]) basato sullo standard IEEE 802.15.4
*** Dimostrazione pratica in aula con l'utilizzo di 4 sensori (rilevatori di temperatura) e una base station.

=== Venerdì 17 Marzo 2006 ===
''In riferimento alle slide "I mezzi trasmissivi elettrici" di Silvano Gai e quelle di Gianfranco Prini di pari titolo''
* Mezzi trasmissivi elettrici
** Il mezzo elettrico ideale
** Impedenza; resistenza
** Dimensione dei fili di rame (AWG: American Wire Gauge)
** Caratteristiche elettriche
** Attenuazione
** Diafonia (cross-talk)

=== Martedì 21 marzo 2006 ===
''In riferimento alle slide "I mezzi trasmissivi elettrici" di Silvano Gai e quelle di Gianfranco Prini di pari titolo''
* Mezzi trasmissivi elettrici
** Diafonia (cross-talk); argomento ripreso da lezione precedente
** NEXT: Near End Cross-Talk
** FEXT: Far End Cross-Talk
** Impedenza
** Schermatura
** Sicurezza in caso di incendio
** Proprietà del cavo ideale
** Cavo coassiale
** Thick Ethernet
** Thin Ethernet
** Il doppino
** La binatura

=== Venerdì 24 marzo 2006 ===
''In riferimento alle slide "I mezzi trasmissivi elettrici" e "Le fibre ottiche" di Silvano Gai e quelle di Gianfranco Prini di pari titolo''
* Mezzi trasmissivi elettrici
** La binatura
** Tipi di doppino
*** UDP, FTP, S-UDP, S-FTP, STP (Tipo 1 IBM), Tipo 2 IBM, Tipo 6 IBM
** Categorie dei cavi (da cat. 1 a cat. 8)
** UTP/FTP
*** Caratteristiche elettriche
*** Attenuazione
*** Diafonia
** STP
*** Caratteristiche elettriche
*** Attenuazione
*** Diafonia
* Le fibre ottiche
** Struttura
** Caratteristiche

=== Martedì 28 marzo 2006 ===
''In riferimento alle slide "Le fibre ottiche" di Silvano Gai e quelle di Gianfranco Prini di pari titolo''
* Le fibre ottiche
** Legge di Snell
** Cono di accettazione
** Propagazione
*** Step-Index
*** Graded-index
** Dispersione modale

=== Venerdì 31 marzo 2006 ===
==== Avviso ====
Oggi non c'è lezione.

=== Martedì 04 aprile 2006 ===
''In riferimento alle slide "Le fibre ottiche" di Silvano Gai e quelle di Gianfranco Prini di pari titolo''
* Le fibre ottiche
** Fibre monomodali
** Trasmissione a led e laser
** Interconnessione
** Finestre di utilizzo
** Tipi di cavo
*** Tight (multimonofibra e multifibra)
*** Loose
*** Slotted core
** Cavi sottomarini
** Wavelenght Division Multiplexing (WDM)

=== Venerdì 07 aprile 2006 ===
* Codifica NRZ
* Codifica Manchester
* Codifica NRZI
* 4B5B e 8B10B
* Codifica MLT-3
''Nota: gli argomenti trattati in questa lezione non sono coperti da nessuna slide messa a disposizione. Usare il libro di Silvano Gai.''

=== Martedì 11 aprile 2006 ===
''In riferimento alle slide "Cablaggio generico"''
* Autodistorsione
* Cablaggio generico
** Livello fisico ISO/OSI
** Cablaggio strutturato
* Standard di cablaggio
** Proprietari
** Pubblici
* Standard CENELEC

=== Venerdì 21 aprile 2006 ===
''In riferimento alle slide "Cablaggio generico"''
* Standard e riferimenti legislativi
* Riferimenti normativi - EN 50173
* CEI EN 50173-1
** Sommario
** Aspetti generali
** Scopo e conformità
* Topologia e geometria
** A stella
** A Bus
** Ad anello
* Specifiche strutturali
** Modello gerarchico stellare
** Terminologia dei macrocomponenti e dei microcomponenti
** Elementi facoltativi
** Interconnessione diretta e indiretta

=== Venerdì 28 aprile 2006 ===

''Standard EN50173''
*progetto
*installazione
*collaudo
*manutenzione

=== Martedì 2 maggio 2006 ===
''In riferimento alle slide "LAN e progetto IEEE 802: livelli MAC e LLC"''
* LAN secondo IEEE 802
* IEEE 802 e working groups
* IEEE 802.1
* Relazioni tra IEEE 802.1 e modello ISO/OSI
* Trame, buste, SAP e indirizzi IEEE 802
* Sottolivello MAC IEEE 802
* Indirizzi MAC IEEE 802
** Ambiguità e Tipologia
* MAC IEEE 802: standard "storici"
* Sottolivello LLC IEEE 802.2
* Header LLC IEEE 802.2
** DSAP, SSAP, CONTROL

=== Venerdì 5 maggio 2006 ===
''In riferimento alle slide "Ethernet e standard IEEE 802.3"''
* CSMA/CD
** Cenni storici
** Differenze IEEE 802.3 - CSMA/CD
** Ethernet v2.0
*** Collisioni
** Protocollo CSMA/CD, caratteristiche e parametri
** MAC CSMA/CD
** Fast Ethernet (IEEE 802.3u)
** Gigabit Ethernet (IEEE 802.3z)

=== Martedì 9 maggio 2006 ===
[...]

=== Venerdì 12 maggio 2006 ===
''In riferimento alle slide "Soluzioni Cisco per il mercato della sanità" (Area "Seminari di relatori ospiti" sul sito del corso)''
* Seminario di Cisco Systems sulle soluzioni Cisco per la sanità a cura di Claudio Girlanda e Gabriele Carzaniga.

=== Martedì 16 maggio 2006 ===
''In riferimento alle slide "Bridge, switch, router"''

[...]

Nota: queste slide si trovano nel [http://homes.dico.unimi.it/~gfp/ReCa/2004-05/index.html#ToDida materiale didattico 2004-2005 - corso di Reti di Calcolatori].

=== Venerdì 19 maggio 2006 ===
''In riferimento alle slide "Fonia analogica e fonia digitale"''

* Campionamento e interpolazione
* Teorema di Nyquisit
* Voce umana e fonia analogica
* Fonia digitale
* Canali DS-0 e E-0

''In riferimento alle slide "Gerarchie plesiocrona e sincrona"''

* Gerarchie plesincrona PDH e sincrona SDH
** PDH - serie T
** PDH - serie E
** Standard T1 (E DS-1)

=== Martedì 23 maggio 2006 ===
''In riferimento alle slide "Gerarchie plesiocrona e sincrona"''

* PDH
** Standard DS-2
** Standard T3 (E DS-3)
* SDH e SONET, livelli gerarchici EUR e USA

=== Venerdì 26 maggio 2006 ===
''In riferimento alle slide "Gerarchie plesiocrona e sincrona"''

* SDH e SONET, livelli gerarchici EUR e USA
* STM-0, STS-1 e OC-1: Formato della trama e Virtual Counter
* Multiplexing
** STM-1
** STM-4
** STM-16

''In riferimento alle slide "ATM Forum UNI v3.0/3.1" di Silvano Gai; Slide rilevanti: tutte da 10 a 18''

* SONET / SDH
** Architettura
** Formato del frame
** Section Overhead
** Line Overhead
** Path Overhead
** Puntatori ed allineamento del payload

''In riferimento alle slide "Tecnologia ADSL"''

* ADSL
** Spettro ADSL
** Architettura
** Vantaggi e svantaggi

=== Martedì 30 maggio 2006 ===
''In riferimento alle slide "ZigBee e standard IEEE 802.15.4" (Area "Seminari di relatori ospiti" sul sito del corso)''
* Seminario "ZigBee e standard IEEE 802.15.4" (a cura di Laura Vanzago - [http://www.st.com/ STMicroelectronics])

=== Martedì 05 giugno 2006 ===
* Reti Wi-Fi

=== Venerdì 09 giugno 2006 ===
''In riferimento alle slide "Il sito web di Torino 2006: progetto, realizzazione, esercizio" (Area "Seminari di relatori ospiti" sul sito del corso)''
* Seminario "Il sito web di Torino 2006" (a cura di Luca Mazzocchi - Matrix)

Reti fisse e mobili

2006-06-10T14:24:03Z

Mayetta: corretto maggio in giugno

[[Categoria:Corsi]][[Categoria:Corsi Secondo Semestre]]

== Informazioni generali ==

=== Docenti ===

Prof. Gianfranco Prini

=== Orari delle lezioni ===

Mar 8.30 - 10.30 - aula Alfa (via Comelico) 
Ven 8.30 - 10.30 - aula Alfa (via Comelico) 

Prima lezione: venerdì 10 marzo 2006!

=== Orario di ricevimento studenti ===

Lun 11.30 - 12.30 
Stanza P110

=== Sito del corso ===

La [http://homes.dico.unimi.it/~gfp/ pagina personale del Prof. Prini] ospita tutte le informazioni riguardanti i suoi corsi.

=== Materiale didattico ===
* Slide del docente
* Slide di Silvano Gai
* Slide di Stefano Olivieri
(Scaricabili dalla sezione [http://homes.dico.unimi.it/~gfp/FiMo/2005-06/index.html#ToDida materiale didattico] nella pagina del corso) 
Queste slide non coprono tutto ciò che viene detto a lezione, per questo motivo sarà necessario prendere appunti.
* Un testo di riferimento per alcuni dei PREREQUISITI del corso è: Silvano Gai, Pier Luca Montessoro, Pietro Nicoletti - "RETI LOCALI: DAL CABLAGGIO ALL'INTERNETWORKING (seconda edizione)" - Scuola Superiore "Guglielmo Reiss Romoli", L'Aquila (1995) [Ormai introvabile in libreria, ma disponibile in versioni online facilmente rintracciabili in rete]. [Capitoli: 1, 2, 3, 5, 6, 10, 11, 14]
* Altro testo utile, sempre per i PREREQUISITI del corso, è: James F. Kurose, Keith W. Ross - COMPUTER NETWORKING - A Top-Down Approach Featuring the Internet - Addison Wesley (2005), ISBN 0-321-22735-2 (Terza Edizione). [Capitoli: 1, 2, 3, 4, 5, 7]

[Queste informazioni sono state tratte dalla pagina del corso]

=== Link utili ===
* Numerosi link utili nella home page del docente.

=== Modalità d'esame ===
Esame sulla piattaforma JLI: 30 domande a risposta chiusa.

== Diario del corso ==

=== Venerdì 10 Marzo 2006 ===
* Presentazione del corso
* Accenni a IEEE 802.11, 802.16, 802.21
* Panoramica degli argomenti

=== Martedì 14 Marzo 2006 ===
''In riferimento alle slide "Introduzione alle Wireless Sensor Networks" (Area "Seminari di relatori ospiti" sul sito del corso)''

* Seminario "Introduzione alle Wireless Sensor Networks" (a cura di Laura Vanzago - [http://www.st.com/ STMicroelectronics]):
** Panoramica su STMicroelectronics
** Sensori
** Intelligenza ambientale
** Interdisciplinarietà dei sensori (psicologia, biologia, geologia, medicina,...)
** Applicazioni (domotica, assistenza alle persone, trasporti, ambiente,...)
** Sistema operativo open source [http://www.tinyos.net/ TinyOS] scritto in nesC (estensione del linguaggio C)
** [http://www.zigbee.org/ Zigbee] (vedi anche [http://en.wikipedia.org/wiki/ZigBee Zigbee su Wikipedia]) basato sullo standard IEEE 802.15.4
*** Dimostrazione pratica in aula con l'utilizzo di 4 sensori (rilevatori di temperatura) e una base station.

=== Venerdì 17 Marzo 2006 ===
''In riferimento alle slide "I mezzi trasmissivi elettrici" di Silvano Gai e quelle di Gianfranco Prini di pari titolo''
* Mezzi trasmissivi elettrici
** Il mezzo elettrico ideale
** Impedenza; resistenza
** Dimensione dei fili di rame (AWG: American Wire Gauge)
** Caratteristiche elettriche
** Attenuazione
** Diafonia (cross-talk)

=== Martedì 21 marzo 2006 ===
''In riferimento alle slide "I mezzi trasmissivi elettrici" di Silvano Gai e quelle di Gianfranco Prini di pari titolo''
* Mezzi trasmissivi elettrici
** Diafonia (cross-talk); argomento ripreso da lezione precedente
** NEXT: Near End Cross-Talk
** FEXT: Far End Cross-Talk
** Impedenza
** Schermatura
** Sicurezza in caso di incendio
** Proprietà del cavo ideale
** Cavo coassiale
** Thick Ethernet
** Thin Ethernet
** Il doppino
** La binatura

=== Venerdì 24 marzo 2006 ===
''In riferimento alle slide "I mezzi trasmissivi elettrici" e "Le fibre ottiche" di Silvano Gai e quelle di Gianfranco Prini di pari titolo''
* Mezzi trasmissivi elettrici
** La binatura
** Tipi di doppino
*** UDP, FTP, S-UDP, S-FTP, STP (Tipo 1 IBM), Tipo 2 IBM, Tipo 6 IBM
** Categorie dei cavi (da cat. 1 a cat. 8)
** UTP/FTP
*** Caratteristiche elettriche
*** Attenuazione
*** Diafonia
** STP
*** Caratteristiche elettriche
*** Attenuazione
*** Diafonia
* Le fibre ottiche
** Struttura
** Caratteristiche

=== Martedì 28 marzo 2006 ===
''In riferimento alle slide "Le fibre ottiche" di Silvano Gai e quelle di Gianfranco Prini di pari titolo''
* Le fibre ottiche
** Legge di Snell
** Cono di accettazione
** Propagazione
*** Step-Index
*** Graded-index
** Dispersione modale

=== Venerdì 31 marzo 2006 ===
==== Avviso ====
Oggi non c'è lezione.

=== Martedì 04 aprile 2006 ===
''In riferimento alle slide "Le fibre ottiche" di Silvano Gai e quelle di Gianfranco Prini di pari titolo''
* Le fibre ottiche
** Fibre monomodali
** Trasmissione a led e laser
** Interconnessione
** Finestre di utilizzo
** Tipi di cavo
*** Tight (multimonofibra e multifibra)
*** Loose
*** Slotted core
** Cavi sottomarini
** Wavelenght Division Multiplexing (WDM)

=== Venerdì 07 aprile 2006 ===
* Codifica NRZ
* Codifica Manchester
* Codifica NRZI
* 4B5B e 8B10B
* Codifica MLT-3
''Nota: gli argomenti trattati in questa lezione non sono coperti da nessuna slide messa a disposizione. Usare il libro di Silvano Gai.''

=== Martedì 11 aprile 2006 ===
''In riferimento alle slide "Cablaggio generico"''
* Autodistorsione
* Cablaggio generico
** Livello fisico ISO/OSI
** Cablaggio strutturato
* Standard di cablaggio
** Proprietari
** Pubblici
* Standard CENELEC

=== Venerdì 21 aprile 2006 ===
''In riferimento alle slide "Cablaggio generico"''
* Standard e riferimenti legislativi
* Riferimenti normativi - EN 50173
* CEI EN 50173-1
** Sommario
** Aspetti generali
** Scopo e conformità
* Topologia e geometria
** A stella
** A Bus
** Ad anello
* Specifiche strutturali
** Modello gerarchico stellare
** Terminologia dei macrocomponenti e dei microcomponenti
** Elementi facoltativi
** Interconnessione diretta e indiretta

=== Venerdì 28 aprile 2006 ===

''Standard EN50173''
*progetto
*installazione
*collaudo
*manutenzione

=== Martedì 2 maggio 2006 ===
''In riferimento alle slide "LAN e progetto IEEE 802: livelli MAC e LLC"''
* LAN secondo IEEE 802
* IEEE 802 e working groups
* IEEE 802.1
* Relazioni tra IEEE 802.1 e modello ISO/OSI
* Trame, buste, SAP e indirizzi IEEE 802
* Sottolivello MAC IEEE 802
* Indirizzi MAC IEEE 802
** Ambiguità e Tipologia
* MAC IEEE 802: standard "storici"
* Sottolivello LLC IEEE 802.2
* Header LLC IEEE 802.2
** DSAP, SSAP, CONTROL

=== Venerdì 5 maggio 2006 ===
''In riferimento alle slide "Ethernet e standard IEEE 802.3"''
* CSMA/CD
** Cenni storici
** Differenze IEEE 802.3 - CSMA/CD
** Ethernet v2.0
*** Collisioni
** Protocollo CSMA/CD, caratteristiche e parametri
** MAC CSMA/CD
** Fast Ethernet (IEEE 802.3u)
** Gigabit Ethernet (IEEE 802.3z)

=== Martedì 9 maggio 2006 ===
[...]

=== Venerdì 12 maggio 2006 ===
''In riferimento alle slide "Soluzioni Cisco per il mercato della sanità" (Area "Seminari di relatori ospiti" sul sito del corso)''
* Seminario di Cisco Systems sulle soluzioni Cisco per la sanità a cura di Claudio Girlanda e Gabriele Carzaniga.

=== Martedì 16 maggio 2006 ===
''In riferimento alle slide "Bridge, switch, router"''

[...]

Nota: queste slide si trovano nel [http://homes.dico.unimi.it/~gfp/ReCa/2004-05/index.html#ToDida materiale didattico 2004-2005 - corso di Reti di Calcolatori].

=== Venerdì 19 maggio 2006 ===
''In riferimento alle slide "Fonia analogica e fonia digitale"''

* Campionamento e interpolazione
* Teorema di Nyquisit
* Voce umana e fonia analogica
* Fonia digitale
* Canali DS-0 e E-0

''In riferimento alle slide "Gerarchie plesiocrona e sincrona"''

* Gerarchie plesincrona PDH e sincrona SDH
** PDH - serie T
** PDH - serie E
** Standard T1 (E DS-1)

=== Martedì 23 maggio 2006 ===
''In riferimento alle slide "Gerarchie plesiocrona e sincrona"''

* PDH
** Standard DS-2
** Standard T3 (E DS-3)
* SDH e SONET, livelli gerarchici EUR e USA

=== Venerdì 26 maggio 2006 ===
''In riferimento alle slide "Gerarchie plesiocrona e sincrona"''

* SDH e SONET, livelli gerarchici EUR e USA
* STM-0, STS-1 e OC-1: Formato della trama e Virtual Counter
* Multiplexing
** STM-1
** STM-4
** STM-16

''In riferimento alle slide "ATM Forum UNI v3.0/3.1" di Silvano Gai; Slide rilevanti: tutte da 10 a 18''

* SONET / SDH
** Architettura
** Formato del frame
** Section Overhead
** Line Overhead
** Path Overhead
** Puntatori ed allineamento del payload

''In riferimento alle slide "Tecnologia ADSL"''

* ADSL
** Spettro ADSL
** Architettura
** Vantaggi e svantaggi

=== Martedì 30 maggio 2006 ===
''In riferimento alle slide "ZigBee e standard IEEE 802.15.4" (Area "Seminari di relatori ospiti" sul sito del corso)''
* Seminario "ZigBee e standard IEEE 802.15.4" (a cura di Laura Vanzago - [http://www.st.com/ STMicroelectronics])

=== Martedì 05 giugno 2006 ===
* Reti Wi-Fi

=== Venerdì 09 maggio 2006 ===
''In riferimento alle slide "Il sito web di Torino 2006: progetto, realizzazione, esercizio" (Area "Seminari di relatori ospiti" sul sito del corso)''
* Seminario "Il sito web di Torino 2006" (a cura di Luca Mazzocchi - Matrix)

Sistemi distribuiti

2006-03-22T21:14:26Z

Mayetta: /* Lezione di mercoledì 22 marzo 2006 */

[[Categoria:Corsi]][[Categoria:Corsi Secondo Semestre]]

== Informazioni generali ==

=== Docenti ===
Prof. Claudio Bettini 
Dott. Sergio Mascetti (per la parte di laboratorio)

=== Orari delle lezioni ===
Mer 9.00 - 11.30 in aula Alfa (via Comelico) 
(con pausa di circa 20 minuti)

=== Orario di ricevimento studenti ===
Mar 17.30 - 19.30 
Stanza P121

=== Sito del corso ===
[http://webdid.usr.dico.unimi.it/sd/ Pagina ufficiale del corso].

=== Materiale didattico ===
* Testo: "'''Distributed Systems: Principles and Paradigms'''" - ''Andrew S. Tanenbaum & Martin Steen Van'' - Prentice Hall, 2002, ISBN 0-13-088893-1

* I lucidi delle lezioni sono presenti sul sito ufficiale del corso. Per accedere al materiale è necessario avere username e password.

* [http://www.dsy.it/forum/showthread.php?s=&threadid=24564 Appunti '''non ufficiali''' del corso]

=== Modalità d'esame ===
Se si sceglie di sostenere il primo appello (quello a giugno) si potrà lavorare ad un progetto durante le ore di laboratorio che verrà valutato alla fine delle lezioni pratiche. Le lezioni di laboratorio si svolgeranno nei giorni: 5, 12, 19, 26 aprile, 3 e 10 maggio in aula Sigma (via Comelico). Successivamente, a giugno, si sosterrà un esame scritto (test a scelta multipla e domande a risposta aperta). Il voto sarà dato dalla media dei due voti ottenuti nelle due prove (verrà dato pari peso a pratica e teoria - 3 crediti per entrambe). 
 
Se si decide di dare l'esame dopo giugno bisognerà sostenere un orale durante il quale si dovrà presentare anche il proprio progetto. 
 
Il testo del progetto resta valido fino ad aprile 2007.

== Diario del corso ==

=== Lezione di mercoledì 8 marzo 2006 ===
* Introduzione
* Definizione di "Sistema distribuito"
* Trasparenza
* Scalabilità
* Concetti hardware
* Concetti software

=== Lezione di mercoledì 15 marzo 2006 ===
* Paragone tra sistemi
* Esempio di Client
* Esempio di Server
* Architetture multitiered
* Distribuzione verticale e orizzontale di un Web Server
* Modello peer-to-peer
* Livelli del modello OSI (breve ripasso)
* Servizi di comunicazione middleware
* Persistenza, mancanza di persistenza; sincronia, asincronia nella comunicazione
* Socket
* Remote Procedure Call
* Remote Object Invocation

''Note dal docente: il 7 giugno ci sarà la prova finale; la prossima lezione sarà molto importante (algoritmi di sincronizzazione)!! ''

=== Lezione di mercoledì 22 marzo 2006 ===

* Sincronizzazione (capitolo 5 del Tanenbaum)
** Clock
** Orologi fisici, TAI, UTC
** Cristian's Algorithm
** The Berkley Algoritm
** Orologi Logici
** Algoritmo di Lamport
** Esempi e applicazioni
** Stato Globale di un Sistema Distribuito
** Algoritmo per Distributed Snapshot
** Elezione di un coordinatore
** L'algoritmo di Bully per l'elezione di un coordinatore
** L'algoritmo ad anello (Ring/Token Ring algorithm)
** Mutual Exclusion - Un algoritmo centralizzato

''Note dal docente: le prossime 5 lezioni saranno dedicate alla parte di laboratorio; di queste cinque, le prime tre si terranno in aula Alfa, le ultime due in aula Sigma.''

Sistemi distribuiti

2006-03-22T21:13:39Z

Mayetta: aggiunta note mercoledì 22 marzo

[[Categoria:Corsi]][[Categoria:Corsi Secondo Semestre]]

== Informazioni generali ==

=== Docenti ===
Prof. Claudio Bettini 
Dott. Sergio Mascetti (per la parte di laboratorio)

=== Orari delle lezioni ===
Mer 9.00 - 11.30 in aula Alfa (via Comelico) 
(con pausa di circa 20 minuti)

=== Orario di ricevimento studenti ===
Mar 17.30 - 19.30 
Stanza P121

=== Sito del corso ===
[http://webdid.usr.dico.unimi.it/sd/ Pagina ufficiale del corso].

=== Materiale didattico ===
* Testo: "'''Distributed Systems: Principles and Paradigms'''" - ''Andrew S. Tanenbaum & Martin Steen Van'' - Prentice Hall, 2002, ISBN 0-13-088893-1

* I lucidi delle lezioni sono presenti sul sito ufficiale del corso. Per accedere al materiale è necessario avere username e password.

* [http://www.dsy.it/forum/showthread.php?s=&threadid=24564 Appunti '''non ufficiali''' del corso]

=== Modalità d'esame ===
Se si sceglie di sostenere il primo appello (quello a giugno) si potrà lavorare ad un progetto durante le ore di laboratorio che verrà valutato alla fine delle lezioni pratiche. Le lezioni di laboratorio si svolgeranno nei giorni: 5, 12, 19, 26 aprile, 3 e 10 maggio in aula Sigma (via Comelico). Successivamente, a giugno, si sosterrà un esame scritto (test a scelta multipla e domande a risposta aperta). Il voto sarà dato dalla media dei due voti ottenuti nelle due prove (verrà dato pari peso a pratica e teoria - 3 crediti per entrambe). 
 
Se si decide di dare l'esame dopo giugno bisognerà sostenere un orale durante il quale si dovrà presentare anche il proprio progetto. 
 
Il testo del progetto resta valido fino ad aprile 2007.

== Diario del corso ==

=== Lezione di mercoledì 8 marzo 2006 ===
* Introduzione
* Definizione di "Sistema distribuito"
* Trasparenza
* Scalabilità
* Concetti hardware
* Concetti software

=== Lezione di mercoledì 15 marzo 2006 ===
* Paragone tra sistemi
* Esempio di Client
* Esempio di Server
* Architetture multitiered
* Distribuzione verticale e orizzontale di un Web Server
* Modello peer-to-peer
* Livelli del modello OSI (breve ripasso)
* Servizi di comunicazione middleware
* Persistenza, mancanza di persistenza; sincronia, asincronia nella comunicazione
* Socket
* Remote Procedure Call
* Remote Object Invocation

''Note dal docente: il 7 giugno ci sarà la prova finale; la prossima lezione sarà molto importante (algoritmi di sincronizzazione)!! ''

=== Lezione di mercoledì 22 marzo 2006 ===

* Sincronizzazione (capitolo 5 del Tanenbaum)
** Clock
** Orologi fisici, TAI, UTC
** Cristian's Algorithm
** The Berkley Algoritm
** Orologi Logici
** Algoritmo di Lamport
** Esempi e applicazioni
** Stato Globale di un Sistema Distribuito
** Algoritmo per Distributed Snapshot
** Elezione di un coordinatore
** L'algoritmo di Bully per l'elezione di un coordinatore
** L'algoritmo ad anello (Ring/Token Ring algorithm)
** Mutual Exclusion - Un algoritmo centralizzato

''Note dal docente: le prossime 5 lezioni saranno dedicate alla parte di laboratorio: le prime tre si terranno in aula Alfa, le ultime due in aula Sigma.''

Sistemi distribuiti

2006-03-08T13:00:01Z

Mayetta: /* Diario del corso */

[[Categoria:Corsi]][[Categoria:Corsi Secondo Semestre]]

== Informazioni generali ==

=== Docenti ===
Prof. Claudio Bettini
Dott. Sergio Mascetti (per la parte di laboratorio)

=== Orari delle lezioni ===
Mer 9.00 - 11.30 in aula Beta (via Comelico) 
(con pausa di circa 20 minuti)

=== Orario di ricevimento studenti ===
Mar 17.30 - 19.30 
Stanza P121

=== Sito del corso ===
[http://webdid.usr.dico.unimi.it/sd/ Qui] trovate la pagina ufficiale del corso.

=== Materiale didattico ===
Testo: "'''Distributed Systems: Principles and Paradigms'''" - ''Andrew S. Tanenbaum & Martin Steen Van'' - Prentice Hall, 2002, ISBN 0-13-088893-1

I lucidi delle lezioni sono presenti sul sito ufficiale del corso. Per accedere al materiale è necessario avere username e password.

=== Modalità d'esame ===
Se si sceglie di sostenere il primo appello (quello a giugno) si potrà lavorare ad un progetto durante le ore di laboratorio che verrà valutato alla fine delle lezioni pratiche. Le lezioni di laboratorio si svolgeranno nei giorni: 5, 12, 19, 26 aprile, 3 e 10 maggio in aula Sigma (via Comelico). Successivamente, a giugno, si sosterrà un esame scritto (test a scelta multipla e domande a risposta aperta). Il voto sarà dato dalla media dei due voti ottenuti nelle due prove (verrà dato pari peso a pratica e teoria - 3 crediti per entrambe). 
 
Se si decide di dare l'esame dopo giugno bisognerà sostenere un orale durante il quale si dovrà presentare anche il proprio progetto. 
 
Il testo del progetto resta valido fino ad aprile 2007.

== Diario del corso ==
=== Lezione di mercoledì 8 marzo 2006 ===
Introduzione 
Definizione di "Sistema distribuito" 
Trasparenza 
Scalabilità 
Concetti hardware 
Concetti software

Sistemi distribuiti

2006-03-08T10:40:42Z

Mayetta: /* Materiale didattico */

[[Categoria:Corsi]][[Categoria:Corsi Secondo Semestre]]

== Informazioni generali ==

=== Docenti ===
Prof. Claudio Bettini

=== Orari delle lezioni ===
Mer 9.00 - 11.30 in aula Beta (via Comelico) 
(con pausa di circa 20 minuti)

=== Orario di ricevimento studenti ===
Mar 17.30 - 19.30 
Stanza P121

=== Sito del corso ===
[http://webdid.usr.dico.unimi.it/sd/ Qui] trovate la pagina ufficiale del corso.

=== Materiale didattico ===
I lucidi delle lezioni sono presenti sul sito ufficiale del corso. Per accedere al materiale è necessario avere username e password.

=== Link utili ===

=== Modalità d'esame ===

== Diario del corso ==

Sistemi distribuiti

2006-03-08T10:39:39Z

Mayetta: aggiunta pausa

[[Categoria:Corsi]][[Categoria:Corsi Secondo Semestre]]

== Informazioni generali ==

=== Docenti ===
Prof. Claudio Bettini

=== Orari delle lezioni ===
Mer 9.00 - 11.30 in aula Beta (via Comelico) 
(con pausa di circa 20 minuti)

=== Orario di ricevimento studenti ===
Mar 17.30 - 19.30 
Stanza P121

=== Sito del corso ===
[http://webdid.usr.dico.unimi.it/sd/ Qui] trovate la pagina ufficiale del corso.

=== Materiale didattico ===

=== Link utili ===

=== Modalità d'esame ===

== Diario del corso ==

Reti fisse e mobili

2006-03-03T11:42:04Z

Mayetta: nuovi orari + posticipo inizio corso

Utente:Mayetta

2006-02-17T00:15:06Z

Mayetta:

== i miei corsi @ wiki.dsy.it ==

* [http://wiki.dsy.it/w/Reti_fisse_e_mobili Reti fisse e mobili]
* [http://wiki.dsy.it/w/Sistemi_distribuiti Sistemi distribuiti]

Utente:Mayetta

2006-02-17T00:14:47Z

Mayetta: creazione

== [[Utente:Mayetta]] ==

== i miei corsi @ wiki.dsy.it ==

* [http://wiki.dsy.it/w/Reti_fisse_e_mobili Reti fisse e mobili]
* [http://wiki.dsy.it/w/Sistemi_distribuiti Sistemi distribuiti]

Sistemi distribuiti

2006-02-17T00:00:48Z

Mayetta: inserito orario di ricevimento

[[Categoria:Corsi]][[Categoria:Corsi Secondo Semestre]]

== Informazioni generali ==

=== Docenti ===
Prof. Claudio Bettini

=== Orari delle lezioni ===
Mer 9.00 - 11.30 in aula Beta (via Comelico)

=== Orario di ricevimento studenti ===
Mar 17.30 - 19.30 
Stanza P121

=== Sito del corso ===
[http://webdid.usr.dico.unimi.it/sd/ Qui] trovate la pagina ufficiale del corso.

=== Materiale didattico ===

=== Link utili ===

=== Modalità d'esame ===

== Diario del corso ==

Sistemi distribuiti

2006-02-16T23:59:48Z

Mayetta: inserito orario delle lezioni

[[Categoria:Corsi]][[Categoria:Corsi Secondo Semestre]]

== Informazioni generali ==

=== Docenti ===
Prof. Claudio Bettini

=== Orari delle lezioni ===
Mer 9.00 - 11.30 in aula Beta (via Comelico)

=== Orario di ricevimento studenti ===

=== Sito del corso ===
[http://webdid.usr.dico.unimi.it/sd/ Qui] trovate la pagina ufficiale del corso.

=== Materiale didattico ===

=== Link utili ===

=== Modalità d'esame ===

== Diario del corso ==

Sistemi distribuiti

2006-02-16T23:58:57Z

Mayetta: /* Sito del corso */

[[Categoria:Corsi]][[Categoria:Corsi Secondo Semestre]]

== Informazioni generali ==

=== Docenti ===
Prof. Claudio Bettini

=== Orari delle lezioni ===

=== Orario di ricevimento studenti ===

=== Sito del corso ===
[http://webdid.usr.dico.unimi.it/sd/ Qui] trovate la pagina ufficiale del corso.

=== Materiale didattico ===

=== Link utili ===

=== Modalità d'esame ===

== Diario del corso ==

Sistemi distribuiti

2006-02-16T23:58:01Z

Mayetta: aggiunto docente

[[Categoria:Corsi]][[Categoria:Corsi Secondo Semestre]]

== Informazioni generali ==

=== Docenti ===
Prof. Claudio Bettini

=== Orari delle lezioni ===

=== Orario di ricevimento studenti ===

=== Sito del corso ===

=== Materiale didattico ===

=== Link utili ===

=== Modalità d'esame ===

== Diario del corso ==

Reti fisse e mobili

2006-02-16T23:57:22Z

Mayetta: /* Orario di ricevimento studenti */

[[Categoria:Corsi]][[Categoria:Corsi Secondo Semestre]]

== Informazioni generali ==

=== Docenti ===

Prof. Gianfranco Prini

=== Orari delle lezioni ===

Lun 8.45 - 11.30 in aula Sigma (via Comelico)

=== Orario di ricevimento studenti ===

Lun 11.30 - 12.30 
Stanza P110

=== Sito del corso ===

[http://homes.dico.unimi.it/~gfp/ Qui] trovate la pagina personale del Professore che ospita anche le informazioni riguardanti i suoi corsi.

=== Materiale didattico ===

=== Link utili ===

=== Modalità d'esame ===

== Diario del corso ==

Reti fisse e mobili

2006-02-16T23:55:34Z

Mayetta: /* Orari delle lezioni */

[[Categoria:Corsi]][[Categoria:Corsi Secondo Semestre]]

== Informazioni generali ==

=== Docenti ===

Prof. Gianfranco Prini

=== Orari delle lezioni ===

Lun 8.45 - 11.30 in aula Sigma (via Comelico)

=== Orario di ricevimento studenti ===

Lun 11.30 - 12.30
Stanza P110

=== Sito del corso ===

[http://homes.dico.unimi.it/~gfp/ Qui] trovate la pagina personale del Professore che ospita anche le informazioni riguardanti i suoi corsi.

=== Materiale didattico ===

=== Link utili ===

=== Modalità d'esame ===

== Diario del corso ==

Reti fisse e mobili

2006-02-16T23:55:14Z

Mayetta: aggiunto orario delle lezioni

[[Categoria:Corsi]][[Categoria:Corsi Secondo Semestre]]

== Informazioni generali ==

=== Docenti ===

Prof. Gianfranco Prini

=== Orari delle lezioni ===

Lun 8.45 - 11:30 in aula Sigma (via Comelico)

=== Orario di ricevimento studenti ===

Lun 11.30 - 12.30
Stanza P110

=== Sito del corso ===

[http://homes.dico.unimi.it/~gfp/ Qui] trovate la pagina personale del Professore che ospita anche le informazioni riguardanti i suoi corsi.

=== Materiale didattico ===

=== Link utili ===

=== Modalità d'esame ===

== Diario del corso ==

Reti fisse e mobili

2006-02-16T23:53:43Z

Mayetta: modifica orario di ricevimento

[[Categoria:Corsi]][[Categoria:Corsi Secondo Semestre]]

== Informazioni generali ==

=== Docenti ===

Prof. Gianfranco Prini

=== Orari delle lezioni ===

=== Orario di ricevimento studenti ===

Lun 11.30 - 12.30
Stanza P110

=== Sito del corso ===

[http://homes.dico.unimi.it/~gfp/ Qui] trovate la pagina personale del Professore che ospita anche le informazioni riguardanti i suoi corsi.

=== Materiale didattico ===

=== Link utili ===

=== Modalità d'esame ===

== Diario del corso ==

Reti fisse e mobili

2006-02-16T23:52:45Z

Mayetta: modifica sito del corso

[[Categoria:Corsi]][[Categoria:Corsi Secondo Semestre]]

== Informazioni generali ==

=== Docenti ===

Prof. Gianfranco Prini

=== Orari delle lezioni ===

=== Orario di ricevimento studenti ===

Lun 11.30 - 12.30

=== Sito del corso ===

[http://homes.dico.unimi.it/~gfp/ Qui] trovate la pagina personale del Professore che ospita anche le informazioni riguardanti i suoi corsi.

=== Materiale didattico ===

=== Link utili ===

=== Modalità d'esame ===

== Diario del corso ==

Reti fisse e mobili

2006-02-16T23:51:41Z

Mayetta: aggiunto docente, orario di ricevimento e sito del corso

[[Categoria:Corsi]][[Categoria:Corsi Secondo Semestre]]

== Informazioni generali ==

=== Docenti ===

Prof. Gianfranco Prini

=== Orari delle lezioni ===

=== Orario di ricevimento studenti ===

Lun 11.30 - 12.30

=== Sito del corso ===

[http://homes.dico.unimi.it/~gfp/ Sito del corso]

=== Materiale didattico ===

=== Link utili ===

=== Modalità d'esame ===

== Diario del corso ==

Reti fisse e mobili

2006-02-16T23:46:31Z

Mayetta: aggiunta sezione Link utili

[[Categoria:Corsi]][[Categoria:Corsi Secondo Semestre]]

== Informazioni generali ==

=== Docenti ===

=== Orari delle lezioni ===

=== Orario di ricevimento studenti ===

=== Sito del corso ===

=== Materiale didattico ===

=== Link utili ===

=== Modalità d'esame ===

== Diario del corso ==

Sistemi distribuiti

2006-02-16T23:46:09Z

Mayetta: aggiunte sezioni Docenti e Link utili

Reti fisse e mobili

2006-02-16T23:45:15Z

Mayetta: inserita sezione Docenti

Reti fisse e mobili

2006-02-16T23:42:15Z

Mayetta: creazione

[[Categoria:Corsi]][[Categoria:Corsi Secondo Semestre]]

== Informazioni generali ==

=== Orari delle lezioni ===

=== Orario di ricevimento studenti ===

===Sito del corso ===

=== Materiale didattico ===

=== Modalità d'esame ===

== Diario del corso ==

Logica per le applicazioni

2005-10-06T15:52:01Z

Mayetta: /* Informazioni generali */

== Informazioni generali ==

=== Orari delle lezioni ===

LUNEDI': 11.30-13.30 (in aula beta) 
MERCOLEDI': 9.30-11.30 (in aula beta)
VENERDI' : 9.30 -11.30 (in aula delta)

Cercate di essere puntuali! :)

=== Orario di ricevimento studenti ===

Attenersi all'orario di ricevimento, evitate telefonate o mail al di fuori dell'orario

=== Sito del corso ===

Il sito del corso è:
[http://homes.dsi.unimi.it/~ghilardi/ls/lpa.html]

=== Videolezioni ===

Le videolezioni sono diponibili a questo indirizzo:
[http://streaming.dico.unimi.it/]

=== Materiale didattico ===

- La dispensa reperibile sul sito del prof
- Il dimostratore automatico SPASS scaricabile da Internet secondo le indicazioni presenti sul sito del prof

=== Modalità d'esame ===

Orale con presentazione di un proprio esercizio formalizzato in SPASS. Durante l'orale verranno anche fatte domande sulla teoria spiegata a lezione e presente sulla dispensa.
Una modalità alternativa prevedere la presentazione di un progetto. 

=== Corso integrativo di logica ===
Durante le ore del corso sono previste delle esercitazioni con il dottor Zucchelli ("Metodi formali per la verifica dei protocolli") dal 24 Ottobre circa durante le ore di lezione.
Le prime 2 o 3 lezioni sono obbligatorie, poi facoltative per chi volesse fare l'esame con la modalità alternativa (progetto)

=== Rapporto con la laurea triennale ===
Chi avesse fatto come complementare logica matematica durante la laurea triennale, deve obbligatoriamente fare anche questo esame (i programmi sono distinti) Logica matematica e logica per le applicazioni per la specialistica hanno invece lo stesso programma

=== Recupero del debito ===
Il professor Ghilardi ha detto che non ha molto senso fare Logica Matematica come complementare della triennale. Se volete fare qualcosa riguardante la logica, contattate il prof e concordate un programma, oppure fate un corso integrativo che partirà più avanti con progetto annesso.

=== Altri corsi ===
Al secondo semestre c'è Logica II, un esame a moduli, il cui programma è molto variabile e verrà concordato in seguito

=== Iniziative e seminari ===
C'è la possibilità di fare una scuola di Logica sul Lago di Garda per una settimana circa, verso primavera. Possibilità di borse di studio.

== Diario del corso ==
=== Lezione di Lunedi' 3-10-05 ===

Sono state presentate le modalità del corso e introdotto cosa è SPASS: un dimostratore automatico, a cui diamo in pasto problemi di logica (basati sulla logica di saturazione per la logica del primo ordine) per vederceli risolti. In pratica, inseriamo le ipotesi e la tesi, e poi SPASS ci comunica se la tesi immessa è effettivamente conseguenza logica delle ipotesi.

Esistono anche altri dimostratori automatici come E (sotto Unix) e Vampire. E' stata progettata da due dottorandi della facoltà un'interfaccia Java che facilita l'inserimento delle clausole (la trovate sul sito del prof, nella parte delle esercitazioni, inserendo la password "jarinterfaccia".

La libreria TPTP contiene una serie di problemi che possono essere risolti con SPASS

=== Lezione di Mercoledi' 5-10-05 ===
Sono state introdotte nozioni e definizioni di:
-linguaggio formale
-termine
-enunciato
-ground

e spiegate la differenza tra la logica preposizionale, la logica del primo ordine e la logica di ordini superiori.

Comunque, vi consiglio di guardarvi le videolezioni, sono un validissimo aiuto! ;)

=== Lezione di Venerdì 7-10-05 ===