Con questa funzione puoi costruire il tuo calendario settimanale delle lezioni, personalizzato sulla base dei corsi che intendi seguire.
Attenzione: l'Orario Personalizzato non sostituisce la presentazione del piano degli studi! E' uno strumento informale, che ti può aiutare a gestire al meglio l'organizzazione della frequenza alle lezioni prima della presentazione del piano studi.
Dopo aver presentato piano ti raccomandiamo di utilizzare il servizio Orario delle lezioni presente nel tuo elenco dei Servizi Online.
Per creare il calendario personalizzato segui queste istruzioni:
- Clicca sul link "Abilita" per procedere. Ti verrà chiesto il cognome e nome per determinare il tuo scaglione alfabetico.
-
Per aggiungere o togliere insegnamenti dal tuo Orario Personalizzato, utilizza le iconcine che trovi in corrispondenza degli insegnamenti:
 aggiunta dell'insegnamento rimozione dell'insegnamento selezione della sezione del laboratorio di Architettura
(N.B: la sezione effettiva in cui si dovrà seguire la didattica verrà determinata dopo la presentazione dei Piani di Studio)
-
Nella barra laterale a sinistra è indicato il numero degli insegnamenti inseriti nell'Orario.
Sono inoltre presenti questi comandi:
 Visualizza orario: permette di visualizzare l'orario sinottico settimanale Elimina orario: cancella le selezioni effettuate
Al termine dell'inserimento, puoi stampare il calendario che hai costruito.
| Semestre (Sem) | | 1 | Primo Semestre | | 2 | Secondo Semestre | | A | Insegnamento Annuale | Attività formative | | C | Affini o integrative | Lingua d'erogazione |  | Insegnamento completamente offerto in lingua italiana |  | Insegnamento completamente offerto in lingua inglese | | -- | Non definita | Didattica innovativa |  | I CFU riportati a fianco a questo simbolo indicano la parte dei CFU dell'insegnamento erogati con Didattica Innovativa.
Tali CFU riguardano:
- Cotutela con mondo esterno
- Blended Learning & Flipped Classroom
- Massive Open Online Courses (MOOC)
- Soft Skills
|
|
|
Anno Accademico
|
2014/2015
|
|
Scuola
|
Scuola di Ingegneria Industriale e dell'Informazione
|
|
Corso di Studi
|
(Mag.)(ord. 270) - MI (434) Ingegneria Informatica
|
|
Piano di Studio preventivamente approvato
|
T2B - Engineering of computing systems
|
|
Anno di Corso
|
2
|
|
Codice Identificativo
|
091021
|
|
Denominazione Insegnamento
|
LOGICA E ALGEBRA 2
|
|
Tipo Insegnamento
|
Monodisciplinare
|
|
Crediti Formativi Universitari (CFU)
|
5.0
|
|
Semestre
|
Primo Semestre
|
|
Programma sintetico
|
Scopo del corso è la presentazione, il più possibile unificante, di alcune logiche di particolare interesse per l'Ingegneria dell'Informazione, con particolare attenzione a questioni di decidibilità e agli aspetti applicativi, nonché la discussione di alcuni dei fondamenti matematici della crittografia, ovvero la teoria dei campi finiti.
Nella prima parte, dopo i principali risultati di correttezza, completezza e decidibilità per un'ampia classe di logiche modali, verrà descritto il procedimento di risoluzione tramite i tableaux semantici. Verranno introdotte le logiche descrittive e le logiche temporali (CTL, CTL* e LTL), per LTL verrà presentato il model checking basato su automi.
Nella seconda parte verranno presentati i principali risultati concernenti i campi finiti e un algoritmo di fattorizzazione per polinomi su un campo (algoritmo di Berlekamp). Infine verranno discusse alcune applicazioni in campo crittografico (firma digitale e LFSR).
|
|
Settori Scientifico Disciplinari (SSD)
|
|
Attività formative
|
Codice SSD
|
Descrizione SSD
|
CFU
|
|
C
|
MAT/01
|
LOGICA MATEMATICA
|
5.0
|
|
| Orario: aggiungi e rimuovi | Scaglione | Docente/i | Lingua offerta | Programma dettagliato |
|---|
| Da (compreso) | A (escluso) |
|---|
| --- | A | ZZZZ | Cherubini Alessandra | |  |
|
|
Dettaglio 
Orario didattico