На 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) и мястото им в общата антарктическа топонимия, тяхната хронология, класификация по видове географски обекти, етимология, регионално разпределение, най-значими обекти, международна употреба и присъствие в масовата култура.  

Следващото заседание на семинара "Алгебра и логика" ще се проведе на 13 септември 2019 г. (петък) от 13:00 часа в зала 578 на ИМИ – БАН. Доклад на тема ON COMMUTATOR KRYLOV TRANSITIVE AND COMMUTATOR WEAKLY TRANSITIVE ABELIAN p-GROUPS ще изнесе Петър ДАНЧЕВ. Поканват се всички желаещи. От секция „Алгебра и логика” на ИМИ – БАН Резюме.  The reported paper deals with a question, posed a few years ago by Laszlo Fuchs and other international experts in the contemporary theory of Abelian groups, having a special impact on the modern aspects of non-commutative ring theory. Specifically, the problem asks  for the structural description of those Abelian p-groups whose endomorphisms are (additively) generated by commutators. In other words, all endomorphism are representable as a finite [...]

Следващото заседание на семинара "Алгебра и логика" ще се проведе на 30 август 2019 г. (петък) от 13:00 часа в зала 578 на ИМИ – БАН. Доклад на тема TYPE-THEORY OF ACYCLIC RECURSION AND ITS REDUCTION CALCULUS ще изнесе Русанка ЛУКАНОВА. Поканват се всички желаещи. От секция „Алгебра и логика” на ИМИ – БАН Резюме. In this talk, I will introduce Moschovakis typed-theory of algorithms.  I shall present its formal language and original reduction calculus, which reduces the terms to their canonical forms. Distinctively, the reduction calculus associates the formal theory with denotational and algorithmic semantics. The canonical forms determine the relation of algorithmic equivalence between terms. If time allows, I will extend the formal system by gamma-reduction and algorithmic gamma-equivalence.  The gamma-calculus reduces the [...]

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

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