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

ЛЕТИЧЕ́ВСЬКИЙ Олександр Адольфович (03. 05. 1935, Київ) – математик, фахівець у галузі комп’ютерних тео­рій і технологій. Син А. Летичевського та Н. Гебдовської, онук І. Летичевського. Д-р фіз.-мат. н. (1973), проф. (1982), акад. НАНУ (2009). Держ. премія СРСР (1968), пре­мії ім. В. Глушкова (1985) та ім. А. До­родніцина (2010) НАНУ, Держ. премія України в галузі н. і т. (1993, 2003). Закін. Київ. ун-т (1957), де від 1964 за сумісн. й працює: 1991–94 – зав., від 1994 – проф. каф. теор. кібернетики. Від 1957 – в Ін-ті кібернетики НАНУ (Київ): 1981–2008 – зав. відділу рекурсив. обчислюв. систем, від 2009 – зав. відділу теорії цифр. автоматів. Напрями наук. дослідж.: автоматно-алгебричні методи в програмуванні; теорія про­грамування обчислюв. систем; паралел. обчислення; теорія вза­ємодії агентів та середовищ; інсерційне моделювання; алгебричне програмування та ком­п’ютерна алгебра; штуч. інтелект. Брав участь у найважливіших приклад. проектах Ін-ту кібернетики НАНУ. Серед них – матем. забезпечення ЕОМ серії «МИР», вхідні мови «МИР» та «АНАЛІТИК», осн. алгоритми інтерпретації вхід. мов. Як гол. математик проекту макроконвеєр. ЕОМ керував створенням систем. матем. забезпечення машин ЄС1766 і ЄС2701, мови паралел. програмування «МАЯК», розподіленої операц. системи та системи програмування. Один з розробників системи алгебрич. програмування APS.

Пр.: Автоматизация проектирования вычислительных машин. К., 1975 (спів­авт.); Методы синтеза дискретных моделей биологических систем. К., 1983 (спів­авт.); Математическая теория про­ектирования вычислительных систем. Москва, 1988 (спів­авт.); Основи дискретної математики: Підруч. К., 2002 (спів­авт.); Constraint Programming in Modeling // Programming Problems. 2011. № 4 (спів­авт.); Инсерционное моделирование // УСМ. 2012. № 6; Автоматизация создания варифицированных тестовых сценариев на основе гидов // Моделирование и анализ информ. сис­тем. 2013. Т. 20, № 6 (спів­авт.).

Ю. В. Капітонова, А. І. Куляс

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