Кратко Мирослав Іванович
КРАТКО́ Мирослав Іванович (22. 08. 1936, с. Стоянів, нині Радехів. р-ну Львів. обл. – 19. 02. 2018, Луцьк) – математик. Доктор фізико-математичних наук (1993), професор (1992). Премія ім. С. Лебедєва АН УРСР (1985). Закін. Львів. політех. інститут (1958). Працював в Інституті математики Сибір. відділ. АН СРСР (м. Новосибірськ, РФ, 1959–69); ст. н. с. Інститутів кібернетики (1969–74) та математики (1974–91) АН УРСР (обидва – Київ); деканом природн. факультету Києво-Могилян. академії (1991–92); нач. упр. ВАК України (Київ, 1992–96); у Волин. університеті (1997–2003): від 1999 – завідувач кафедри приклад. математики і декан матем. ф-ту, від 2000 – проректор з наукової роботи; завідувач кафедри менеджменту Волин. інституту економіки та менеджменту (2005–08); від 2009 – завідувач кафедри управлін. діяльності Волин. інституту післядиплом. пед. освіти (усі – Луцьк). Наукові дослідження присвяч. питанням дискрет. математики, зокрема теоріям алгоритмів, автоматів та інформ. мереж. Співавтор «Англійсько-українського словника (математика та кібернетика)» (К., 2010).
Пр.: Алгоритмическая неразрешимость проблемы распознавания полноты для конечных автоматов // Докл. АН СССР. 1964. Т. 155, № 1; Формальные исчисления Поста и конечные автоматы // Пробл. кибернетики. 1966. Вып. 17; On characteristic sets of a system of equivalence relations // Colloquium mathematicum. 1988. Vol. 55, № 1; Володимир Вернадський: Нарис. К., 2007; Він пізнав істину: Біогр. нарис про М. Гулака. Лц., 2010 (співавт.).
Літ.: Професори Волинського національного університету ім. Лесі Українки. Лц., 2010.
М. О. Сташенко
Основні праці
Алгоритмическая неразрешимость проблемы распознавания полноты для конечных автоматов // Докл. АН СССР. 1964. Т. 155, № 1; Формальные исчисления Поста и конечные автоматы // Пробл. кибернетики. 1966. Вып. 17; On characteristic sets of a system of equivalence relations // Colloquium mathematicum. 1988. Vol. 55, № 1; Володимир Вернадський: Нарис. К., 2007; Він пізнав істину: Біогр. нарис про М. Гулака. Лц., 2010 (співавт.).
Рекомендована література
- Професори Волинського національного університету ім. Лесі Українки. Лц., 2010.