Azərbaycanca AzərbaycancaБеларускі БеларускіDansk DanskDeutsch DeutschEspañola EspañolaFrançais FrançaisIndonesia IndonesiaItaliana Italiana日本語 日本語Қазақ ҚазақLietuvos LietuvosNederlands NederlandsPortuguês PortuguêsРусский Русскийසිංහල සිංහලแบบไทย แบบไทยTürkçe TürkçeУкраїнська Українська中國人 中國人United State United StateAfrikaans Afrikaans
Підтримка
www.wikidata.uk-ua.nina.az

Сергій Лук янович Кривий нар 10 серпня 1949 с Заозерне Тульчинського району Вінницької області український вчений кіберн

Кривий Сергій Лук'янович

Кривий Сергій Лук'янович

Сергій Лук'янович Кривий (нар. 10 серпня 1949, с. Заозерне Тульчинського району Вінницької області) — український вчений-кібернетик, доктор фізико-математичних наук, професор, Лауреат Державної премії України в галузі науки і техніки (2018).

Кривий Сергій Лук'янович
image
Народився10 серпня 1949(1949-08-10) (74 роки)
Заозерне, Тульчинський район, Вінницька область, Українська РСР, СРСР
Діяльністьматематик, викладач університету
Alma materФакультет кібернетики Київського національного університету імені Тараса Шевченка (1972)
ЗакладІнститут кібернетики імені В. М. Глушкова НАН України
Київський національний університет технологій та дизайну
Хмельницький національний університет
КНУ імені Тараса Шевченка[1]
Науковий ступіньдоктор фізико-математичних наук (1998)
Науковий керівникЛетичевський Олександр Адольфович
Аспіранти, докторантиd
Нагороди
image

Біографія

У 1972 закінчив факультет кібернетики Київського державного університету ім. Т. Г. Шевченка, за спеціальністю «прикладна математика».

1978 — закінчив аспірантуру Інституту кібернетики імені В. М. Глушкова НАН України.

1982 — захистив кандидатську дисертацію на тему «Пошук інваріантів програм над вільними алгебрами даних». Науковий керівник —академік НАН України Олександр Летичевський.

1998 — захистив докторську дисертацію на тему «Ітеративні методі аналізу програм над однорівневою пам'яттю».

З 2008 — професор кафедри інформаційних систем (інтелектуальних програмних систем) факультету кібернетики Київського національного університету імені Тараса Шевченка.

Під керівництвом Кривого С. Л. захищено 7 кандидатських дисертацій.

Сфера наукових інтересів

Теорія автоматів, оптимізація та верифікація програм і алгоритмів.

Публікації

  • Кривий С. Л., Основи дискретної математики (підручник) Київ, LITSOFT, 2000, т. 1, 380 стор. (перше видання) (у співавторстві).
  • Кривий С. Л., Основи дискретної математики (підручник) Київ, LITSOFT, 2000, т. 2, 380 стор. (перше видання) (у співавторстві).
  • Кривий С. Л., Основи дискретної математики (підручник) Київ, Наукова думка, 2002, 578 стор. (друге видання) (у співавторстві).
  • Кривий С. Л., Провотар О. І. Вступ до некласичної математичної логіки. Видавництво Київського національного університету. — 2010.
  • Сергієнко І. В., Кривий С. Л., Провотар О. І. Алгебраїчні аспекти інформаційних технологій. — К.: Наукова думка. — 2011.
  • Кривий С. Л. Вступ до методів створення програмних продуктів (навчальний посібник). Чернівці-Київ: «Букрек». — 2012. — 424 с.
  • Кривий С. Л. Збірник задач з дискретної математики. — Чернівці: Букрек — 2018. — 456 с.

Посилання

Примітки

  1. Montenegro A. ORCID Public Data File 2023 — 2023. — doi:10.23640/07243.24204912.V1
    d:Track:Q123508386
  2. О. І. Провотар. Кривий Сергій Лук'янович // Енциклопедія сучасної України / ред. кол.: І. М. Дзюба [та ін.] ; НАН України, НТШ. — К. : Інститут енциклопедичних досліджень НАН України, 2014. — Т. 15 : Кот — Куз. — 711 с. — .
  3. Указ Президента України «Про присудження Державних премій України в галузі науки і техніки 2018 року» від 8 квітня 2019 № 110/2019

Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет

