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
|
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
|
093548
|
|
Denominazione Insegnamento
|
MODELING TIME IN COMPUTING
|
|
Tipo Insegnamento
|
Monodisciplinare
|
|
Crediti Formativi Universitari (CFU)
|
5.0
|
|
Semestre
|
--
|
|
Programma sintetico
|
Models including a notion of time are ubiquitous in the natural sciences and engineering, and they also received the attention of philosophers, linguists, and other scholars. It is in computing, however, where the abstractions provided by the traditional models of time of the physical sciences can be unbecoming. To bridge this hiatus between abstractions, computer science research has been quite prolific in spawning novel models of time. This course presents the state of the art in this area, including some historical perspective and not omitting the occasional controversial aspects.
The goal is to help students develop a solid understanding of the problems related with the analysis of phenomena and processes whose behavior critically depends on timing aspects.
The main topics covered by the course are (tentatively):
- Key issues that arise when modeling time across every type of system.
- Critical review of traditional ways to deal with time in science, engineering and computer science
-State of the art approaches to modeling time and related analysis techniques:
Operational formalisms:
--Synchronous machines based on finite state automata: timed and stochastic extensions
--Asynchronous formalisms: Petri nets; timed and stochastic extensions
Logic formalisms for time modeling
--Hints on algebraic approaches and dual language approaches.
|
|
Settori Scientifico Disciplinari (SSD)
|
|
Attività formative
|
Codice SSD
|
Descrizione SSD
|
CFU
|
|
B
|
ING-INF/05
|
SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
|
5.0
|
|
|
Scaglione
da (compreso): A
a (escluso): ZZZZ
|
|
Insegnamento Annuale
A
|
|
|
Dettaglio 
Orario didattico