Буй Дмитро Борисович
| Буй Дмитро Борисович | |
|---|---|
| Народився | 10 серпня 1958 |
| Помер | 22 червня 2023 (64 роки) Київ, Україна |
| Країна |  Україна |
| Діяльність | інформатик, викладач університету |
| Alma mater | Факультет кібернетики Київського національного університету імені Тараса Шевченка |
| Галузь | теорія обчислень, теорія баз даних |
| Заклад | КНУ імені Тараса Шевченка |
| Вчене звання | професор |
| Науковий ступінь | доктор фізико-математичних наук (2002) |
| Науковий керівник | Редько Володимир Никифорович |
| Відомий завдяки: | Теорія програмних алгебр композиційного типу |
| Особ. сторінка | Сайт кафедри ТТП |
Буй Дмитро Борисович (народився 10.08.1958--22.06.2023 ) — доктор фізико-математичних наук, старший науковий співробітник та заступник декана з наукової роботи факультету кібернетики Київського національного університету імені Тараса Шевченка.
- 1958: народився
- 1980: закінчив Київський університет
- 1981-1984: навчався в аспірантурі під керівництвом професора Редька.
- 1985: захистив кандидатську дисертацію на тему «Примітивні програмні алгебри».
- 1990: отримав вчене звання старшого наукового співробітника за спеціальністю «Математична кібернетика».
- 1997: обіймає посаду завідувача лабораторії.
- 2002: захистив докторську дисертацію на тему «Теорія програмних алгебр композиційного типу та її застосування».
Є автором більш ніж 70 наукових праць та однієї сумісної монографії.
- Буй Д. Б., Редько В. Н. Программологические аспекты метода неподвижной точки // Кибернетика и системный анализ. — 1994. — № 5.
- Буй Д. Б., Редько В. Н. Неподвижные точки и операторы замыкания: программологические аспекты // Кибернетика и системный анализ. — 1995. — № 1.
- Редько В. Н., Буй Д. Б. К основаниям теории реляционных баз данных // Кибернетика и системный анализ. — 1996. — № 4.
- Редько В. Н., Брона Ю. И., Буй Д. Б. Взаимная непроизводность и выразительная сила операций реляционных алгебр // Доповіді НАН України. Математика. Природознавство. Технічні науки. — 1996. — № 11.
- Буй Д. Б. Непрерывность в индуктивных множествах. Часть 1: суперпозиция. Часть 2: рекурсия // Проблемы программирования. — 1998. — Вып. 3,4.
- Буй Д. Б., Поляков С. А. Композиційна семантика SQL-подібних мов: табличні структури даних, композиції, приклади // Вісник Київського університету. Сер. фіз.-мат. науки. — 1999. — Вип. 1,2.
- Буй Д. Б. Системи рівнянь в індуктивних множинах // Вісник Київського університету. Сер. фіз.-мат. науки. — 1999. — Вип. 3.
- Брона Ю. Й., Буй Д. Б., Поляков С. А. Композиційна семантика SQL-подібних мов: операції з'єднання // Вісник Київського університету. Сер. фіз.-мат. науки. — 1999. — Вип. 4. — С.100-104.
- Брона Ю. Й., Буй Д. Б., Загорський С. П., Поляков С. А. Композиційна семантика SQL-подібних мов: агрегатні функції // Вісник Київського університету. Сер. фіз.-мат. науки. — 2000. — Вип. 1.
- Брона Ю. Й., Буй Д. Б., Загорський С. П., Поляков С. А. Композиційна семантика SQL-подібних мов: групування, маніпулювання даними, приклади // Вісник Київського університету. Сер. фіз.-мат. науки. — 2000. — Вип. 2.
- Брона Ю. Й., Буй Д. Б., Загорський С. А., Поляков С. А. Композиційна семантика агрегатних функцій SQL-подібних мов // Проблемы программирования. — 2000.
- Буй Д. Б. Системи рівнянь в індуктивних множинах: метод Гаусса, інваріантні перетворення, взаємозв‘язок між рекурсією та суперпозицією, похідність багатомісної рекурсії // Проблемы программирования. — 2000. — № 1.
- Редько В. Н., Брона Ю. Й., Буй Д. Б., Поляков С. А. Реляційні бази даних: табличні алгебри та SQL-подібні мови. — Київ: Видавничий дім «Академперіодика», 2001. — 198 с.
- Буй Д. Б. Композиційна семантика маніпуляційних дій: збереження денотатів, характеристики, обчислюваність, необхідні умови повноти // Вісник Київського університету. Сер. фіз.-мат. науки. — 2002. — Вип. 1.
- Буй Д. Б. Теория програмних алгебр композиційного типу та її застосування: Дис. докт. фіз.-мат. наук: 01.05.03. — Київ, 2002. — 365 с.
- Кафедра теорії та технології програмування [Архівовано 17 вересня 2007 у Wayback Machine.]
- Адміністрація факультету кібернетики — сайт НТСА факультету кібернетики.