СЕМИНАР „АЛГЕБРА И ЛОГИКА”

Следващото заседание на семинара ще се проведе на 11 ноември 2016 г. (петък) от 11:00 часа в зала 578 на ИМИ – БАН.

Доклад на тема:

Логики за релационни геометрични структури: дистрибутивна мереотопология, разширени контактни алгебри и свързани безкванторни логики

ще изнесе д-р Татяна М. ИВАНОВА (ФМИ на СУ).

Поканват се всички желаещи.

Резюме