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 08 1958 22 06 2023 доктор фізико математичних наук старший науковий співробітник та за

Буй Дмитро Борисович

Буй Дмитро Борисович

Буй Дмитро Борисович (народився 10.08.1958--22.06.2023 ) — доктор фізико-математичних наук, старший науковий співробітник та заступник декана з наукової роботи факультету кібернетики Київського національного університету імені Тараса Шевченка.

Буй Дмитро Борисович
Народився10 серпня 1958(1958-08-10)
Помер22 червня 2023(2023-06-22) (64 роки)
Київ, Україна
Країнаimage Україна
Діяльністьінформатик, викладач університету
Alma materФакультет кібернетики Київського національного університету імені Тараса Шевченка
Галузьтеорія обчислень,
ЗакладКНУ імені Тараса Шевченка
Вчене званняпрофесор
Науковий ступіньдоктор фізико-математичних наук (2002)
Науковий керівникРедько Володимир Никифорович
Відомий завдяки:Теорія програмних алгебр композиційного типу
Особ. сторінкаСайт кафедри ТТП

Біографія

  • 1958: народився
  • 1980: закінчив Київський університет
  • 1981-1984: навчався в аспірантурі під керівництвом професора Редька.
  • 1985: захистив кандидатську дисертацію на тему «Примітивні програмні алгебри».
  • 1990: отримав вчене звання старшого наукового співробітника за спеціальністю «Математична кібернетика».
  • 1997: обіймає посаду завідувача лабораторії.
  • 2002: захистив докторську дисертацію на тему «Теорія програмних алгебр композиційного типу та її застосування».

Основні публікації

Є автором більш ніж 70 наукових праць та однієї сумісної монографії.

  1. Буй Д. Б., Редько В. Н. Программологические аспекты метода неподвижной точки // Кибернетика и системный анализ. — 1994. — № 5.
  2. Буй Д. Б., Редько В. Н. Неподвижные точки и операторы замыкания: программологические аспекты // Кибернетика и системный анализ. — 1995. — № 1.
  3. Редько В. Н., Буй Д. Б. К основаниям теории реляционных баз данных // Кибернетика и системный анализ. — 1996. — № 4.
  4. Редько В. Н., Брона Ю. И., Буй Д. Б. Взаимная непроизводность и выразительная сила операций реляционных алгебр // Доповіді НАН України. Математика. Природознавство. Технічні науки. — 1996. — № 11.
  5. Буй Д. Б. Непрерывность в индуктивных множествах. Часть 1: суперпозиция. Часть 2: рекурсия // Проблемы программирования. — 1998. — Вып. 3,4.
  6. Буй Д. Б., Поляков С. А. Композиційна семантика SQL-подібних мов: табличні структури даних, композиції, приклади // Вісник Київського університету. Сер. фіз.-мат. науки. — 1999. — Вип. 1,2.
  7. Буй Д. Б. Системи рівнянь в індуктивних множинах // Вісник Київського університету. Сер. фіз.-мат. науки. — 1999. — Вип. 3.
  8. Брона Ю. Й., Буй Д. Б., Поляков С. А. Композиційна семантика SQL-подібних мов: операції з'єднання // Вісник Київського університету. Сер. фіз.-мат. науки. — 1999. — Вип. 4. — С.100-104.
  9. Брона Ю. Й., Буй Д. Б., Загорський С. П., Поляков С. А. Композиційна семантика SQL-подібних мов: агрегатні функції // Вісник Київського університету. Сер. фіз.-мат. науки. — 2000. — Вип. 1.
  10. Брона Ю. Й., Буй Д. Б., Загорський С. П., Поляков С. А. Композиційна семантика SQL-подібних мов: групування, маніпулювання даними, приклади // Вісник Київського університету. Сер. фіз.-мат. науки. — 2000. — Вип. 2.
  11. Брона Ю. Й., Буй Д. Б., Загорський С. А., Поляков С. А. Композиційна семантика агрегатних функцій SQL-подібних мов // Проблемы программирования. — 2000.
  12. Буй Д. Б. Системи рівнянь в індуктивних множинах: метод Гаусса, інваріантні перетворення, взаємозв‘язок між рекурсією та суперпозицією, похідність багатомісної рекурсії // Проблемы программирования. — 2000. — № 1.
  13. Редько В. Н., Брона Ю. Й., Буй Д. Б., Поляков С. А. Реляційні бази даних: табличні алгебри та SQL-подібні мови. — Київ: Видавничий дім «Академперіодика», 2001. — 198 с.
  14. Буй Д. Б. Композиційна семантика маніпуляційних дій: збереження денотатів, характеристики, обчислюваність, необхідні умови повноти // Вісник Київського університету. Сер. фіз.-мат. науки. — 2002. — Вип. 1.
  15. Буй Д. Б. Теория програмних алгебр композиційного типу та її застосування: Дис. докт. фіз.-мат. наук: 01.05.03. — Київ, 2002. — 365 с.

Посилання

  1. Кафедра теорії та технології програмування [ 17 вересня 2007 у Wayback Machine.]
  2.  — сайт факультету кібернетики.

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

