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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Провотар Олександр Іванович
Народився 30 квітня 1958(1958-04-30) (65 років)
Димер, Україна
Місце проживання Київ
Країна  СРСР
 Україна
Національність українець
Діяльність інформатик, викладач університету
Alma mater Факультет кібернетики Київського національного університету імені Тараса Шевченка (1981)
Галузь теорія абстрактних обчислювальних структур, некласичні логіки, біоінформатика, програмування
Заклад КНУ імені Тараса Шевченка
Інститут кібернетики імені В. М. Глушкова НАН України
Вчене звання професор
Науковий ступінь доктор фізико-математичних наук (1997)
Науковий керівник Сергієнко Іван Васильович
Аспіранти, докторанти Ченцов Олексій Іллічd
Катеринич Лариса Олександрівнаd
Нагороди Державна премія України в галузі науки і техніки — 2003 Премія ЛКСМУ імені Миколи Островського — 1987
Премія імені В. М. Глушкова (1999)

Олекса́ндр Іва́нович Провота́р (нар. 30 квітня 1958, смт Димер Вишгородського району Київської області) — український вчений-кібернетик, доктор фізико-математичних наук, професор, Лауреат Державної премії України в галузі науки і техніки (2003)[1].

Біографія[ред. | ред. код]

Народився 30 квітня 1958 в смт Димер Вишгородського району Київської області[2].

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

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

1989 — захистив кандидатську дисертацію на тему «S-трансляції та їх застосування для побудови пакетів програм математичної обробки даних». Науковий керівник —академік НАН України Сергієнко І. В..

1997 — захистив докторську дисертацію на тему «Категорні методи в теорії метаматематичних моделей рекурсії».

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

Викладає наступні дисципліни:

Член експертної ради ВАК України (2006—2008). Член спеціалізованої вченої ради Інституту кібернетики імені В. М. Глушкова НАН України. Член спеціалізованої вченої ради Київського національного університету імені Тараса Шевченка. Член науково-методичної комісії Міністерства освіти і науки, молоді та спорту України з програмної інженерії.

Під керівництвом Провотаря О. І. захищено 10 кандидатських дисертацій.

Сфера наукових інтересів[ред. | ред. код]

Теорія абстрактних обчислювальних структур (теорія категорій), некласичні логіки, біоінформатика, програмування.

Публікації[ред. | ред. код]

  • Провотар А. И. Геометрия рекурсии для арифметических и экзистенциально определимых отношений // КИСА, № 5, 1996.
  • Сергиенко И. В., Парасюк И. Н., Провотар А. И. О применении категорных методов в Computer Sciense // КИСА, № 4, 2000.
  • Василик П. В., Провотар А. И. К вопросу о формальных моделях в исследовании критических скоростей // КИСА, № 4, 2002.
  • Ченцов А. И., Провотар А. И. Обобщение теоремы Кантора-Бернштейна для булевых топосов // Компьютерная математика, Институт кибернетики им. В. М. Глушкова, 1/2003.
  • Ченцов А. И., Провотар А. И. Конечные декартовы произведения объектов натуральных чисел в топосах // Компьютерная математика, Институт кибернетики им.  В. М. Глушкова, 1/2004.
  • Василик П. В., Провотар А. И. О паралогичности некоторых логических построений // КИСА, № 3, 2008.
  • Katerynich L., Provotar A. Neural networks diagnostics in Homeopath system // Information Technologies and Knowledge, vol. 15/2008.
  • Katerynich L., Provotar A. Homeopath: Diagnostic information system // Journal of Mathematics and Applications, #32, 2010.
  • Кривий С. Л., Провотар О. І. Вступ до некласичної математичної логіки. Видавництво Київського національного університету. — 2010.
  • Сергієнко І. В., Кривий С. Л., Провотар О. І. Алгебраїчні аспекти інформаційних технологій. — К.: Наукова думка. — 2011.
  • Mathematical foundations for designing and development of intelligent systems of information analysis / D. O. Terletskyi, O. I. Provotar // Проблеми програмування. – 2014. – V. 2-3. – С. 233—241.
  • Object-Oriented Dynamic Networks / D. O. Terletskyi, A. I. Provotar // Computational Models for Business and Engineering Domains, ITHEA, Rzeszow. – 2014.
  • A methodology of structured-modular composition programming / I. N. Parasyuk, A. I. Provotar, I. A. Zalozhenkova // Cybernetics and Systems Analysis. – 1995. – 31 (1). – p. 123—130.
  • Fuzzy Object-Oriented Dynamic Networks / D. A. Terletskyi, A. I. Provotar // Cybernetics and Systems Analysis. – 2015. – 51 (1) . – p. 34-40.
  • Provotar O. Systems of Logical Inference and Their Applications 24th International Workshop, Concurrency, Specification & Programming. – 2015. – V. 2. – p. 111—119.
  • Нейронечеткие модели диагностики в системе Н-Гомеопат / Л. А. Катеринич, А. И. Провотар // Науковий журнал «Проблеми програмування» . – 2010. – Т.11 (2-3) . – С.636-641.

Примітки[ред. | ред. код]

  1. ↑ Указ Президента України «Про присудження Державних премій України в галузі науки і техніки 2003 року» від 23.12.2003 № 1480/2003
  2. ↑ Провотар Олександр Іванович / Факультет кібернетики Київського національного університету імені Тараса Шевченка. Архів оригіналу за 5 жовтня 2012. Процитовано 3 лютого 2013.

Посилання[ред. | ред. код]

Нормативний контроль
Отримано з https://uk.wikipedia.org/w/index.php?title=Провотар_Олександр_Іванович&oldid=34765474