| Detailed information |
| Original study plan |
Master's programme Bioinformatics 2015W |
| Objectives |
The course gives an overview of some of the methods from computer algebra and computational logic that are applied to biological problems.
At the end of the course, students are supposed to understand and be able to apply basic techniques from discrete mathematics, mathematical logic, and automated reasoning in solving problems from bioinformatics.
|
| Subject |
The course 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.
|
| Criteria for evaluation |
Written exam with open books.
|
| Methods |
Slide presentations complemented by examples presented on the blackboard.
During the presentations the students are encouraged to keep discussing the issues and complete examples on the blackboard.
|
| Language |
English |
| Study material |
Course material is made available to the students via the webpage of the course.
|
| Changing subject? |
No |
| Corresponding lecture |
BIMPKKVADMB: KV Algebraische und diskrete Methoden der Biologie (3 ECTS)
|
