Антонова Ирина Андреевна




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
Новини
Дошка оголошень
Цікаві факти