Симонова Ірина Гаянівна

Симонова Ірина Гаянівна, кандидат фізико-математичних наук.

E-mail: Ця електронна адреса захищена від спам-ботів. Вам потрібно увімкнути JavaScript, щоб побачити її., тел. 719 -18 -27

Загальна кількість публікацій: біля 15.

Список публікацій:

  1. Симонова И.Г. Сепарационное свойство для доказуемостно-интуиционистского исчисления. АН МССР, Математические исследования, Кишинев, 1987, с. 15–39.
  2. Симонова И.Г. Об интерполяционном свойстве для расширений доказуемостно-интуиционистской логики. // Мат. заметки. т. 47, в. 5, 1990, с. 88 – 99.
  3. Симонова И.Г. Интерполяционные принципы и свойство амальгамируемости для многообразий псевдобулевых алгебр. Міжнар. мат. конф., присвяч. 100-річчю роботи Д.О.Граве в Київському унів., Київ, 2002.
  4. I. Simonova Prelocally tabular logic of lattice enlargement of calculus. // J. Abstracts of talks of IV International Algebraic Conference in Ukraine, 2003.

Загальні курси:

  • Дискретна математика (відділення прикладної математики);
  • Прикладна теорія цифрових автоматів (відділення комп’ютерних систем);
  • Теорія графів та алгоритмів (физичний факультет);
  • Математична логіка (відділення математики).

Спецкурси:

  • Автоматичне доведення теорем.

Характеристика наукового напрямку

  • Некласичні логіки;
  • Інтуїционістські, суперінтуїционістські логіки;
  • Довідностно-інтуїционістська логіка та її розширення.

Зв’язки з науковими установами

Академія Наук Молдови.

Адреса

вул. Дворянська, 2,Одеса, 65082
Тел. приймальної (38-048)723-52-54
Тел./факс (38-048)723-35-15
Email: rector@onu.edu.ua

Наші партнери

title_5a101fdc4a9e9161725091511006172
title_5a101fdc4ab073671111481511006172
title_5a101fdc4ac1813735615031511006172
title_5a101fdc4ad2c10787673061511006172
Top