In questa pagina troverete il programma e i materiali relativi ai seguenti corsi:

Formal Methods

Algoritmi e Strutture dati

Computational Methods For Data Analysis

doc. Prof. Sebastiani

doc. Prof. Montresor

doc. Proff. Sebe and Giordani


Esercitazioni di Formal Methods, A.A. 2013/2014 (Universita' di Trento)


Corso di Laurea in Informatica.
Titolare del corso: Roberto Sebastiani


Feb 28, 2014
Introduction to SPIN
Introduction to SPIN
2 Promela examples:
Hello world!
Producers/Consumers
Slides
hello.pml
prodcons.pml
prodcons2.pml


Mar 07, 2014
Overview of PROMELA
Slides "Processes and Data Objects"
Slides "Mutual Exclusion"
Dekker Algorithm
dekker2.pml
doran.pml
peterson.pml


Mar 21, 2014
Channels in PROMELA
Slides "Channels"
Slides "Asynchronous Network Problems"
verify.pml
alternating_bit_improved.pml
leader.pml


Mar 26 (14.15-16.00) and Mar 28, 2014
Verifying LTL properties
Slides "Verifying LTL properties"
leader.pml
alternating_bit.pml


April 04, 2014
NuSMV: Introduction and Examples
Slides "NuSMV: Introduction and Examples"
counter1bit.smv
counter2bit.smv
counter4reset.smv
counter64.smv
counter4reset_modules.smv
counter4reset_constraints.smv


April 15, 2014
NuSMV: Property Specification
Slides "NuSMV: Property Specification"


Esercitazioni e Laboratorio di Algoritmi e Strutture Dati, A.A. 2013/2014


Corsi di Laurea in Informatica.
Laurea di primo livello, I anno, 6 crediti.
Titolare del corso: Alberto Montresor


7 Marzo 2014
Analisi di Algoritmi
Esercitazione in aula con Ricorrenze:
Metodo dell'iterazione
Metodo della sostituzione
Metodo a livelli
Metodo induttivo
Dimostrazioni per induzione. Utilizzo dei teoremi visti a teoria.
Esercizi e Soluzioni.



Computational Methods for Data Analysis, A.A. 2013/2014 (Universita' di Trento)


Corso di Laurea Magistrale in Scienze Cognitive.
Titolari del corso: Nicu Sebe e Giordani Alessandra


April 16, 2014
Introduction to Machine Learning
Slides