Кривий Сергій Лук'янович
Сергій Лук'янович Кривий (нар. 10 серпня 1949, с. Заозерне Тульчинського району Вінницької області)[2] — український вчений-кібернетик, доктор фізико-математичних наук, професор, Лауреат Державної премії України в галузі науки і техніки (2018)[3].
| Кривий Сергій Лук'янович | |
|---|---|
 | |
| Народився |
10 серпня 1949 (74 роки) Заозерне, Тульчинський район, Вінницька область, Українська РСР, СРСР |
| Діяльність | математик, викладач університету |
| Alma mater | Факультет кібернетики Київського національного університету імені Тараса Шевченка (1972) |
| Заклад |
Інститут кібернетики імені В. М. Глушкова НАН України Київський національний університет технологій та дизайну Хмельницький національний університет КНУ імені Тараса Шевченка[1] |
| Науковий ступінь | доктор фізико-математичних наук (1998) |
| Науковий керівник | Летичевський Олександр Адольфович |
| Аспіранти, докторанти | Максимець Олександр Миколайовичd |
| Нагороди |
 |
Біографія ред.
У 1972 закінчив факультет кібернетики Київського державного університету ім. Т. Г. Шевченка, за спеціальністю «прикладна математика».
1978 — закінчив аспірантуру Інституту кібернетики імені В. М. Глушкова НАН України.
1982 — захистив кандидатську дисертацію на тему «Пошук інваріантів програм над вільними алгебрами даних». Науковий керівник —академік НАН України Олександр Летичевський.
1998 — захистив докторську дисертацію на тему «Ітеративні методі аналізу програм над однорівневою пам'яттю».
З 2008 — професор кафедри інформаційних систем (інтелектуальних програмних систем) факультету кібернетики Київського національного університету імені Тараса Шевченка.
Під керівництвом Кривого С. Л. захищено 7 кандидатських дисертацій.
Сфера наукових інтересів ред.
Теорія автоматів, оптимізація та верифікація програм і алгоритмів.
Публікації ред.
- Кривий С. Л., Основи дискретної математики (підручник) Київ, LITSOFT, 2000, т. 1, 380 стор. (перше видання) (у співавторстві).
- Кривий С. Л., Основи дискретної математики (підручник) Київ, LITSOFT, 2000, т. 2, 380 стор. (перше видання) (у співавторстві).
- Кривий С. Л., Основи дискретної математики (підручник) Київ, Наукова думка, 2002, 578 стор. (друге видання) (у співавторстві).
- Кривий С. Л., Провотар О. І. Вступ до некласичної математичної логіки. Видавництво Київського національного університету. — 2010.
- Сергієнко І. В., Кривий С. Л., Провотар О. І. Алгебраїчні аспекти інформаційних технологій. — К.: Наукова думка. — 2011.
- Кривий С. Л. Вступ до методів створення програмних продуктів (навчальний посібник). Чернівці-Київ: «Букрек». — 2012. — 424 с.
- Кривий С. Л. Збірник задач з дискретної математики. — Чернівці: Букрек — 2018. — 456 с.
Посилання ред.
- Інформація на сайті факультету кібернетики Університету ім. Т. Г. Шевченка [Архівовано 27 листопада 2021 у Wayback Machine.]
- О. І. Провотар. Кривий Сергій Лук'янович
// Енциклопедія сучасної України / ред. кол.: І. М. Дзюба [та ін.] ; НАН України, НТШ. — К. : Інститут енциклопедичних досліджень НАН України, 2014. — Т. 15 : Кот — Куз. — 711 с. — ISBN 978-966-02-7305-4.
Примітки ред.
- ↑ Montenegro A. ORCID Public Data File 2023 — 2023. — doi:10.23640/07243.24204912.V1
- ↑ О. І. Провотар. Кривий Сергій Лук'янович // Енциклопедія сучасної України / ред. кол.: І. М. Дзюба [та ін.] ; НАН України, НТШ. — К. : Інститут енциклопедичних досліджень НАН України, 2014. — Т. 15 : Кот — Куз. — 711 с. — ISBN 978-966-02-7305-4.
- ↑ Указ Президента України «Про присудження Державних премій України в галузі науки і техніки 2018 року» від 8 квітня 2019 № 110/2019