Modelli di calcolo non convenzionale (2004/2005)

Corso a esaurimento

Codice insegnamento
4S00057
Docente
Vincenzo Manca
crediti
5
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
2° Q dal 10-gen-2005 al 11-mar-2005.

Orario lezioni

2° Q
Giorno Ora Tipo Luogo Note
martedì 9.30 - 11.30 lezione Aula C  
giovedì 8.30 - 10.30 lezione Aula C  
giovedì 14.30 - 15.30 lezione Aula D  

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.

Materiale didattico

Documenti

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 80.0% 26 1
Respinti --
Assenti --
Ritirati --
Annullati 20.0%
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 25.0% 25.0% 25.0% 25.0% 0.0% 0.0% 0.0% 0.0%

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