На 14 януари 2026 г., сряда от 18 часа в зала 210 на ФХФ ще се проведе научен семинар на тема “Проблеми за съответствието за класове от постлинейни наредби“ с лектор докторант Григор Колев.
Анотация на доклада:
Разглеждат се въпросите за определимост и съответствие между затворени предикатни формули и съждителни формули с придадена интуиционистка семантика спрямо класове от постлинейни наредби. Доказва се разрешимост на монадичната теория от втори ред на класа на всички изброими постлинейни наредби и разрешимост на въпросите за определимост и съответствие спрямо всеки крайно аксиоматизируем в езика от първи ред клас от постлинейни наредби.
Това е сбирка на научния семинар към проект "Ефективни изчисления и алгоритми. Приложение при решаване на теоретични и практически проблеми от различни научни области."
Възползваме се от повода да отбележим Световният ден на логиката, който се чества на 14.01 за осма поредна година под егидата на ЮНЕСКО.
В рамките на семинара Григор Колев ще разкаже подробности за спечелената от него първа награда на състезанието World Logic Prize Contest.
Поканени са всички заинтересовани – студенти, преподаватели и гости на ФМИ.