Modelli di calcolo non convenzionale (2005/2006)

Corso a esaurimento

Codice insegnamento
4S00057
Docente
Vincenzo Manca
crediti
5
Altri corsi di studio in cui è offerto
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
3° Q dal 3-apr-2006 al 9-giu-2006.

Orario lezioni

3° Q
Giorno Ora Tipo Luogo Note
martedì 11.30 - 13.30 lezione Aula E  
mercoledì 8.30 - 11.30 lezione Aula E  

Obiettivi formativi

Il corso intende presentare i metodi ed i risultati fondamentali del "DNA Computing" e del "Membrane Computing" nel quadro notazionale e concettuale delle teorie delle stringhe, dei linguaggi formali e degli automi.

Programma

1. Calcolo, informazione e spazi di dati.
2. Monoidi, modelli fisici di stringhe e pattern lineari.
3. Struttura del DNA e algoritmi di duplicazione.
4. Analisi computazionale di protocolli biomolecolari:
PCR, Gel-Elettroforesi,Sequenziamento, Enzimi di restrizione,
Selezione per affinita',Mix and split,Blocking.
5. Esperimento di Adleman e calcoli biomolecolari.
6. Modello di Adleman-Lipton ed estensioni.
7. Algoritmi biomolecolari per SAT
8. Linguaggi formali e principali gerarchie.
9. Bisomatismo, trisomatismo e duplicazione.
10. Teoremi di Klene, Ginzburg, Kuroda, Post, Savich.
11. Schemi e regole di ricombinazione di stringhe.
12. Strategie di derivazione e di regolazione.
13. Sistemi monoidali e universalita'.
14. Sistemi di Head e Splicing finito: lemma di regolarita'.
15. Sistemi dinamici discreti.
16. Sistemi a membrana.

Modalità d'esame

Esame orale.

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

Statistiche esiti
Esiti Esami Esiti Percentuali Media voti Deviazione Standard
Positivi 76.0% 27 2
Respinti --
Assenti 24.0%
Ritirati --
Annullati --
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
0.0% 2.6% 0.0% 0.0% 0.0% 2.6% 5.2% 10.5% 26.3% 18.4% 23.6% 0.0% 7.8% 2.6%

Valori relativi all'AA 2005/2006 calcolati su un totale di 50 iscritti. I valori in percentuale sono arrotondati al numero intero più vicino.