СЪЮЗ НА МАТЕМАТИЦИТЕ В БЪЛГАРИЯ ИНСТИТУТ ПО МАТЕМАТИКА И ИНФОРМАТИКА – БАН НАЦИОНАЛЕН КОЛОКВИУМ ПО МАТЕМАТИКА Сто и шестдесетата сбирка на Колоквиума ще се състои на 2 ноември 2022 г. (сряда) от 16:15 часа в Заседателната зала на ИМИ - БАН. Доклад на тема: Полихармонични оператори, гранични задачи и някои приложения в математическата физика ще изнесе акад. Петър Попиванов, Институт по математика и информатика, Българска академия на науките. Докладът се посвещава на Международната година на фундаменталните науки за устойчиво развитие. Абстракт   Поканват сe всички интересуващи се.

Поредната сбирка на семинара на секция Математическо моделиране и числен анализ ще се състои на 07.11.2022 г., понеделник, от 14:00 часа в зала 403 на Института по математика и информатика. Доклад на тема: Математическо моделиране на биопроцеси с използването на производни от дробен ред ще изнесе Владимира Суванджиева (докторантка към секция ММЧА), в който ще представи резултати от дипломната си работа. Резюме: В дипломната работа са разгледани две актуални теми: математическо моделиране на биопроцеси (по-специално, биореактор) и работата с производни от дробен ред. Оказва се, че заменянето на производните от целочислен ред в някои от вече добре познати модели, описващи биопроцеси, с производни от дробен ред, има смисъл с оглед на редица експериментални данни. От друга страна, специфичната структура на такъв тип производни се […]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 07.11.2022 г. от 14:30 ч. присъствено в зала 278 на ИМИ. Доклад на тема Доказателства с вектори в училищния курс по математика ще изнесе Боянка Савова.

Поредното заседание на Общия семинар на секция "Анализ, геометрия и топология" ще се проведе на 8 ноември 2022 г. от 13:30 часа в зала 478 на ИМИ - БАН. Доклад на тема: Surfaces Associated with Pascal and Catalan Triangles ще изнесат Leonard DAUS1, Marilena JIANU1 and Adela MIHAI1,2 1 Technical University of Civil Engineering Bucharest, Romania 2 Transilvania University of Brasov, Romania. Поканват се всички интересуващи се. Резюме. An open problem in reliability theory is that of finding all the coefficients of the reliability polynomial associated with particular networks. Because reliability polynomials can be expressed in Bernstein form (hence linked to binomial coefficients), it is clear that an extension of the classical discrete Pascal’s triangle (comprising all the binomial coefficients) to a continuous version […]

Поредното заседание на Общия семинар на секция "Анализ, геометрия и топология" ще се проведе на 15 ноември 2022 г. от 11:00 часа в зала 478 на ИМИ - БАН. Доклад на тема: Zener model with General fractional calculus: Thermodynamical Restrictions ще изнесат Teodor M. Atanackovic и Stevan Pilipovic, Serbian Academy of Sciences and Arts and University of Novi Sad, Serbia. Поканват се всички интересуващи се. Резюме. We study a Zener type model of viscoelastic body within the context of general fractional calculus and derive restrictions on coefficients that follow from the dissipation inequality that is, the entropy inequality under isothermal conditions. We show, for a stress relaxation and a wave propagation, that the restrictions that follow from the entropy inequality are sufficient to guarantee the existence and uniqueness […]

СЪЮЗ НА МАТЕМАТИЦИТЕ В БЪЛГАРИЯ ИНСТИТУТ ПО МАТЕМАТИКА И ИНФОРМАТИКА – БАН НАЦИОНАЛЕН КОЛОКВИУМ ПО МАТЕМАТИКА Сто и шестдесетата сбирка на Колоквиума ще се състои хибридно на 16 ноември 2022 г. (сряда) от 16:15 часа в Заседателната зала на ИМИ - БАН. Доклад на тема: Контрапримери, парадокси и сюрпризи в математиката ще изнесе Йордан Стоянов, Институт по математика и информатика, Българска академия на науките и Shandong University, Jinan, P. R. China. Поканват сe всички интересуващи се. Join Zoom Meeting https://us02web.zoom.us/j/81214695960?pwd=cml0Yi9sYmRacUhERXdnQVhCWC9Tdz09 Meeting ID: 812 1469 5960 Passcode: 187153 Абстракт: Във всяка област от математиката се изучават специфични обекти и съгласно приети правила се изгражда теория, доказват се твърдения, теореми, леми, дават се примери. Има обаче още една група от твърдения, да я наречем CPS (контрапримери, […]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 21.11.2022 г. от 14:30 ч. присъствено в зала 278 на ИМИ. Доклад на тема Смятане с вектори, доказателства, построения и един вариант на динамична геометрия ще изнесе доц. Бойко Банчев.

На 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.11.2022 г., понеделник, от 14:00 часа в зала 403 на Института по математика и информатика. Доклад на тема: Числено решаване на двумерното стационарно парадигматично уравнение на Бусинеск ще изнесе Красимир Ангелов, в който ще представи резултати от дисертационния си труд.