formal languages and automata (spring 2010)

This is an introduction course to formal languages, grammars, and automata theory and their applications in computer science. The main emphasis is put on regular and context-free languages. The course introduces essential background which is needed to study topics in further courses including computability theory, complexity analysis, algorithm design for text searching, compiler constructions, etc., which are relevant for computer science applications. This semester, the course is taught under the code names KMI/FA1AI and KMI/FA1AU.

probability theory and statistics (spring 2010)

The course is an introduction to the probability theory and statistical data processing. First part of the course is devoted to the probability theory and its applications in computer science. The second part aims at statistical methods of data analysis. Methods covered by the course are serve as theoretical bases for further analytical methods which are presented in subsequent courses during the graduate studies, for instance, statistical methods for data mining, knowledge discovery, automated hypotheses formation (GUHA methods), etc. This semester, the course is taught under the code name KMA/PMS.

themes for diploma theses (beginning in 2010)

More information can be found at the official department web pages.