Università degli studi dell'Insubria

MODELLI PER SISTEMI BIOLOGICI

A.A. di erogazione 2013/2014

Laurea Magistrale in MATEMATICA
 (A.A. 2013/2014)

Docenti

L'insegnamento è condiviso, tecnicamente "mutuato" con altri corsi di laurea, consultare il dettaglio nella sezione Mutuazioni
Anno di corso: 
1
Tipologia di insegnamento: 
Affine/Integrativa
Settore disciplinare: 
INFORMATICA (INF/01)
Crediti: 
8
Ciclo: 
Primo Semestre
Ore di attivita' frontale: 
64
Dettaglio ore: 
Lezione (64 ore)

Il corso tratta le Algebre di Processi, un formalismo inizialmente pensato per la descrizione formale dei sistemi concorrenti, e che ha in seguito trovato impiego nella specifica dei sistemi distribuiti, dei sistemi mobili e, recentemente, dei sistemi biologici. Le Algebre di Processi forniscono i meccanismi per descrivere, ad alto livello, le interazioni, le comunicazioni e le sincronizzazioni tra processi/agenti indipendenti. Durante il corso verranno mostrate possibili applicazioni del formalismo, dalla specifica di noti protocolli di comunicazione alla specifica di sistemi biologici multiscala. Verrà introdotta la Semantica Operazionale Strutturata, che consente di descrivere il comportamento di un sistema concorrente mediante sequenze di passi computazionali. Verranno discusse alcune nozioni di equivalenza tra processi, vale a dire concetti che consentono di stabilire quando due processi sintatticamente diversi sono in grado di simularsi a vicenda e, pertanto, specificano, di fatto, il medesimo sistema. Verranno studiate le proprietà di congruenza di tali equivalenze, nonché i formati delle regole di Semantica Operazionale Strutturata che la garantiscono. Al termine del corso lo studente sarà in grado di usare il formalismo nei contesti opportuni.

Aver seguito il corso di Programmazione.

Il corso tratta i seguenti argomenti:
• Costrutti di base per descrivere le interazioni, le comunicazioni e le sincronizzazioni tra processi indipendenti.
• Specifiche di protocolli di comunicazione.
• Specifiche di sistemi biologici multiscala.
• Semantica Operazionale Strutturata: costruzione del sistema di transizioni mediante regole di inferenza.
• Equivalenze comportamentali tra processi.
• Proprietà di congruenza delle equivalenze comportamentali.
Il corso prevede 64 ore di lezione.

Il materiale didattico consiste in dispense ed articoli scientifici che verranno distribuiti dal docente.
E’ prevista una prova orale. Di norma lo studente esporrà un approfondimento di un argomento non trattato a lezione, concordato col docente, la cui preparazione richiede la conoscenza degli argomenti trattati nel corso. In alternativa è possibile sostenere una prova orale classica in cui lo studente è tenuto a rispondere a quesiti posti dal docente.

Cerchi il programma? Potrebbe non essere ancora stato caricato o riferirsi ad insegnamenti che verranno erogati in futuro.
Seleziona l‘anno in cui ti sei immatricolato e troverai le informazioni relative all'insegnamento del tuo piano di studio.

A.A. 2013/2014

Anno di corso: 2
Curriculum: PERCORSO COMUNE