Vai al contenuto principale
Se prosegui nella navigazione del sito, ne accetti le politiche:
  • Condizioni di utilizzo e trattamento dei dati
Prosegui
x
Se prosegui nella navigazione del sito, ne accetti le politiche:
  • Condizioni di utilizzo e trattamento dei dati
Prosegui
x
e-Learning - UNIMIB
  • Home
  • Altro
Ascolta questa pagina con ReadSpeaker
Italiano ‎(it)‎
English ‎(en)‎ Italiano ‎(it)‎
Ospite
 Login
e-Learning - UNIMIB
Home
Espandi tutto Minimizza tutto
Espandi Minimizza Introduzione Evidenziato
  • Avvisi
  • Temi d'esame
Espandi Minimizza Informazioni generali Evidenziato
Espandi Minimizza Esami Evidenziato
  • Esempi di temi d'esame
  • Appello del 6 febbraio 2023
  • Appello di giugno - prova scritta
  • Appello di luglio - prova scritta
  • Appello del 3 luglio 2023
  • Appello di settembre
Espandi Minimizza Dimostrazioni di correttezza Evidenziato
  • Materiale di studio
  • Lezione del 3 ottobre 2022
  • Lezione del 6 ottobre 2022
  • Lezione del 10 ottobre
  • Lezione del 13 ottobre 2022
  • Esercizi svolti
  • Lezione del 17 ottobre
Espandi Minimizza Modelli di sistemi concorrenti - CCS Evidenziato
  • Lezione del 20 ottobre 2022, ore 15:30-18:30, aula...
  • appunti_della lezione_22ottobre22
  • Lezione del 24 ottobre 2022, ore 15:30-17:30, aula...
  • appunti_della lezione_24_ottobre_22
  • Lezione del 27 ottobre 2022, ore 15:30-16:30, aula...
  • appunti_della lezione_27_ottobre_22
  • Lezione del 3 novembre 2022, ore 15:30-18:30, aula...
  • slide sulla Bisimulazione debole e il gioco per verificarla
  • Lezione del 7 novembre 2022, ore 15:30-18:30, aula...
  • Bisimulazione debole proprietà - slide
  • Lezione del 10 novembre 2022, ore 15:30-18:30, aul...
  • Bisimulazione e congruenza
  • Esercizi sulla verifica della Bisimulazione - da svolgere
  • Lezione del 14 novembre 2022, ore 15:30-18:30, aul...
  • soluzioni degli esercizi sulla verifica della Bisimulazione
  • lez 14 nov
  • la specifica di un protocollo di comunicazione
  • ------------------------------------------- Mater...
  • Reactive Systems: Modelling, Specification and Verification
  • Bisimulazione debole e il gioco per la sua verifica
  • Bisimulazione, esempi
  • Letture
  • C.A.R. Hoare, Communicating Sequential Processes, 1978
  • R. Milner, Elements of Interactions
  • caal_tutorial
Espandi Minimizza Modelli di sistemi concorrenti - Reti di Petri Evidenziato
  • Lezione del 17 novembre 2022, ore 15:30-18:30, a...
  • Lezione del 21 novembre 2022, ore 15:30-18:30, a...
  • Lezione del 24 novembre 2022, ore 15:30-18:30, a...
  • Lezione del 28 novembre 2022, ore 15:30-18:30, a...
  • Da reti elementari a reti PT e a reti colorate - proprietà di comportamento
  • Lezione del 1 dicembre 2022, ore 15:30-18:30, au...
  • esercizi sui processi
  • Esercizio sulla bisimulazione
  • ------------------------------------------- Mat...
  • Reti di Petri 1 -slide
  • Soluzione degli esercizi sui sistemi elementari e il grafo dei casi
  • I processi non sequenziali - slide
  • soluzioni degli esercizi sui processi
  • G. Rozenberg, J. Engelfriet; Elementary Net Systems
  • J. Klein, M. Koutny; Elementary Net Systems
  • Letture (copia)
  • T.Murata: "Petri nets: Properties, Analysis and Applications.”
  • Carl Adam Petri - Life and Science, Einar Smith, Springer
  • L'eredità di C.A. Petri: dagli automi alla comunicazione
Espandi Minimizza Logiche temporali e model-checking Evidenziato
  • Introduzione al model-checking
  • Guida allo studio - Model checking e logiche temporali
  • Model Checking: A Tutorial Overview, Stephan Merz
  • Topics in Concurrency - Lecture Notes
  • Model Checking: Algorithmic Verification and Debugging
  • Logiche temporali e model-checking
  • Time, Clocks, and the Ordering of Events in Distributed Systems
  • Materiale per la lezione del 12 dicembre
  • Lezione del 15 dicembre 2022
  • Lezione del 19 dicembre 2022
  • Introduzione a reticoli e ordini parziali
  • Lezione del 22 dicembre
  • Lezione del 9 gennaio 2023 - registrazione, prima parte
  • Lezione del 9 gennaio 2023 - registrazione, seconda parte
Percorso della pagina
  1. Area Sociologica
  2. Corso di Laurea Triennale
  3. Scienze dell'Organizzazione [E1601N]
  4. Insegnamenti
  5. A.A. 2020-2021
  6. 1° anno
  1. Matematica
  2. Unità 12. Serie
  3. Esercitazione 07. Studio di funzione
Insegnamento Titolo del corso
Matematica
Codice identificativo del corso
2021-1-E1601N060
Descrizione del corso SYLLABUS

Esercitazione 07. Studio di funzione

Aggregazione dei criteri
Ospite (Login)
Politiche
Ottieni l'app mobile
Powered by Moodle
© 2025 Università degli Studi di Milano-Bicocca
  • Privacy
  • Accessibilità
  • Statistiche