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




Surname: Буй

Name: Дмитрий

Last name: Борисович

Доктор физ.-мат. наук

buy@unicyb.kiev.ua

Профессор, доктор физико-математических наук.
Заместитель декана по научной работе, заведующий НИЛ проблем программирования

Окончил Киевский университет в 1980 году. В течение 1981-1984 гг учился в аспирантуре под руководством профессора В.Н.Редька. В 1985 г. защитил кандидатскую диссертацию на тему «Примитивные программные алгебры». Ученое звание старшего научного сотрудника по специальности «Математическая кибернетика» получил в 1990 г. Должность заведующего лабораторией занимает с 1997 г. В 2002 г. защитил докторскую диссертацию на тему «Теория программных алгебр композиционного типа и ее применения».

На факультете кибернетики читает нормативные курсы «Теория алгоритмов и математическая логика», «Прикладная логика» и специальные курсы «Введение в реляционных баз данных», «Композиционная семантика языка SQL».

Область научных интересов:

  • теория программных алгебр композиционного типа;
  • теория неподвижных точек;
  • теория баз данных;
  • композиционная семантика языка SQL
  • современные CASE-средства.

E-mail: buy@unicyb.kiev.ua

Автор более 70 научных работ и одной совместной монографии.

Публикации:

  1. Буй Д.Б., Редько В.Н. Программологические аспекты метода неподвижной точки / / Кибернетика и системный анализ. – 1994. – № 5. – С. 158-167.
  2. Буй Д.Б., Редько В.Н. Неподвижные точки и операторы замыкания: программологические аспекты / / Кибернетика и системный анализ. – 1995. – № 1. – С. 113-121.
  3. Редько В.Н., Буй Д.Б. К основаниям теории реляционных баз данных / / Кибернетика и системный анализ. – 1996. – № 4. – С. 3-13.
  4. Редько В.Н., Брона Ю.И., Буй Д.Б. Взаимная непроизводность и выразительная сила операций реляционных алгебр / / Доклады НАН Украины. Математика. Приро-дознавство. Технические науки. – 1996. – № 11. – С. 84-88.
  5. Буй Д.Б. Непрерывность в индуктивных множества. Часть 1: Суперпозиция. Часть 2: Рекурсия / / Проблемы программирования. – 1998. – Вып. 3,4. – С. 3-19.
  6. Буй Д.Б., Поляков С.А. Композиционная семантика SQL-подобных языков: табличные структуры данных, композиции, примеры / / Вестник Киевского университета. Сер. физ.-мат. науки. – 1999. – Вып. 1,2. – С. 130-140, С. 183-194.
  7. Буй Д.Б. Системы уравнений в индуктивных множествах / / Вестник Киевского университета. Сер. физ.-мат. науки. – 1999. – Вып. 3. – С. 147-171.
  8. Брона Ю.И., Буй Д.Б., Поляков С.А. Композиционная семантика SQL-подобных языков: операции соединения / / Вестник Киевского университета. Сер. физ.-мат. науки. – 1999. – Вып. 4. – С.100-104.
  9. Брона Ю.И., Буй Д.Б., Загорский С.П., Поляков С.А. Композиционная семантика SQL-подобных языков: агрегатные функции / / Вестник Киевского университета. Сер. физ.-мат. науки. – 2000. – Вып. 1. – С. 178-192.
  10. Брона Ю.И., Буй Д.Б., Загорский С.П., Поляков С.А. Композиционная семантика SQL-подобных языков: группировки, манипулирования данными, примеры / / Вестник Киевского университета. Сер. физ.-мат. науки. – 2000. – Вып. 2. – С. 177-185.
  11. Брона Ю.И., Буй Д.Б., Загорский С.А., Поляков С.А. Композиционная семантика агрегатных функций SQL-подобных языков / / Проблемы программирования. – 2000. – № 1-2. – С. 554-565.
  12. Буй Д.Б. Портативные уравнений в индуктивных множествах: метод Гаусса, инвариантные преобразования, взаимосвязь между рекурсией и суперпозицией, производность многоместной рекурсии / / Проблемы программирования. – 2000. – № 1-2. – С. 63-74.
  13. Редько В.Н., Брона Ю.И., Буй Д.Б., Поляков С.А. Реляционные базы данных: табличные алгебры и SQL-подобные языки. – М.: Издательский дом «Академпериодика», 2001. – 198 с.
  14. Буй Д.Б. Композиционная семантика манипуляционных действий: сохранение денотатов, характеристики, обчислюванисть, необходимые условия полноты / / Вестник Киевского университета. Сер. физ.-мат. науки. – 2002. – Вып. 1. – С. 169-189.
  15. Буй Д.Б. Теория программных алгебр композиционного типа и его применения: Дис. докт. физ.-мат. наук: 01.05.03. – Киев, 2002. – 365 с.
  16. 1. Буй Д.Б. Метод неподвижной точки в програмологии: общая теория. Избранные вопросы програмологии. Труда научного семинара «Програмология и ее применения». – Киев, 2007, 64-112с.
    2. Буй Д.Б., Никитченко Н.С. Владимир Никифорович Редько: ученый и педагог. Избранные вопросы програмологии. Труда научного семинара «Програмология и ее применения». – Киев, 2007, 7-21С.
    3. Буй Д.Б., Поляков С.А., Шишацкая Е.В. Три замечания в трехзначной логике Клинья. Тезисы международной научной конференции TAAPSD `2007, 4-9 September, Berdyansk, pp. 47-51.
    4. Буй Д.Б., Никитченко Н.С., Омельчук Л.Л., Редько В.Н., Шишацкая О.В. Классификация языков и методов формальных спецификаций программных систем. International conference «TAAPSD` 2008 «. Abstracts. – Kyiv-Chernihiv, 2008 – pp. 27-33.
    5. Д.Б. Буй, И.М. Глушко. Обобщенная табличная алгебра, обобщенное исчисления строк, обобщенное исчисления на домене и их эквивалентность. Вестник Киевского национального университета имени Тараса Шевченко. Ср.: Физ.-мат. науки. – 2011. – Вып. 1. – С.86-95.
    6. Д.Б. Буй, И.М. Глушко. Расширение реляционной (табличной) алгебры: обзор литературы. Вестник Киевского национального университета имени Тараса Шевченко. Ср.: Физ.-мат. науки. – 2011. – Вып. 2. – С.78-82
    7. Буй Д.Б., Пузикова А.В. Полнота аксиоматики Армстронга. Вестник Киевского национального университета имени Тараса Шевченко. Ср.: Физ.-мат. науки. – 2011. – Вып. 3. – С.108-113
    8. Буй Д.Б., Глушко И.М. Обобщенная табличная алгебра, обобщенное Исчисление срок и доменов и их эквивалентности. XIV международная научно-техническая конференция «Моделирование, идентификация, синтез систем управления 2011», Алушта, 11-18 сентября, 2011. – C. 185-186.
    9. Буй Д.Б., Глушко И.М. Эквивалентность подалгебр конечных таблиц табличной алгебры бесконечных таблиц и соответствующих реляционных исчислений. Теоретические и прикладные аспекты построения программных систем: международная конференция, 19-23 сентября 2011 года, Алушта, Украина.
    10. Д.Б. Буй, С.В. Компан. Формализация объектов, классов, методов в объектно-ориентированных базах данных. Материалы Международной конференции «Проблемы теоретической кибернетики», 20-25 июня. – Нижний Новгород. – 2011. – C. 81-85.
    11. Д.Б. Буй, А.В. Пузиков. Полнота аксиоматикы Армстронга. Материалы Международной конференции «Проблемы теоретической кибернетики», 20-25 июня. – Нижний Новгород. – 2011. – C. 85-88.
    12. Dmitriy Buy, Anna Puzikova. Completeness of Armstrong’s axiomatic. First International Workshop Critical Infrastructure Safety and Security (CrISS-DESSERT’11), Kirovograd, Ukraine, May, 11-13 2011, Proceedings Volume 1, P.211-215.
    13. Dmitriy Buy, Sergiy Kompan. The Concepts of Object, Class, Inheritance, Life Cycle: Formalization. First International Workshop Critical Infrastructure Safety and Security (CrISS-DESSERT’11), Kirovograd, Ukraine, May, 11-13 2011, Proceedings Volume 1, P.236-244.
    14. Буй Д.Б., Пузикова А.В. Критерий полноты аксиоматики Армстронга. Материалы 8-й Международной конференции «Теоретические и прикладные аспекты построения программных систем» – TAAPSD’2011, Алушта, Украина, 19-23 сентября 2011
    15. Буй Д.Б., Глушко И.М. Table Algebras of Infinite (Finite) Tables, Corresponding Relational Calculi and Theirs Equivalence. Proceedings of the First International Seminar «Specification and Verification of Hybriв Systems» (10-12 October 2011 Kyiv, Ukraine). – P. 75-84.
    16. Буй Д.Б., Богатырева Ю.А. Теория мультимножеств: операции, структура, вычислимость. Проблемы теоретической кибернетики. Материалы XVI Международной конференции, Нижний Новгород, Россия, 20-25 июня 2011 г., С. 69-72.
    17. Богатырева Ю.А., Буй Д.Б., Редько В.Н. Примитивные программные алгебры функций множественных (мультимножинних) аргументов и значений. Доклады Национальной академии наук Украины. Научно-теоретический журнал Президиума НАН Украины. – № 9. – 2011.
    18. Буй Д.Б., Богатырева Ю.А. Теория мультимножеств: основные определения, операции, частичные порядки, обчислюванисть. Материалы 8-й Международной конференции «Теоретические и прикладные аспекты построения программных систем» – TAAPSD’2011, Ялта, Украина, 19-23 сентября 2011
    19. Буй Д.Б., Богатырева Ю.А. Multisets: Operations, Partial Order, Computability, Applications. Proceedings of the First International Seminar «Specification and Verification of Hybriв Systems» (10-12 October 2011, Kyiv, Ukraine). – P. 70-74.
    20. Буй Д.Б., Поляков С.А. Операционная и денотацийна семантика рекурсивных запросов в табличных базах данных. Материалы 8-й Международной конференции «Теоретические и прикладные аспекты построения программных систем» – TAAPSD’2011, Алушта, Украина, 19-23 сентября 2011
Новини
Дошка оголошень
Цікаві факти