Informational Methods (2008/2009)

Course Not running, not visible

Course code
Vincenzo Manca
Teaching is organised as follows:
Unit Credits Academic sector Period Academic staff
Teoria 4 INF/01-INFORMATICS 1° Q - solo 1° Anno Vincenzo Manca
Laboratorio 2 INF/01-INFORMATICS periodo zero Carlo Drioli

Learning outcomes

Module: Theory
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.

Module: Laboratory
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.


Module: Theory
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.

Module: Laboratory
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.

Assessment methods and criteria

Module: Theory
Written and oral examination.

Module: Laboratory
written examination integrated with the theory module.

Reference books
Author Title Publisher Year ISBN Note
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