Non-conventional Calculation Methods (2008/2009)

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
Location
VERONA
Period
3° Q dal Apr 20, 2009 al Jun 19, 2009.

Lesson timetable

Learning outcomes

The course presents a general overview of different computation methods and moves its main focus on the computation methods of "Natural Computing" ("DNA Computing" and "Membrane Computing") by emphasizing their applications to the "Biological Modeling".

Syllabus

Basic notions on computation models. Generali aspects and definition of different classes of models. Natural models. Fundamental formal language theorems: Hierarchy and universality. Introduction to DNA Computing. Mathematical operations on DNA populations. Sperimental problems. Double strings, DNA notation and multinsets of moleculs. Analyses of PCR protocols and PCR computing. Membrane systems and P systems. Metabolic P systems. Application of MP systems to biological dynamics. Software based on membrane systems and symilar systems.

Assessment methods and criteria

Oral Examination

Share