Спец курсы Specialization Classes
31. Дискретньiй анализ - Numerical Analisis
32. Теория автоматов Mathematical Theory of Automata(finite)
33. Математическая логика Mathematical Logic
34. Теория алгоритмов Algrithm Theory
35. Теория информации Theory of Information
36. Теория надежности Theory of nets made up of badly timed elements
37. Сложность алгоритмов(1 и 2 часть) Complexity of algorithms(1 and 2 parts)
38. Теория сводимости Hierarchy Theory
39. Основьi теории язьiков The logical basis of phrase structure languagies
40. Язьiк ФОРТРАН Program language FORTRAN
41. Сложность конечных объектов Complexity of finite entities(objects)
42. Формальная арифметика Recursive Arithmetic
Дипломная работа: Некоторые энтропийные характеристикиЯзыка исчисления высказываний
Some Entropical Characteristics Predicate Language
(based on Werner Kuich. On the entropy of context-free languages. Information and Control, 16(2):173-200, April 1970.)