Лісовик Леонід Петрович
ЛІСОВИ́К Леонід Петрович (06. 10. 1948, смт Турійськ Волин. обл. — 25. 03. 2018, Київ) — математик, кібернетик. Доктор фізико-математичних наук (1990), професор (1992). Закін. Київський університет (1972), де відтоді й працював: 1992–2008 — професор кафедри теорії та технології програмування. Створив метод жорстких множин, дослідив скінченно-неоднозначні послідовністні перетворювачів, побудував аплікативну аксіомат. теорію алгоритмів і частково неперерв. функцій, довів розв’язність проблеми еквівалентності для металіній. унар. рекурсив. схем із засиланнями констант, нерозв’язність проблеми еквівалентності для скінчен. підстановок на регуляр. мові, існування гніздової стекової групи, розвинув теорію обчислюваності (у термінах R-перетворювачів).
Додаткові відомості
- Основні праці
- Проблемы включения и неоднозначности для регулярных событий в полугруппах // Дискрет. математика. 1993. Т. 5; Детерминированные аксенторы для индексных языков // КСА. 1997. № 4; Теорія алгоритмів: Навч. посіб. К., 2003 (співавт.); Теория трансдьюсеров. К., 2005. Т. 1, кн. 1: Типы языков и машин; кн. 2, 3: Алгебра и автоматы; 2006. Т. 2, кн. 4: Размеченные деревья; т. 3, кн. 5: Типы функций. Интерполяция. Фрактальность; 2007. Кн. 6: Функции и аппликативные системы.
Завантажити статтю
Людина 