Sergij Luk yanovich Krivij nar 10 serpnya 1949 s Zaozerne Tulchinskogo rajonu Vinnickoyi oblasti ukrayinskij vchenij kibernetik doktor fiziko matematichnih nauk profesor Laureat Derzhavnoyi premiyi Ukrayini v galuzi nauki i tehniki 2018 Krivij Sergij Luk yanovichNarodivsya10 serpnya 1949 1949 08 10 74 roki Zaozerne Tulchinskij rajon Vinnicka oblast Ukrayinska RSR SRSRDiyalnistmatematik vikladach universitetuAlma materFakultet kibernetiki Kiyivskogo nacionalnogo universitetu imeni Tarasa Shevchenka 1972 ZakladInstitut kibernetiki imeni V M Glushkova NAN Ukrayini Kiyivskij nacionalnij universitet tehnologij ta dizajnu Hmelnickij nacionalnij universitet KNU imeni Tarasa Shevchenka 1 Naukovij stupindoktor fiziko matematichnih nauk 1998 Naukovij kerivnikLetichevskij Oleksandr AdolfovichAspiranti doktorantidNagorodiBiografiyaU 1972 zakinchiv fakultet kibernetiki Kiyivskogo derzhavnogo universitetu im T G Shevchenka za specialnistyu prikladna matematika 1978 zakinchiv aspiranturu Institutu kibernetiki imeni V M Glushkova NAN Ukrayini 1982 zahistiv kandidatsku disertaciyu na temu Poshuk invariantiv program nad vilnimi algebrami danih Naukovij kerivnik akademik NAN Ukrayini Oleksandr Letichevskij 1998 zahistiv doktorsku disertaciyu na temu Iterativni metodi analizu program nad odnorivnevoyu pam yattyu Z 2008 profesor kafedri informacijnih sistem intelektualnih programnih sistem fakultetu kibernetiki Kiyivskogo nacionalnogo universitetu imeni Tarasa Shevchenka Pid kerivnictvom Krivogo S L zahisheno 7 kandidatskih disertacij Sfera naukovih interesivTeoriya avtomativ optimizaciya ta verifikaciya program i algoritmiv PublikaciyiKrivij S L Osnovi diskretnoyi matematiki pidruchnik Kiyiv LITSOFT 2000 t 1 380 stor pershe vidannya u spivavtorstvi Krivij S L Osnovi diskretnoyi matematiki pidruchnik Kiyiv LITSOFT 2000 t 2 380 stor pershe vidannya u spivavtorstvi Krivij S L Osnovi diskretnoyi matematiki pidruchnik Kiyiv Naukova dumka 2002 578 stor druge vidannya u spivavtorstvi Krivij S L Provotar O I Vstup do neklasichnoyi matematichnoyi logiki Vidavnictvo Kiyivskogo nacionalnogo universitetu 2010 Sergiyenko I V Krivij S L Provotar O I Algebrayichni aspekti informacijnih tehnologij K Naukova dumka 2011 Krivij S L Vstup do metodiv stvorennya programnih produktiv navchalnij posibnik Chernivci Kiyiv Bukrek 2012 424 s Krivij S L Zbirnik zadach z diskretnoyi matematiki Chernivci Bukrek 2018 456 s PosilannyaInformaciya na sajti fakultetu kibernetiki Universitetu im T G Shevchenka 27 listopada 2021 u Wayback Machine O I Provotar Krivij Sergij Luk yanovich Enciklopediya suchasnoyi Ukrayini red kol I M Dzyuba ta in NAN Ukrayini NTSh K Institut enciklopedichnih doslidzhen NAN Ukrayini 2014 T 15 Kot Kuz 711 s ISBN 978 966 02 7305 4 PrimitkiMontenegro A ORCID Public Data File 2023 2023 doi 10 23640 07243 24204912 V1 d Track Q123508386 O I Provotar Krivij Sergij Luk yanovich Enciklopediya suchasnoyi Ukrayini red kol I M Dzyuba ta in NAN Ukrayini NTSh K Institut enciklopedichnih doslidzhen NAN Ukrayini 2014 T 15 Kot Kuz 711 s ISBN 978 966 02 7305 4 Ukaz Prezidenta Ukrayini Pro prisudzhennya Derzhavnih premij Ukrayini v galuzi nauki i tehniki 2018 roku vid 8 kvitnya 2019 110 2019

Дата публікації:
Топ