?
Линейные GLP-алгебры и их элементарные теории
Известия РАН. Серия математическая. 2016. Т. 80. № 6. С. 173-216.
Пахомов Ф. Н.
Полимодальная логика доказуемости
GLP была введена Г. К. Джапаридзе в 1986 г. Она является логикой доказуемости для ряда цепочек предикатов доказуемости возрастающей силы. Всякой полимодальной логике соответствует многообразие полимодальных алгебр. Л. Д. Беклемишевым и А. Виссером был поставлен вопрос о разрешимости элементарной теории свободной GLP-алгебры, порожденной константами 0, 1 [1]. В этой статье для любого натурального n решается аналогичный вопрос для логик GLPn, являющихся фрагментами логики GLP с n модальностями. Доказано, что для всех n разрешимы элементарные теории свободных GLPn-алгебр, порожденных константами 0, 1. Введено понятие линейной GLPn-алгебры и доказано, что все свободные GLPn-алгебры, порожденные константами 0, 1, линейны. Понятие линейной алгебры и последний результат естественным образом переносятся на случай логик GLPα, модальности которых проиндексированы элементами произвольных линейно упорядоченных множеств α. Библиография: 21 название.
Ключевые слова: математическая логика Саватеев Ю. В., Шамканов Д. С., / Cornell University. Series arXiv "math". 2018.
Добавлено: 4 апреля 2018 г. Камкин А., Петренко А., Терехов А., Perm : -, 2012
Сборник содержит статьи, представленные на 6-ом весеннем/летнем коллоквиуме молодых исследователей в области программной инженерии (SYRCoSE 2012), проводимом в Перми 30 и 31 мая 2012 г. Отбор статей производился на основе рецензирования материалов программным комитетом. На коллоквиум допускались как полные статьи, так и краткие сообщения, описывающие текущие исследования.
Программа коллоквиума охватывает следующие темы: технологии разработки программ; языки ...
Добавлено: 20 сентября 2012 г.
Эта книга является учебным пособием по математической логике и теории алгоритмов. Она написана на основе материалов курса "Дискретный анализ", читаемого многие годы для студентов факультета управления и прикладной математики Московского физико-технического института.
Для студентов, специализирующихся на прикладной математике. ...
Добавлено: 17 октября 2014 г. Kazan : -, 2013
Труды 7-ого весеннего/летнего коллоквиума молодых исследователей в области программной инженерии (SYRCoSE 2013), 30-31 мая 2013 г. - Казань, Россия.
Сборник содержит статьи, представленные на 7-ом весеннем/летнем коллоквиуме молодых исследователей в области программной инжeнерии (SYRCoSE 2013), проводимом в Казани З0 и 31 мая 2013 г. Отбор статей производился на основе рецензирования материалов программным комитетом. На коллоквиум допускались ...
Добавлено: 8 июня 2013 г. Улан-Удэ : Издательство Бурятского госуниверситета, 2017
Сборник содержит материалы 5-й школы-семинара «Синтаксис и семантика логических систем», проходившей в Улан-Удэ с 8 по 12 августа 2017 г. Тематика конференции включает следующие направления: теория моделей и универсальная алгебра; теория булевых и конечнозначных функций; формальные языки и логические исчисления; математическая логика в образовании; ...
Добавлено: 22 сентября 2017 г. Danilov B.R., Moscow University Computational Mathematics and Cybernetics 2013 Vol. 37 No. 4 P. 180-188
Добавлено: 2 декабря 2019 г. Борзых Д. А., ЛЕНАНД, 2021
Книга представляет собой экспресс-курс по теории вероятностей в контексте начального курса эконометрики. В курсе в максимально доступной форме изложен тот минимум, который необходим для осознанного изучения начального курса эконометрики. Данная книга может не только помочь ликвидировать пробелы в знаниях по теории вероятностей, но и позволить в первом приближении выучить предмет «с нуля». При этом, благодаря доступности изложения и небольшому объему книги, ...
Добавлено: 20 февраля 2021 г. Fonareva A. V., Gaydukov R. K., Russian Journal of Mathematical Physics 2021 Vol. 28 No. 2 P. 224-243
Добавлено: 22 марта 2021 г. Кокоулина М. В., Епифанова А. С., Пелиновский Е. Н. и др., Труды НГТУ им. Р.Е. Алексеева 2020 № 3 С. 28-41
В условиях спада заболеваемости коронавирусом во многих странах накопленные данные позволяют представить анализ в широком диапазоне значений от начала эпидемии до ее конца. Целью настоящей работы является анализ динамики развития COVID-19 c помощью обобщенного стохастического логистического уравнения для оценки числа вероятных пиков заболеваемости коронавирусом, а также оценка характера разброса коэффициентов обобщенной логистической модели в целом. ...
Добавлено: 29 сентября 2020 г. Беклемишев Л. Д., Оноприенко А. А., Математический сборник 2015 Т. 206 № 9 С. 3-20
Формулируются системы преобразований термов, число шагов работы которых на произвольном входе конечно, но не ограничивается никакой вычислимой функцией, доказуемо тотальной в арифметике Пеано PА. Тем самым, утверждение о сходимости таких систем не доказуемо в PA. Эти системы получаются из независимого комбинаторного утверждения, известного как принцип червя; их также можно рассматривать как вариант хорошо известной игры Геракла и гидры, ...
Добавлено: 13 марта 2016 г. Красноярск : ИВМ СО РАН, 2013
Труды Пятой Международной конференции «Системный анализ и информационные технологии» САИТ-2013 (19–25 сентября 2013 г., г.Красноярск, Россия): ...
Добавлено: 18 ноября 2013 г. Окуньков А. Ю., Aganagic M., Moscow Mathematical Journal 2017 Vol. 17 No. 4 P. 565-600
Добавлено: 25 октября 2018 г. В. Л. Попов, Математические заметки 2017 Т. 102 № 1 С. 72-80
Мы доказываем, что аффинно-треугольные подгруппы являются борелевскими подгруппами групп Кремоны. ...
Добавлено: 3 мая 2017 г. Котельникова М. В., Аистов А. В., Вестник Нижегородского университета им. Н.И. Лобачевского. Серия: Социальные науки 2019 Т. 55 № 3 С. 183-189
Представлено описание метода, позволяющего совершенствовать содержание дисциплин математического цикла, разделяя их на инвариантную (общую) и вариативную части. Приводятся результаты выделения инвариантов для дисциплин «Линейная алгебра», «Математический анализ», «Теория вероятностей и математическая статистика», преподаваемых экономистам-бакалаврам нескольких вузов. На основе выделенных инвариантов предлагаются темы для организации самостоятельной проектной и исследовательской деятельности студентов, ориентированной на содержание курса «Эконометрика». ...
Добавлено: 28 января 2020 г. Alexandrov D. E., Galkin V. V., Zobnin A.I. и др., Journal of Mathematical Sciences 2009 Vol. 163 No. 5 P. 469-486
Добавлено: 1 октября 2014 г. Семин С. В., Куркина О. Е., Куркин А. А. и др., Труды НГТУ им. Р.Е. Алексеева 2012 № 2(95) С. 48-65
Цель работы: Моделирование динамики внутренних бароклинных возмущений различной формы в модельном озере переменной глубины, анализ поля скорости частиц жидкости, особенно вблизи дна, в индуцированном волновыми движениями потоке.
Научный подход: Исследование проведено с использованием численной полнонелинейной трехмерной негидростатической модели для стратифицированной жидкости.
Результат: Проведено полнонелинейное трехмерное численное моделирование динамики внутренних волн в стратифицированном озере. Проанализированы распределения придонных скоростей, ...
Добавлено: 6 октября 2012 г. 49606783, Russian Journal of Mathematical Physics 2019 Vol. 26 No. 2 P. 168-173
Добавлено: 25 августа 2019 г. Маслов В. П., Теоретическая и математическая физика 2019 Т. 201 № 1 С. 65-83
C математической точки зрения исследуется процесс отрыва нуклона от
атомного ядра. Используются экспериментальные значения энергии связи для
ядра данного вещества. В момент отрыва нуклона от фермионного ядра оно
превращается в бозон. Исследуются дальнейшие превращения бозонного и фермионного состояний отрыва в малой окрестности нулевого давления. Получены
новые важные соотношения парастатистики, связывающие температуру и химический потенциал при отрыве нуклона от атомного ...
Добавлено: 1 ноября 2019 г. Левашов М. В., Кухаренко А. В., Вопросы защиты информации 2018 № 2 С. 66-71
Рассматривается статистическая модель одного этапа системы фрод-мониторинга транзакций в интернет-банкинге. Построен и рассчитан близкий к отношению правдоподобия критерий отсева мошеннических транзакций. Для выборочных распределений, полученных на выборке объема в 1 млн реальных транзакций, вычислены параметры эффективности этого критерия. ...
Добавлено: 14 июня 2018 г. Америк Е. Ю., Вербицкий М. С., / Cornell University. Series arXiv "math". 2021.
Добавлено: 7 апреля 2022 г. Min Namkung, Younghun K., Scientific Reports 2018 Vol. 8 No. 1 P. 16915-1-16915-18
Добавлено: 16 ноября 2020 г. Берштейн М. А., Фейгин Б. Л., Мерзон Г. А., Selecta Mathematica, New Series 2018 Vol. 24 No. 1 P. 21-62
Добавлено: 24 октября 2018 г. |