|Unit||Credits||Academic sector||Period||Academic staff|
|Teoria||4||INF/01-INFORMATICS||1° Q - solo 1° Anno||
The course intends to present discrete structures and related algorithms, by emphasizing their role in the definition of
mathematical and computational models which are biologically relevant. In the first part, after briefly introducing the basic discrete structures, the standard concepts of formal languages and automata are presented. Then, structural induction is presented, and the basic combinatorial schemata are analyzed. Finally the biological relevance of discrete structures is addressed in the conext of biological modeling.
The laboratory introduces to computer systems in the context of Linux operating system, by focusing on the file system structure, and on the main network services.
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. Numbers and induction: 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 orders and asymptotic orders. Biological aggregates: bilinear strings and DNA operations, genomes and evolution trees, multiset transformations, membrane and protocells, reaction graphs and metabolic dynamics, biological nets and connectivity indexes. Methods and problems of synthetic biology.
Introduction: basics of computer architecture and operating sysstem
-Operating System Linux
-The file system, main operations, and principles of text editors (vi, emacs, joe)
-Shell scripts (main commands with examples)
-Networks: protocols, servces, applications.
-Authoring and document composition: Latex, syntax with examples.
Written and oral examination.
written examination integrated with the theory module.
|Sciuto D., Buonanno G., Mari L.||Introduzione ai Sistemi Informatici (Edizione 3)||McGraw-Hill||2005||883866269X|
|Vincenzo Manca||Metodi Informazionali (Edizione 1)||Bollati Boringhieri||2003||8833957152|