|
|
|
|
|
The course gives an overview of some of the methods from computer algebra and computational logic that are applied to biological problems. It is split into four parts: applications of discrete mathematics in bioinformatics, applications of mathematical logic and automated reasoning in biology, applications of rewriting and pathway logic in modeling of biological entities, and, application of difference equations in population dynamics.
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.
Summer Semester 2012.
Please register for the course via the KUSSS system.
Maintained by Nikolaj Popov