logo-polimi
Loading...
Manifesto
Struttura Corso di Studi
Cerca/Visualizza Manifesto
Dati Insegnamento
Scarica il Manifesto
Regolamento didattico
Regolamento non disponibile
Elenco docenti
Strutture didattiche
Dati quantitativi
Internazionalizzazione
Orario Personalizzato
Il tuo orario personalizzato è disabilitato
Abilita
Ricerche
Cerca Docenti
Cerca Insegnamenti
Cerca insegnamenti degli Ordinamenti precedenti al D.M.509
Erogati in lingua Inglese

Legenda
Semestre (Sem)
1Primo Semestre
2Secondo Semestre
AInsegnamento Annuale
Attività formative
BCaratterizzanti
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
Dati Insegnamento
Contesto
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 T2A - Sistemi e applicazioni dell'Informatica
Anno di Corso 2

Scheda Insegnamento
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   
DataDove09:0010:0011:0012:0013:0014:0015:0016:0017:0018:0019:0020:00
Lunedì
Martedì
Mercoledì
Giovedì
Venerdì
Sabato
manifesti v. 3.1.9 / 3.1.9
Area Servizi ICT
18/11/2019