Провотар Олександр Іванович

ПРОВОТА́Р Олександр Іванович (30. 04. 1958, смт Димер, нині Вишгородського р-ну Київської обл.) — фахівець у галузі прикладної математики й інформатики. Доктор фізико-математичних наук (1997), професор (2001). Державна премія України в галузі науки і техніки (2003), премія імені В. Глушкова НАНУ (1999). Закінчив Київський університет (1981). Відтоді працював в Інституті кібернетики НАНУ (Київ): 1997—2000 — провідний науковий співробітник. 2000—03 — завідувач кафедри комп’ютерних технологій навчання Київського лінгвістичного університету; від 2003 — завідувач кафедри інтелектуальних програмних систем Київського університету. Наукові дослідження: математична логіка, теорія алгоритмів, теорія категорій, теорія формальних систем, штучний інтелект, нанотехнології, біоінформатика, програмування. Розробив теорію абстрактних обчислювальних структур та підходи до її застосування в некласичних і нетрадиційних логіках; створив низку експертних систем діагностики на основі нових підходів до вивчення слабких (інформаційних) взаємодій об’єктів різної природи.

Пр.: О применении категорных методов в Computer Science. К., 2000; Вступ до некласичної математичної логіки. К., 2010; Алгебраїчні аспекти інформаційних технологій. К., 2011; Модельные волны и взаимодействие: теоретические и прикладные аспекты. К., 2014; Нечіткі ймовірності та нечіткі події // Пробл. програмування. 2016. № 2—3; Нечіткі ймовірності нечітких подій // Кибернетика и системный анализ. 2020. Т. 56, № 2; Про наближене обчислення міри ймовірності нечіткої події // Там само. 2021. Т. 57, № 1 (усі — співавт.).

І. В. Сергієнко, А. В. Анісімов

Основні праці

О применении категорных методов в Computer Science. К., 2000; Вступ до некласичної математичної логіки. К., 2010; Алгебраїчні аспекти інформаційних технологій. К., 2011; Модельные волны и взаимодействие: теоретические и прикладные аспекты. К., 2014; Нечіткі ймовірності та нечіткі події // Пробл. програмування. 2016. № 2—3; Нечіткі ймовірності нечітких подій // Кибернетика и системный анализ. 2020. Т. 56, № 2; Про наближене обчислення міри ймовірності нечіткої події // Там само. 2021. Т. 57, № 1 (усі — співавт.).

завантажити статтю