Антонова Ірина Андріївна




Surname: Антонова

Name: Ірина

Last name: Андріївна



irine@uniсyb.kiev.ua

Асистент

Закінчила Київський університет у 2003 році. В 2003 р. вступила до аспірантури на кафедру теорії програмування.

Проводить практичні та лабораторні заняття з курсів “Теорія алгоритмів”, “Математична логіка”, “Програмування”, “Інформаційні технології” та читає спецкурс “Елементи редукційного програмування”.

E-mail: irine@unicyb.kiev.ua

Публікації:

  1. Нікітченко М.С., Шкільняк С.С., Антонова І.А. Композиційно-номінативні логіки з оператором нерухомої точки. International conference “Problems of decision making under uncertainties”. Abstracts. – Kyiv–Rivne, 2008 – pp. 173–174.
  2. Нікітченко М.С., Шкільняк С.С., Антонова І.А. Нерухомі точки операторів у предикативних алгебрах. International conference “TAAPSD`2008″. Abstracts. – Kyiv–Chernihiv, 2008 – pp. 81–87.
  3. Нікітченко М.С., Шкільняк С.С., Антонова І.А. Оператори побудови нерухомої точки в предикатних алгебрах. International Workshop “Problems of decision making under uncertainties”. Abstracts. – Crimea (Novy Svit), 2008 – C. 97.
  4. Нікітченко М.С., Шкільняк С.С., Антонова І.А. Композиційно-номінативні логіки з операторами нерухомої точки. Проблеми програмування. – 2008, № 2–3 – C. 64–74
  5. Антонова І.А. Оператори нерухомої точки на множинах часткових та тотальних предикатів. International conference “TAAPSD`2008″. Abstracts. – Kyiv–Chernihiv, 2008 – pp. 20–22.
  6. Антонова І.А. Нерухомі точки операторів в алгебрах часткових та тотальних операторів. International conference Dynamical systems modelling and stability investigation. Thesis of conf. report. – Київ, 2009. –  с.321
    Новини
    Дошка оголошень
    Цікаві факти