Modelli di calcolo non convenzionale (2007/2008)

Corso a esaurimento

Codice insegnamento
4S00057
Docente
Vincenzo Manca
crediti
5
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
3° Q dal 7-apr-2008 al 13-giu-2008.

Orario lezioni

3° Q
Giorno Ora Tipo Luogo Note
martedì 14.30 - 17.30 lezione Aula D  
mercoledì 16.30 - 18.30 lezione Aula D  

Obiettivi formativi

Il corso, dopo una parte generale di rassegna dei vari tipi di modelli di calcolo, si concentra sulla presentazione di sistemi di calcolo basati sul "Natural Computing" ("DNA Computing" and "Membrane Computing", mettendo in evidenza le loro applicazioni al "Biological Modeling".

Programma

Nozioni di base sui modelli di calcolo. Carateristiche generali e specifiche di varie classi di modelli di calcolo. Modelli di calcolo naturale. Richiami di teoria dei linguaggi formali, teoremi notevoli di rappresentazione, gerarchia e universalita'. Introduzione al DNA Computing. Analisi matematica delle operazioni su popolazioni di DNA. Problemi sperimentali. Doppie stringhe, notazione e principali operazioni. Multinsiemi di molecole, Analisi del protocollo PCR. Metodi di calcolo basati su PCR. Sistemi a membrane e P sistemi. Caratteristiche principali dei P sistemi. P sistemi metabolici. Applicazione degli MP sistemi allo studio di dinamiche biologiche. Software basato sui sistemi a membrane e su sistemi analoghi.

Modalità d'esame

Esame Orale