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

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

Провотар Олександр Іванович (нар. 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.


Науковці України Це незавершена стаття про українського науковця.
Ви можете допомогти проекту, виправивши або дописавши її.