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 | B | Caratterizzanti | 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
|
2015/2016
|
Scuola
|
Scuola di Ingegneria Industriale e dell'Informazione
|
Corso di Studi
|
(Mag.)(ord. 270) - MI (481) Computer Science and Engineering - Ingegneria Informatica
|
Piano di Studio preventivamente approvato
|
T2A - COMPUTER SCIENCE AND ENGINEERING
|
Anno di Corso
|
2
|
Codice Identificativo
|
098887
|
Denominazione Insegnamento
|
AUTOMATED VERIFICATION OF TIMED SYSTEMS
|
Tipo Insegnamento
|
Monodisciplinare
|
Crediti Formativi Universitari (CFU)
|
5.0
|
Semestre
|
--
|
Programma sintetico
|
Automata-based approaches:
Timed Automata: definition, properties, model checking
The Uppaal tool
Variants of Timed Automata
Logic-based approaches
MTL (and variants) over continuous time: definitions, properties
Constraint LTL over clocks: definitions, properties, satisfiability checking
Automated satisfiability checking of MTL: the Zot tool
Beyond Timed Automata
|
Settori Scientifico Disciplinari (SSD)
|
Attività formative
|
Codice SSD
|
Descrizione SSD
|
CFU
|
B
|
ING-INF/05
|
SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
|
5.0
|
|
Orario: aggiungi e rimuovi | Scaglione | Docente/i | Lingua offerta | Programma dettagliato |
---|
Da (compreso) | A (escluso) |
---|
--- | A | ZZZZ | Rossi Matteo Giovanni | | |
|
|