Семинар “Алгебра и логика”

На 5 март 2021 г. (петък) от 16:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Finite presentability for metabelian groups, Lie algebras and restricted Lie algebras ще изнесе Десислава Кошлукова (Университет в Кампинас, Бразилия). Резюме. In the first part of the talk we revisе the already known classifications of finite presentability (in terms of generators and relations) for metabelian groups and metabelian Lie algebras. The case of groups was solved by Robert Bieri and Ralph Strebel in 1980s and that of Lie algebras was done by Roger Bryant and John Groves in late 1990s. In the last part of the talk we discuss new results about the classification of finitely presented metabelian restricted Lie algebras based on joint [...]

2021-02-27T13:01:58+00:00петък, 5 март 2021|Категории: |Етикети: |

Семинар “Алгебра и логика”

На 26 февруари 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Номерационни степени: 60 години изследвания в областта ще изнесе Христо Ганчев (Факултет по математика и информатика, Софийски университет). Резюме. Ще направим обзор на едни от главните резултати и проблеми в номерационната сводимост – една от двете главни сводимости, използвани за сравняване на информационното съдържание в множества от естествени числа. Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 26, 2021 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647     От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/  

2021-02-21T19:51:31+00:00петък, 26 февруари 2021|Категории: |Етикети: |

Семинар “Алгебра и логика”

На 19 февруари 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Identities in Prime Rings ще изнесе Jose Brox (Centre for Mathematics of the University of Coimbra, Portugal). Резюме. Given a ring, a generalized polynomial identity (GPI) is a polynomial identity in which the coefficients can be taken from the ring. Prime rings are a class of rings very well suited to manage problems related to identities, as for example those coming from Herstein's theory, which is the study of nonassociative objects and structures arising from associative rings. After a motivating introduction to prime rings, with some examples from Herstein's theory, I will show the usefulness of Martindale's lemma, the key tool for [...]

2021-02-15T10:59:36+00:00петък, 19 февруари 2021|Категории: |Етикети: |

Семинар “Алгебра и логика”

На 12 февруари 2021 г. (петък) от 16:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема On the Newton polytope of a Jacobian pair ще изнесе Leonid Makar-Limanov (Wayne State University, Detroit, USA and Weizmann Institute of Science, Rehovot, Israel). Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09  Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 12, 2021 04:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 Резюме. First, I remind what is the Jacobian Conjecture and talk about some history related to it. Then I'll briefly explain what is the “shape” of a minimal counterexample to the conjecture. After that the Newton polytope related to [...]

2021-02-07T18:05:40+00:00петък, 12 февруари 2021|Категории: |Етикети: |

Семинар “Алгебра и логика”

На 5 февруари 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Reduction Calculus of Type-Theory of Acyclic Algorithms, II ще изнесе Русанка Луканова. Докладът ще бъде продължение на доклада, изнесен на 29.01.2021. Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 05, 2021 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 Резюме. In 1989, Moschovakis [1] initiated a new theory of the mathematical notion of algorithm, within untyped, full recursion. In 2006, Moschovakis [2] introduced the formal language of Type-Theory of Recursion (TTR), which models the notion of algorithm and concepts of [...]

2021-02-01T13:12:03+00:00петък, 5 февруари 2021|Категории: |Етикети: |

Семинар “Алгебра и логика”

На 29 януари 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Reduction Calculus of Type-Theory of Acyclic Algorithms ще изнесе Русанка Луканова. Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09  Topic: Онлайн семинар на секция "Алгебра и логика" Time: Jan 29, 2021 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 Резюме. In 1989, Moschovakis [1] initiated a new theory of the mathematical notion of algorithm, within untyped, full recursion. In 2006, Moschovakis [2] introduced the formal language of Type-Theory of Recursion (TTR), which models the notion of algorithm and concepts of meaning in typed semantic structures. The focus of [2] is [...]

2021-01-27T08:58:56+00:00петък, 29 януари 2021|Категории: |Етикети: |

Семинар “Алгебра и логика”

На 8 януари 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Диференцирания в матрични полупръстени ще изнесе Димитринка Владeва (ЛТУ – София). Резюме Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09  Topic: Онлайн семинар на секция "Алгебра и логика" Time: Jan 08, 2021 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647   От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/  

2021-01-04T08:53:15+00:00петък, 8 януари 2021|Категории: |Етикети: |

14 януари е Световен ден на логиката

Специалистите по логика в БАН и Софийския университет „Св. Климент Охридски“ ще отбележат заедно Третия световен ден на логиката. Съвместното заседание на Семинара по алгебра и логика на Института по математика и информатика на БАН, на Семинара по математическа логика на Факултета по математика и информатика на Софийския университет и на Семинара по логика на Института по философия и социология на БАН е включено в официалната програма на Третия световен ден на логиката.

Семинар “Алгебра и логика”

На 15 декември 2020 г. (вторник) от 15:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Hagedorn transitions in Matrix Membranes ще изнесе Denjoe O'Connor (School of Theoretical Physics, Dublin Institute for Advanced Studies). Резюме. Matrix models that originate in non-commutative deformations of Membranes result in models related to dimensional reductions of higher dimensional Yang-Mills theories. The confining/deconfining transition becomes a Hagedorn transition in this setting and the models are believed to have gravitational duals. I will discuss recent progress in understanding these models and their physics. Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09   Topic: Онлайн семинар на секция "Алгебра и логика" Time: Dec 15, 2020 03:00 [...]

2020-12-12T12:24:36+00:00вторник, 15 декември 2020|Категории: |Етикети: |

Семинар “Алгебра и логика”

На 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 [...]

2020-12-08T11:51:17+00:00петък, 11 декември 2020|Категории: |Етикети: |
Go to Top