#include "header"
Master of Sciences Programs in ``Logic and Algorithms''
-
Our Department is responsible for the teaching of the Master of
Sciences students in the subject "`Logic and algorithms"'. There
are two programs---one for degree "`Master of Sciences in
Mathematics"' and another for degree "`Master of Sciences in
Informatics"'.
- The courses extends for three semesters, the third being for
working out and defending of a Master of Sciences Thesis. For
Students who have not studied in our Faculty there is one additional
year during which they have to attend a selection of the existing
Bachelor and Master of Sciences courses.
Program for degree ``Master of Sciences in Mathematics''
- First<>semester
-
1.<>Mathematical logic<>II
2.<>Modal logic
3.<>Recursion theory
4.<>Lambda calculus
- Second semester
-
1.<>Model theory
2.<>Set theory
3.<>Other subjects---90<>hours
- Third<>semester
-
Working out and defending a Master Thesis.
Program for degree ``Master of Sciences in Informatics''
- First<>semester
-
1.<>Mathematical logic<>II
2.<>Modal logic
3.<>Recursion theory
4.<>Lambda calculus
5.<>Algorithms and data structures
- Second<>semester
-
1.<>Automata on on infinite objects
2.<>Applications of finite automata
3.<>Other subjects---75<>hours
- Third<>semester
-
Working out and defending a Master Thesis.
#include "footer"