Buj Dmitro Borisovich narodivsya 10 08 1958 22 06 2023 doktor fiziko matematichnih nauk starshij naukovij spivrobitnik ta zastupnik dekana z naukovoyi roboti fakultetu kibernetiki Kiyivskogo nacionalnogo universitetu imeni Tarasa Shevchenka Buj Dmitro BorisovichNarodivsya10 serpnya 1958 1958 08 10 Pomer22 chervnya 2023 2023 06 22 64 roki Kiyiv UkrayinaKrayina UkrayinaDiyalnistinformatik vikladach universitetuAlma materFakultet kibernetiki Kiyivskogo nacionalnogo universitetu imeni Tarasa ShevchenkaGaluzteoriya obchislen ZakladKNU imeni Tarasa ShevchenkaVchene zvannyaprofesorNaukovij stupindoktor fiziko matematichnih nauk 2002 Naukovij kerivnikRedko Volodimir NikiforovichVidomij zavdyaki Teoriya programnih algebr kompozicijnogo tipuOsob storinkaSajt kafedri TTPBiografiya1958 narodivsya 1980 zakinchiv Kiyivskij universitet 1981 1984 navchavsya v aspiranturi pid kerivnictvom profesora Redka 1985 zahistiv kandidatsku disertaciyu na temu Primitivni programni algebri 1990 otrimav vchene zvannya starshogo naukovogo spivrobitnika za specialnistyu Matematichna kibernetika 1997 obijmaye posadu zaviduvacha laboratoriyi 2002 zahistiv doktorsku disertaciyu na temu Teoriya programnih algebr kompozicijnogo tipu ta yiyi zastosuvannya Osnovni publikaciyiYe avtorom bilsh nizh 70 naukovih prac ta odniyeyi sumisnoyi monografiyi Buj D B Redko V N Programmologicheskie aspekty metoda nepodvizhnoj tochki Kibernetika i sistemnyj analiz 1994 5 Buj D B Redko V N Nepodvizhnye tochki i operatory zamykaniya programmologicheskie aspekty Kibernetika i sistemnyj analiz 1995 1 Redko V N Buj D B K osnovaniyam teorii relyacionnyh baz dannyh Kibernetika i sistemnyj analiz 1996 4 Redko V N Brona Yu I Buj D B Vzaimnaya neproizvodnost i vyrazitelnaya sila operacij relyacionnyh algebr Dopovidi NAN Ukrayini Matematika Prirodoznavstvo Tehnichni nauki 1996 11 Buj D B Nepreryvnost v induktivnyh mnozhestvah Chast 1 superpoziciya Chast 2 rekursiya Problemy programmirovaniya 1998 Vyp 3 4 Buj D B Polyakov S A Kompozicijna semantika SQL podibnih mov tablichni strukturi danih kompoziciyi prikladi Visnik Kiyivskogo universitetu Ser fiz mat nauki 1999 Vip 1 2 Buj D B Sistemi rivnyan v induktivnih mnozhinah Visnik Kiyivskogo universitetu Ser fiz mat nauki 1999 Vip 3 Brona Yu J Buj D B Polyakov S A Kompozicijna semantika SQL podibnih mov operaciyi z yednannya Visnik Kiyivskogo universitetu Ser fiz mat nauki 1999 Vip 4 S 100 104 Brona Yu J Buj D B Zagorskij S P Polyakov S A Kompozicijna semantika SQL podibnih mov agregatni funkciyi Visnik Kiyivskogo universitetu Ser fiz mat nauki 2000 Vip 1 Brona Yu J Buj D B Zagorskij S P Polyakov S A Kompozicijna semantika SQL podibnih mov grupuvannya manipulyuvannya danimi prikladi Visnik Kiyivskogo universitetu Ser fiz mat nauki 2000 Vip 2 Brona Yu J Buj D B Zagorskij S A Polyakov S A Kompozicijna semantika agregatnih funkcij SQL podibnih mov Problemy programmirovaniya 2000 Buj D B Sistemi rivnyan v induktivnih mnozhinah metod Gaussa invariantni peretvorennya vzayemozv yazok mizh rekursiyeyu ta superpoziciyeyu pohidnist bagatomisnoyi rekursiyi Problemy programmirovaniya 2000 1 Redko V N Brona Yu J Buj D B Polyakov S A Relyacijni bazi danih tablichni algebri ta SQL podibni movi Kiyiv Vidavnichij dim Akademperiodika 2001 198 s Buj D B Kompozicijna semantika manipulyacijnih dij zberezhennya denotativ harakteristiki obchislyuvanist neobhidni umovi povnoti Visnik Kiyivskogo universitetu Ser fiz mat nauki 2002 Vip 1 Buj D B Teoriya programnih algebr kompozicijnogo tipu ta yiyi zastosuvannya Dis dokt fiz mat nauk 01 05 03 Kiyiv 2002 365 s PosilannyaKafedra teoriyi ta tehnologiyi programuvannya 17 veresnya 2007 u Wayback Machine sajt fakultetu kibernetiki

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