Modelli di calcolo naturale (2010/2011)

Corso a esaurimento (attivi gli anni successivi al primo)

Codice insegnamento
4S000528
Docente
Vincenzo Manca
Coordinatore
Vincenzo Manca
crediti
6
Altri corsi di studio in cui è offerto
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
I semestre dal 4-ott-2010 al 31-gen-2011.

Orario lezioni

I semestre
Giorno Ora Tipo Luogo Note
martedì 9.30 - 11.30 lezione Aula C  
mercoledì 8.30 - 10.30 lezione Aula F  

Obiettivi formativi

Il corso presenta modelli di calcolo di ispirazione biologica (DNA e Membrane Computing), sviluppando l'aspetto di interazione tra tali modelli e l'analisi computazionale di sistemi biologici.

Programma

Richiami su calcoli, grammatiche, linguaggi e automi. Calcoli bioispirati, tipi e paradigmi fondamentali. Struttura DNA, e calcoli di trascrizione e traduzione. Notazioni e Operazioni DNA. Modello geometrico di forme molecolari bilineari. Operazioni su DNA test tube. Modello di Adleman-Lipton e analisi algoritmica di protocolli DNA. PCR. XPCR. Membrane e calcoli su membrane. MP sistemi. Algoritmi metabolici e modelli biologici basati su grammatiche MP. Modelli di dinamiche biologiche. Problemi di biologia computazionale sintetica.

Modalità d'esame

Esame orale.

Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

I dati relativi all'AA 2010/2011 non sono ancora disponibili