На 25 ноември 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Logic Operators and Quantifiers in Type-Theory of Algorithms ще изнесе Русанка Луканова (ИМИ - БАН). Абстракт. I shall introduce an extension of Moschovakis Type-Theory of Algorithms (LR) and its reduction calculus, by adding logic operators and quantifiers. The LR has two kinds of terms of formulae, for designating state-independent and state-dependent propositions and predications. The logic operators include conjunction, disjunction, implication, and negation. I extend the formal language of LR by state-dependent quantifiers, for enhancing the standard quantifiers of predicate logic. I provide an extended reduction calculus of the Type-Theory of Acyclic Algorithms, for reductions of LR terms to their canonical forms. [...]

На 28 октомври 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Gabbay Separation for the Duration Calculus ще изнесе Димитър Гелев (ИМИ - БАН). Абстракт. Gabbay's separation theorem about linear temporal logic (LTL) with past has proved to be one of the most useful theoretical results in temporal logic. Is expressive power ultimately affected, if past constructs are not allowed in the scope of future ones, or vice versa? Separation implies that it does not, and also provides a technically convenient normal form for temporal conditions. Interval Temporal Logic (ITL) and the Duration Calculus (DC) are interval-based logics. Unlike LTL, they are based on modalities which allow reference to subintervals of the reference [...]

На 21 октомври 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Ranks and Presentations for Order-Preserving Transformations with One Fixed Point ще изнесе Jörg Koppitz (съвместна работа със S. Worawiset). Абстракт. We consider the semigroup (no monoid) of all order-preserving full transformations α on an n-element chain Xn = {1 < 2 …< n}, where p is the only fixed point in α, for some given p ∈Xn, denoted by On,p. This semigroup is nilpotent. In particular, the semigroup On,1 (i.e. p = 1) is already well studied, since it is the maximal nilpotent subsemigroup of the Catalan monoid. But the semigroup On,p is still not well studied for p > 1 [...]

На 14 октомври 2022 г. (петък) от 13:00 ч. в зала 578 ще се проведе хибридно заседание на семинара по „Алгебра и логика”. Доклад на тема: Семейства от трилистни накрития на алгебрически криви ще изнесе Христо Илиев (АУБ и ИМИ - БАН). Абстракт. Докладът е продължение на предишния ми доклад "Примери на нередуцирани компоненти на Хилбертовата схема от гладки проективни криви с използването на линейчати повърхнини", който беше представен на 19-ти август, 2022г. В сегашния доклад разглеждамe трилистни накрития на гладки алгебрически криви от род γ ≥ 0. В резултат получаваме семейства от криви върху гладки повърхнинни скролове, които при определени числени ограничения дават компоненти на Хилбертовата схема от криви.   Семинарът ще бъде излъчен и онлайн посредством платформата Zoom. Линк към Zoom-стаята на семинара: [...]

На 23 септември 2022 г. (петък) от 13:00 ч. в зала 578 ще се проведе присъствено заседание на семинара по „Алгебра и логика”. Доклад на тема: Геометрия и логика в квантовите изчисления ще изнесе Николай М. Николов (ИЯИЯЕ-БАН). Абстракт. През 1936г. Гарет Биркхоф и Джон фон Нойман публикуват една от най-общите аксиоматични основи на квантовата теория, която е известна до днес, като "Квантова логика" (Annals of Mathematics, vol. 37 (1936) 823-843). В тази работа те изхождат от орто-модуларна решетка, която служи като модел на частично нареденото множество на всички квантови събития. Те също откриват връзка с проективната геометрия. Основният случай на геометрии е върху комплексните числа, но има и възможности за по-общи пръстени с деление, включително некомутативни. След кратко представяне на тези резултати, ще [...]

На 16 септември 2022 г. (петък) от 14:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Almost Prime Ideal and Almost Prime Radical ще изнесе Alaa Abouhalaka (Çukurova University, Adana, Turkey). Абстракт. In this talk, we introduce the concept of almost prime (right) ideals in noncommutative rings and provide some equivalent definitions and new results. Also we introduce the concept of almost prime radical of an ideal. References: [1] M.S. Bhatwadekar, P. K. Sharma, Unique factorization and birth of almost primes, Comm. Algebra, 33(1), 43-49, (2005). [2] W.D. Blair, H. Tsutsui, Fully prime rings, Comm. Algebra, 22(13), 5389-5400, (1994).   Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: [...]

На 9 септември 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Timing delays in cyber-physical systems ще изнесе Naijun Zhan (Institute of Software Chinese Academy of Sciences ISCAS, China). Абстракт. With the rapid development of feedback control, sensor techniques and computer control, time delay has become an essential feature of cyber-physical systems (CPSs), underlying both the continuous evolution of physical plants and the discrete transition of computer programs, which may well annihilate the stability/safety certificate and control performance of CPSs. In the safety-critical context, automatic verification and synthesis methods addressing time-delay in CPSs should therefore abound. However, surprisingly, they do not, although time-delay has been extensively studied in the literature of mathematics [...]

На 19 август 2022 г. (петък) от 13:00 ч. в зала 578 на ИМИ - БАН ще се проведе хибридно заседание на семинара по „Алгебра и логика”. Доклад на тема: Examples of non-reduced components of the Hilbert Scheme of smooth projective curves using ruled surfaces ще изнесе Христо Илиев (АУБ и ИМИ-БАН). Абстракт. Let Id,g,r be the union of irreducible components of the Hilbert scheme whose general points represent smooth irreducible non-degenerate curves of degree d and genus g in Pr. Using a family of curves found on ruled surfaces over smooth curves of genus γ, we show that for γ ≥ 7 and g ≥ 6γ+5 the scheme I2g−4γ+1,g,g−3γ+1 acquires a non-reduced component D′ such that dim T[X′]D′ = dimD′ + 1 for [...]

На 29 юли 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Modal Descriptive Complexity ще изнесе Петър Илиев (ИФС-БАН и ИМИ-БАН). Абстракт. The study of the descriptive complexity of a class of structures S relative to a class of formulae F from a logic L revolves around the question: what can we say about the definability of S with formulae from F? For example, we might want to know whether there is a formula from F defining S or, if not, whether there is a countably infinite sequence of F-formulae such that each formula from the sequence defines a subset of S and the union of all these subsets is the whole [...]

На 1 юли 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: On the parity of the coefficients of minimal polynomial of Kloosterman sums over Fp ще изнесе Любомир Борисов. Абстракт. Kloosterman sums over finite fields play an important role in "Algebraic Coding Theory" and "Cryptography". E.g., they are related to some families of algebraic codes (Melas, Kloosterman) and (hyper-)bent functions. Particularly, the divisibility properties of some quantities connected with the Kloosterman sums, e.g., of minimal polynomial coefficients and power moments, were also investigated (see, e.g., [1]; [2]). In this talk I shall present some results about the divisibility by 2 of the coefficients of minimal polynomials of the Kloosterman sums. [1] M. Moisio, [...]