?
On Shavrukov's non-isomorphism theorem for diagonalizable algebras
Review of Symbolic Logic. 2022. P. 1–38.
Колмаков Е. А.
Lerman L. M., Turaev D. V., Regular and Chaotic Dynamics 2026 Vol. 31 No. 3 P. 349–369
Добавлено: 15 мая 2026 г.
Добавлено: 15 мая 2026 г.
Добавлено: 15 мая 2026 г.
Лебедев В. В., Journal of Mathematical Analysis and Applications 2026 Vol. 563 No. 2 Article 130787
Добавлено: 14 мая 2026 г.
Blokh A., Oversteegen L., Selinger N. и др., Arnold Mathematical Journal 2025 Vol. 12 No. 1 P. 1–40
Добавлено: 13 мая 2026 г.
Петров И. В., Автоматика и телемеханика 2026 № 6 С. 82–118
Системам связанных агентов и сетевому управлению посвящено большое число отечественных и зарубежных исследований. Исторически, наибольший интерес в теории управления возникал к усредняющим системам и, в частности, к задаче консенсуса. Однако сетевое взаимодействие может характеризоваться более специфическими функциями, отражающими зависимость от действий соседей по сети, что особенно явно проявляется в моделях стратегического взаимодействия на сети, которое ...
Добавлено: 12 мая 2026 г.
М.: ООО «Макс Пресс», 2026.
В настоящем сборнике представлены тезисы докладов участников семинара "Интеграция основного и дополнительного физико-математического образования", проходившего 11 февраля 2026 года в ГБОУ Школа №2007 ФМШ г. москвы, а также другие публикации, посвящённые вопросам дополнительного физико-математического образования. ...
Добавлено: 11 мая 2026 г.
Novikov R., Сивкин В. Н., Inverse Problems 2026 Vol. 42 No. 4 Article 045009
Добавлено: 11 мая 2026 г.
Hecht M., Hofmann P., Wicaksono D. и др., IMA Journal of Numerical Analysis 2026 Vol. 00 P. 1–30
Добавлено: 11 мая 2026 г.
Белоусов Н. М., Черепанов Л. К., Деркачов С. Э. и др., Selecta Mathematica, New Series 2026 Vol. 32 Article 44
Добавлено: 6 мая 2026 г.
Цыганов А. В., Порубов Е. О., Теоретическая и математическая физика 2026 Т. 227 № 2 С. 336–355
Теория тензорных инвариантов обыкновенных дифференциальных уравнений и классификация Картана простых алгебр Ли используется для установления изоморфизма задачи Козлова о движении ферромагнетика в магнитном поле и задачи Шоттки о движении четырехмерного твердого тела. Найдены новые полиномиальные и рациональные бивекторы Пуассона, инвариантные либо относительно пары коммутирующих фазовых потоков, либо относительно одного из пары потоков. ...
Добавлено: 5 мая 2026 г.
Драгалина-Черная Е. Г., 2024 Т. 13 № 1 С. 15–32
В статье сопоставляются принципы инвариантности, предлагаемые аналитической и феноменологической традициями для демаркации границ формальных и региональных онтологий. Принцип инвариантности относительно изоморфных преобразований, обобщающий критерий Альфреда Тарского для логических понятий, распространяется на формальную онтологию как теорию многообразий в ее феноменологической интерпретации. Особое внимание уделяется дискуссии аналитической и феноменологической традиций о синтетическом (материальном) априори и тому вкладу, ...
Добавлено: 3 февраля 2024 г.
Яркова В. В., Ситькова А. С., Евразийский гуманитарный журнал 2023 № 2 С. 22–30
Понятие изоморфизма играет важную роль в осмыслении закономерностей функционирования различных систем, в частности системы языка. В настоящей статье предпринята попытка обобщить и систематизировать накопленные знания о понятии изоморфизма с позиции философии и языкознания второй половины XX – начала XXI вв. В общенаучном контексте под изоморфизмом понимают сходство свойств, соответствие связей и отношений между объектами (системами). ...
Добавлено: 12 ноября 2023 г.
Драгалина-Черная Е. Г., В кн.: Тринадцатые Смирновские чтения: материалы Междунар. науч. конф., Москва, 22–24 июня 2023 г.: М.: Философский факультет МГУ, 2023. С. 74–76.
Выявляются основания и ограничения трактовки теории обобщенной квантификации как «логики кардинальности» в абстрактной теории моделей и в нейропсихологических исследованиях обыденных рассуждений ...
Добавлено: 22 июня 2023 г.
Колмаков Е. А., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2022 Т. 499 № 1 С. 26–30
Мы получаем усиление теоремы В.Ю. Шаврукова о неизоморфизме алгебр доказуемости двух Σ1-корректных теорий, основываясь на результатах, полученных Г. Адамссоном. Усиленное достаточное условие неизоморфизма позволяет построить новые примеры пар теорий с неизоморфными алгебрами. В частности, мы доказываем отсутствие эпиморфизмов из алгебры (LT,□T□T) на алгебру (LT,□T). ...
Добавлено: 30 июня 2022 г.
Суворов А. О., Петренко А. А., Аликин А. В., Информационные технологии и вычислительные системы 2021 № 4 С. 100–110
Рассматриваются вопросы создания одностраничных веб-приложений на JavaScript фреймворках, таких как React, Angular, Vue таким образом, чтобы SEO-ориентированность веб-приложений оставалась такой же, как и при использовании статичного контента. Рассмотрен изоморфный подход к разработке одностраничных приложений, основанный на принципе его устройства и стратегиях его использования, приведены принципы построения такого приложения и примеры блока программного кода, а также ...
Добавлено: 16 ноября 2021 г.
Добавлено: 27 октября 2021 г.
N.M. Suvorov, L.N. Lyadova, Proceedings of the Institute for System Programming of the RAS 2021 Vol. 33 No. 4 P. 163–176
Визуальное моделирование широко распространено на данный момент, однако существующие платформы, предназначенные для моделирования, не могут удовлетворить все требования пользователей. Визуальные языки, как правило, основаны на графовых моделях, однако графовые формализмы, используемые для представления моделей, обладают существенными ограничениями. Для решения проблемы недостаточной выразительности существующих графовых моделей ранее была представлена новая графовая модель (HP-граф), основным элементом которой ...
Добавлено: 23 октября 2021 г.
Ломоносов Т. А., Journal of Mathematical Sciences 2021 Vol. 255 No. 4 P. 459–466
Добавлено: 9 мая 2021 г.
Леонидов А. В., Васильев С. Б., Серебрянникова Е. Е. и др., В кн.: Проблемы управления и моделирования в сложных системах: Труды XXI Международной конференции. В 2-х томах.: Самара: ООО «Офорт», 2019. С. 221–224.
Graph is a universal representation of different social and economic systems. Vertices of a graph represent objects of different kind and edges describe interrelations between these objects. Vertices and edges can be characterized by a set of attributes describing different properties of objects and relations between them. A graph is called a multi-graph If its ...
Добавлено: 20 декабря 2019 г.