Scientific Disciplinary Sector (SSD)
INF/01 - INFORMATICS
2nd Semester dal Mar 1, 2010 al Jun 15, 2010.
The course intends to present the fundamental discrete structures, by stressing their role in the analysis of biological phenomena.
Discrete structures: numbers, sets, sequences, multisets, strings, operations, trees, and graphs. Languages, automata, and grammars: linear patterns and regular expressions, replacement and types of rules, computation machines. Biological aggregates: bilinear strings and DNA operations, genomes and evolution trees, multiset transformations, membrane systems and protocells, reaction graphs and metabolic dynamics, methods and problems of synthetic biology. Numbers and induction: number systems, number representations, inductive definitions of important numerical sequences, and structural induction on strings, trees and graphs. Elements of combinatorics: allocations and partitions, binomial coefficients, Stirling approximation, numbers of Stirling, Bell and Catalan, alignments, magnitude and asynthotic orders, analytical versus recurrent and generative enumeration formulae. Outlines of discrete probability. Biological nets and connectivity indexes.
Written and oral examination.