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