Лісовик Леонід Петрович - Енциклопедія Сучасної України
Beta-версія
Лісовик Леонід Петрович

ЛІСОВИ́К Леонід Петрович (06. 10. 1948, смт Турійськ Волин. обл.) – математик, кібернетик. Д-р фіз.-мат. н. (1990), проф. (1992). Закін. Київ. ун-т (1972), де відтоді й працював: 1992–2008 – проф. каф. теорії та технології програ­мування. Створив метод жорст­ких множин, дослідив скінченно-неоднозначні послідовністні перетворювачів, побудував аплікативну аксіомат. теорію алгоритмів і частково неперерв. функцій, довів розв’язність проблеми еквівалентності для металіній. унар. рекурсив. схем із засилан­нями констант, нерозв’язність проблеми еквівалентності для скінчен. підстановок на регуляр. мові, існування гніздової стекової групи, розвинув теорію обчислюваності (у термінах R-пере­тво­рювачів).

Пр.: Проблемы включения и неодно­значности для регулярных событий в полугруппах // Дискрет. математика. 1993. Т. 5; Детерминированные аксен­торы для индексных языков // КСА. 1997. № 4; Теорія алгоритмів: Навч. по­сіб. К., 2003 (спів­авт.); Теория трансдьюсеров. К., 2005. Т. 1, кн. 1: Типы язы­ков и машин; кн. 2, 3: Алгебра и авто­маты; 2006. Т. 2, кн. 4: Размеченные деревья; т. 3, кн. 5: Типы функций. Ин­­терполяция. Фрактальность; 2007. Кн. 6: Функции и аппликативные системы.

В. С. Королюк

Стаття оновлена: 2016