На 11 декември 2020 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Margarete Wolf, Symmetric Polynomials in Noncommuting Variables and Noncommutative Invariant Theory ще изнесе Силвия Бумова (ФМИ-СУ и ИМИ-БАН). (Съвместен проект с Веселин Дренски) Докладът е сателитно мероприятие към онлайн семинара "Women in Mathematics in South-Eastern Europe", който се организира от Международния център по математически науки - София (ICMS-Sofia).  Резюме. In 1936 Margarete Caroline Wolf published a paper where she proved that the symmetric polynomials in the free associative algebra form a free subalgebra and described the system of free generators. The purpose of the talk is to present these results from modern point of view and their relations with other results in [...]

На 4 декември 2020 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”.    Доклад на тема:   Polynomial identities: anomalies of codimension growth   ще изнесе Mikhail Zaicev (Moscow State University).   Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Meeting ID: 851 3737 5021 Passcode: 035647 Abstract We consider numerical invariants associated with polynomial identities of algebras over a field of characteristic zero. Given an algebra A, one can construct a sequence of non-negative integers {c_n(A)}, n = 1, 2, . . . , called the codimensions of A, which is an important numerical characteristic of identical relations of A. In the present talk, we [...]

На 23 ноември 2020 г. (понеделник) от 11:15 часа българско време ще се проведе съвместно дистанционно заседание на семинара по Алгебра на Математическия институт "Алфред Рени" в Будапеща и на семинара по Алгебра и логика на ИМИ-БАН. Доклад на тема I. Anniversary: 150 Years of idempotents. II. Idempotents of 2 × 2 matrix rings over rings of formal power series. ще изнесе Веселин Дренски. Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини, като последва линка: https://zoom.us/j/95342234576?pwd=TTFrZmwyQ2h1QmhOc1JaWXorbzI4dz09  Meeting ID: 953 4223 4576 Passcode: 943760 Резюме. Елементът a в пръстена A се нарича идемпотент, ако a^2=a. През 2020 г. празнуваме годишнина на идемпотентите – 150 от тяхното откриване. Те са въведени в теория на пръстените от Бенджамин Пирс през  1870 [...]

На 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. Предлагаме пълна аксиоматизация и установяваме разрешимостта [...]

На 13 декември 2019 г. (петък) от 13:00 часа в зала 578 на ИМИ – БАН ще се състои представяне на дисертационен труд на гл. ас. д-р Петър Василев Данчев (ИМИ – БАН)  на тема НЯКОИ КЛАСОВЕ ОТ НЕКОМУТАТИВНИ ПРЪСТЕНИ И АБЕЛЕВИ ГРУПИ за стартиране на процедура по присъждане на научната степен „доктор на науките” в област на висше образование 4. Природни науки, математика и информатика,  професионално направление 4.5. Математика, научна специалност "Алгебра и теория на числата". Поканват се всички желаещи. От секция „Алгебра и логика” на ИМИ – БАН Кратко резюме: Една от основните ни цели в дисертацията е да дадем пълна характеризация с точност до изоморфизъм на някои по-общи видове от чисти и разменни пръстени, като за целта доразвиваме някои стари подходи, но [...]

Следващото заседание на семинара "Алгебра и логика" ще се проведе на 29 ноември 2019 г. (петък) от 13:00 часа в зала 578 на ИМИ – БАН. Доклад на тема ЗА ДА НАМЕРИМ МОДЕЛ, ТРЯБВА ДА СЕ ОТКАЖЕМ ОТ СЪВЪРШЕНСТВОТО ще изнесе Димитър ДОБРЕВ. Поканват се всички желаещи. От секция „Алгебра и логика” на ИМИ – БАН Резюме. При Reinforcement Learning предполагаме, че съществува модел на света. Предполагаме, че този модел е съвършен (тоест, че описва света напълно и еднозначно). В тази статия ще покажем, че няма смисъл да търсим съвършения модел, защото този модел е твърде сложен и на практика не може да бъде намерен. Ще покажем, че трябва да се откажем от съвършенството и вместо това да търсим event-driven модели. Тези модели са [...]

Следващото заседание на семинара "Алгебра и логика" ще се проведе на 22 ноември 2019 г. (петък) от 13:00 часа в зала 578 на ИМИ – БАН. Доклад на тема ДИОФАНТОВА И КОХОМОЛОГИЧНА РАЗМЕРНОСТ НА ПОЛЕТА ОТ АРИТМЕТИЧЕН ТИП ще изнесе Иван ЧИПЧАКОВ. Поканват се всички желаещи. От секция „Алгебра и логика” на ИМИ – БАН Резюме. Диофантовата размерност dd(E) на поле E е инвариант, оказващ влияние върху редица специфични свойства на E и на алгебрични структури, асоциирани с E. По определение, имаме dd(Е) ≤ i, където i е дадено цяло неотрицателно число, ако Е е поле от тип C_i, в смисъл на Ленг, т.е. изпълнено е следното: всеки ненулев хомогенен полином с коефициенти от F от степен d и n > d^i независими променливи има нетривиална нула над F. Казваме, [...]

Следващото заседание на семинара "Алгебра и логика" ще се проведе на 15 ноември 2019 г. (петък) от 13:00 часа в зала 578 на ИМИ – БАН. Доклад на тема ТЕОРИЯ ОТ ПЪРВИ РЕД ЗА ЕВКЛИДОВАТА РАВНИНА, БАЗИРАНА НА ПРАВИ КАТО ЕДИНСТВЕНО ПЪРВИЧНО ПОНЯТИЕ ще изнесе Татяна ИВАНОВА. Поканват се всички желаещи. От секция „Алгебра и логика” на ИМИ – БАН Резюме. The paper [1] gives qualitative spatial reasoning in Euclidean plane based solely on lines. The relations of parallelism and convergence between lines are considered. In this presentation I consider a continuation of [1] by adding a new predicate - perpendicularity. I introduce a first-order theory of lines in Euclidean plane with predicates parallelism, convergence and perpendicularity. The logic is complete with respect to the [...]

Следващото заседание на семинара "Алгебра и логика" ще се проведе на 11 октомври 2019 г. (петък) от 13:00 часа в зала 578 на ИМИ – БАН. Доклад на тема БЪЛГАРСКИ ИМЕНА В АНТАРКТИКА: ХРОНОЛОГИЯ, РАЗПРОСТРАНЕНИЕ, ХАРАКТЕРИСТИКИ ще изнесе Любомир ИВАНОВ. Поканват се всички желаещи. От секция „Алгебра и логика” на ИМИ – БАН Резюме.  Обзор на 1450-те български имена в Антарктика (1989 – 2019) и мястото им в общата антарктическа топонимия, тяхната хронология, класификация по видове географски обекти, етимология, регионално разпределение, най-значими обекти, международна употреба и присъствие в масовата култура.