Modelli di calcolo naturale (2011/2012)

Corso a esaurimento (attivi gli anni successivi al primo)

Codice insegnamento
4S000528
Crediti
6
Coordinatore
Vincenzo Manca
Altri corsi di studio in cui è offerto
Altri corsi di studio in cui è offerto
    Settore disciplinare
    INF/01 - INFORMATICA
    Lingua di erogazione
    Italiano
    L'insegnamento è organizzato come segue:
    Attività Crediti Periodo Docenti Orario
    Teoria 3 I semestre Vincenzo Manca
    Laboratorio 3 I semestre Vincenzo Manca

    Orario lezioni

    I semestre
    Attività Giorno Ora Tipo Luogo Note
    Teoria martedì 14.30 - 16.30 lezione Aula C  
    Teoria mercoledì 8.30 - 10.30 lezione Aula C  

    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.E' fortemente consigliata le frequenza per almeno un 60% delle ore del corso.

    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 con possibile discussione su un progetto preventivamente definito.