Infobiotica (2006/2007)

Corso a esaurimento

Codice insegnamento
4S00201
Docente
Giuditta Franco
crediti
4
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
2° Sem dal 1-mar-2007 al 8-giu-2007.

Orario lezioni

2° Sem
Giorno Ora Tipo Luogo Note
martedì 16.30 - 18.30 lezione Aula M  
mercoledì 13.30 - 14.30 lezione Aula M  
mercoledì 14.30 - 16.30 lezione Aula M  
giovedì 16.30 - 17.30 lezione Aula M  

Obiettivi formativi

Il corso intende fornire gli strumenti formali di base per la rappresentazione discreta dell'informazione biologica e per l'analisi algoritmica di processi biologici. Il programma si articola in tre parti: i) strutture matematiche discrete, ii) linguaggi, grammatiche e automi, iii) algoritmi DNA.

Programma

STRUTTURE DISCRETE:

- Numeri naturali e sistemi numerici
- Induzione e Successioni
- La successione dei primi e la successione di Fibonacci
- Stringhe e sequenze nucleotidiche
- Alberi e sistemi a membrane
- Insiemi e relazioni
- Grafi e reti biologiche
- Funzioni e popolazioni molecolari
- Variabili e proposizioni
- Schemi e formule combinatorie

LINGUAGGI, GRAMMATICHE E AUTOMI:

- Linguaggi e operazioni sui linguaggi
- Grammatiche e accrescimenti biologici
- Pattern lineari
- Automi a stati finiti
- Espressioni regolari
- Calcolabilita', semidecidibilita' e decidibilita'
- Macchina di Turing e tesi di Church

ALGORITMI DNA:

- Struttura e rappresentazione del DNA
- Operazioni DNA di base
- Esperimento di Adleman
- SAT e algoritmo di Lipton
- Bioalgoritmi per risolvere SAT
- Estrazione e ricombinazione DNA con XPCR

Modalità d'esame

Esame orale