Non-conventional Calculation Methods (2004/2005)

Course partially running

Course code
4S00057
Name of lecturer
Vincenzo Manca
Number of ECTS credits allocated
5
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Period
Second four-month term dal Jan 10, 2005 al Mar 11, 2005.

Lesson timetable

Second four-month term
Day Time Type Place Note
Tuesday 9:30 AM - 11:30 AM lesson Lecture Hall C  
Thursday 8:30 AM - 10:30 AM lesson Lecture Hall C  
Thursday 2:30 PM - 3:30 PM lesson Lecture Hall D  

Learning outcomes

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.

Syllabus

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.

Assessment methods and criteria

Esame orale.

Teaching aids

Documents