Algebraische und diskrete Methoden der Biologie

Applications of symbolic (algebraic, logic, discrete) methods to biological problems attracts growing interest. Some of the examples are modeling and analysis of signal transduction and metabolic networks in mammalian cells using rewriting logic; modeling biochemical regulatory networks as boolean networks; using temporal logics to formalize a set of biological properties such as reachability, checkpoints, stability or oscillations; application of difference equations in population dynamics, constraint solving techniques in molecular biology, etc. The course gives an overview of some of the methods from computer algebra and computational logic that can be (potentially) applied to biological problems. The lecture course begins with an introductory lecture on the basic mathematical models and approaches known in biology (Stephan Dreiseitl), general classification of models given in

is followed. In further lectures three general subjects are discussed:

This course is intended for students of mathematics or bioinformatics who are interested on the mathematical modelling of biological processes. There is no particular prerequisite for the course.

Organization

Summer Semester 2010.

Registration

Please register for the course via the KUSSS system.

Literature

Lecture 1, Lectures 2,3, Lectures 4,5,6, Lecture 7, Lecture 8, Lecture 9, Lecture 10, Lecture 11, Lecture 12

Maintained by Lena Kartashova