СЪЮЗ НА МАТЕМАТИЦИТЕ В БЪЛГАРИЯ ИНСТИТУТ ПО МАТЕМАТИКА И ИНФОРМАТИКА - БАН НАЦИОНАЛЕН КОЛОКВИУМ ПО МАТЕМАТИКА Поредната сбирка на Колоквиума ще се състои на 14 октомври 2020 г. (сряда) от 16:15 часа в Заседателната зала на ИМИ-БАН, София, ул. „Акад. Г. Бончев“, блок 8. Доклад на тема: Chain Ring Analogues of Some Theorems from Extremal Set Theory ще изнесе проф. Иван Ланджев, ИМИ – БАН. РЕЗЮМЕ Поканват се всички интересуващи се. Семинарът ще се проведе при спазване на противоепидемичните мерки (1/3 запълване на залата, маски, дезинфектанти и др.). Колоквиумът ще се излъчва на живо чрез приложението Discord на адрес https://discord.gg/Sv9Apjs. Приложението Discord можете да изтеглите от https://discord.com/download. Ръководител на Колоквиума: акад. П. Попиванов

Поредната сбирка на СЕМИНАРА на секция "Математическо моделиране и числен анализ" ще се състои на 19.10.2020 г. (понеделник) от 14:00 часа в зала 403 на Института по математика и информатика.  Доклад на тема Анализ на устойчивост и жизнеспособност на модел на болест, пренасяна от комари  ще изнесе доц. Петър Рашков. Семинарът ще се излъчва на живо през приложението DISCORD на адрес https://discord.gg/8fVFwPV. Необходимо е да се изтегли приложението DISCORD от адрес: https://discord.com/download. Резюме: Разглеждаме математически модел на болест, пренасяна от комари, от тип SIR-SI, където се различават два класа заразени: със симптоми и без симптоми. Примери за такива болести са маларията и треската денга, които са ендемични в тропичния пояс на Земята. Изучаваме устойчивостта на равновесните точки с помощта на функция на Ляпунов за различни […]

Поредното заседание на Общия семинар на секция „Анализ, геометрия и топология“ ще се проведе на 27 октомври 2020 г. от 14:00 часа в зала 478 на ИМИ. Доклад на тема: Характеризиране на повърхнини с инварианти ще изнесе Огнян Касабов. Поканват се всички интересуващи се. Резюме. Ще дискутираме проблема за характеризиране на повърхнини с техни инварианти. За минимални повърхнини проблемът беше решен с трудове на Ганчев. Освен това Ганчев и Михова разгледаха въпроса и в някои по-общи случаи. Ние предлагаме решение в общия случай, давайки характеризация на повърхнина с две инварианти, подчинени на едно частно диференциално уравнение.

На 30 октомври 2020 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема A Solvable Class of Solution Concepts for Multiplayer Complete Information Infinite Games with Ordered Objectives and Temporary Coalitions ще изнесе Димитър Гелев (ИМИ-БАН). Резюме. Предлагаме метод за кодирането на понятия за решение на безкрайни синхронни игри с пълна информация на няколко играчи с предпочитания между целите и при възможност за образуването на временни коалиции. Кодирането е в разрешимо разширение на темпоралната логика CTL* с пропозиционален квантор. Разширението създава възможността да се формулират предпочитанията на играчите между темпоралните им цели и се основава на темпорален вариант на оператора за предпочитание, известен от работата на Von Wright, 1963. Предлагаме пълна аксиоматизация и установяваме разрешимостта […]