Кривий Сергій Лук’янович
КРИВИ́Й Сергій Лук’янович (10. 08. 1949, с. Заозерне Тульчин. р-ну Вінн. обл.) — математик. Доктор фізико-математичних наук (1998), професор (2003). Державна премія України в галузі науки і техніки (2018). Закін. Київ. університет (1972). Працював в Інституті кібернетики НАНУ (Київ, 1975–2008): від 1998 — провідний науковий співробітник; водночас 1998–2000 — завідувач кафедри інформ. технологій проектування Київ. університету технологій та дизайну, 2000–10 — Хмельн. університету; від 2007 — професор кафедри інформ. систем Київ. університету. Наукові дослідження присвяч. питанням дискрет. математики, теорії складності обчислень, автоматів, мереж Петрі, проектування, аналізу, оптимізації та обґрунтування програм і алгоритмів, програмуванню з обмеженнями, верифікації властивостей реактив. систем.
Додаткові відомості
- Основні праці
- Основи дискретної математики. К., 2002 (співавт.); Дискретна математика: Вибр. питання. К., 2007; Курс дискретної математики. К., 2007; Вступ до некласичної математичної логіки. К., 2010 (співавт.); Алгебраїчні аспекти інформаційних технологій. К., 2011 (співавт.); Вступ до методів створення програмних продуктів. Чц.; К., 2012; Дискретна математика: Підруч. Чц., 2014.
Завантажити статтю
Людина 
