?
On Banach spaces of sequences and free linear logic exponential modality
Mathematical Structures in Computer Science. 2019. Vol. 29. No. 2. P. 215-242.
Ключевые слова: linear logic
Sergey Slavnov, Logical Methods in Computer Science 2019 Vol. 15 No. 3 P. 1-25
Добавлено: 23 октября 2019 г.
Blute R., Panangaden P., Slavnov S. A., Applied Categorical Structures 2012 Vol. 20 No. 3 P. 209-228
В статье предлагается категорная модель системы глубокого вывода BV, опеределенной Гульеми. В системах глубокого вывода реализована идея дедукций внутри формулы на любой глубине . Стандартные правила исчислений секвенций применимы только к корню дерева подформул, тогда как в этих новых системах можно вносить изменения в любой позиции дерева. В частности, глубокий вывод позволяет синтаксическое описание логик, ...
Добавлено: 28 декабря 2012 г.
Славнов С. А., Annals of Pure and Applied Logic 2005 Vol. 131 No. 1-3 P. 177-225
Добавлено: 4 марта 2013 г.
Славнов С. А., Theoretical Computer Science 2006 Vol. 357 No. 1-3 P. 215-229
Добавлено: 4 марта 2013 г.
Sergey Slavnov, Annals of Pure and Applied Logic 2014 Vol. 165 No. 1 P. 357-370
Just as intuitionistic proofs can be modeled by functions, linear logic proofs, being symmetric in the inputs and outputs, can be modeled by relations (for example, cliques in coherence spaces). However generic relations do not establish any functional dependence between the arguments, and therefore it is questionable whether they can be thought as reasonable generalizations ...
Добавлено: 7 октября 2013 г.
Blute R., Panangaden P., Slavnov Sergey, Applied Categorical Structures 2012 Vol. 20 No. 3 P. 209-228
Добавлено: 18 февраля 2013 г.
Ильяшенко Ю. С., Яковенко С. Ю., М. : МЦНМО, 2013
Предлагаемая книга—первый том двухтомной монографии, посвящённой аналитической теории дифференциальных уравнений.
В первой части этого тома излагается формальная и аналитическая теория нормальных форм и теорема о разрешении особенностей для векторных полей на плоскости.
Вторая часть посвящена алгебраически разрешимым локальным задачам теории аналитических дифференциальных уравнений , квадратичным векторным полям и проблеме локальной классификации ростков векторных полей в комплексной области ...
Добавлено: 5 февраля 2014 г.
Пахомов Ф. Н., Известия РАН. Серия математическая 2016 Т. 80 № 6 С. 173-216
Полимодальная логика доказуемости
GLP была введена Г. К. Джапаридзе в 1986 г. Она является логикой доказуемости для ряда цепочек предикатов доказуемости возрастающей силы. Всякой полимодальной логике соответствует многообразие полимодальных алгебр. Л. Д. Беклемишевым и А. Виссером был поставлен вопрос о разрешимости элементарной теории свободной GLP-алгебры, порожденной константами 0, 1 [1]. В этой статье для любого натурального n решается аналогичный вопрос для логик GLPn, являющихся ...
Добавлено: 4 декабря 2017 г.
Синельщиков Д. И., Кудряшов Н. А., Theoretical and Mathematical Physics 2018 Vol. 196 No. 2 P. 1230-1240
Добавлено: 9 февраля 2019 г.
Маслов В. П., Теоретическая и математическая физика 2019 Т. 201 № 1 С. 65-83
C математической точки зрения исследуется процесс отрыва нуклона от
атомного ядра. Используются экспериментальные значения энергии связи для
ядра данного вещества. В момент отрыва нуклона от фермионного ядра оно
превращается в бозон. Исследуются дальнейшие превращения бозонного и фермионного состояний отрыва в малой окрестности нулевого давления. Получены
новые важные соотношения парастатистики, связывающие температуру и химический потенциал при отрыве нуклона от атомного ...
Добавлено: 1 ноября 2019 г.
Kalyagin V.A., Koldanov A.P., Koldanov P.A. и др., Physica A: Statistical Mechanics and its Applications 2014 Vol. 413 No. 1 P. 59-70
Добавлено: 19 июля 2014 г.
191574970, Functional Analysis and Its Applications 2006 Vol. 40 No. 2 P. 81-90
Добавлено: 23 сентября 2016 г.
ООО Фирма "Элист", 2014
В книге представлены тезисы докладов I тура XV Всероссийской научно-технической конференции и школы молодых ученых, аспирантов и студентов. ...
Добавлено: 17 октября 2014 г.
Zinder Y., Лазарев А. А., Мусатова Е. Г., Автоматика и телемеханика 2020 Т. 5 С. 91-104
Представлен полиномиальный алгоритм корректировки расписания движения поездов для случая, когда один из путей двухпутной железной дороги становится недоступным, оставшийся путь содержит разъезд, а все поезда делятся на две категории: приоритетные поезда, например пассажирские, и обычные поезда, к которым относятся большинство грузовых поездов. Представленный алгоритм минимизирует негативное влияние, оказываемое блокировкой пути, сначала для приоритетных поездов, а ...
Добавлено: 2 сентября 2020 г.
Назиров Р. Р., / ИКИ АН СССР. Серия 0 "Препринт ИКИ АН СССР". 1984. № Пр-875.
Добавлено: 1 апреля 2013 г.
49606783, Russian Journal of Mathematical Physics 2019 Vol. 26 No. 2 P. 168-173
Добавлено: 25 августа 2019 г.
Левашов М. В., Кухаренко А. В., Вопросы защиты информации 2018 № 2 С. 66-71
Рассматривается статистическая модель одного этапа системы фрод-мониторинга транзакций в интернет-банкинге. Построен и рассчитан близкий к отношению правдоподобия критерий отсева мошеннических транзакций. Для выборочных распределений, полученных на выборке объема в 1 млн реальных транзакций, вычислены параметры эффективности этого критерия. ...
Добавлено: 14 июня 2018 г.
Колоколов И. В., Лебедев В. В., Sizov G. A., Journal of Experimental and Theoretical Physics 2011 Vol. 140 No. 2 P. 387-400
Добавлено: 2 февраля 2017 г.
Котельникова М. В., Аистов А. В., Вестник Нижегородского университета им. Н.И. Лобачевского. Серия: Социальные науки 2019 Т. 55 № 3 С. 183-189
Представлено описание метода, позволяющего совершенствовать содержание дисциплин математического цикла, разделяя их на инвариантную (общую) и вариативную части. Приводятся результаты выделения инвариантов для дисциплин «Линейная алгебра», «Математический анализ», «Теория вероятностей и математическая статистика», преподаваемых экономистам-бакалаврам нескольких вузов. На основе выделенных инвариантов предлагаются темы для организации самостоятельной проектной и исследовательской деятельности студентов, ориентированной на содержание курса «Эконометрика». ...
Добавлено: 28 января 2020 г.
Min Namkung, Younghun K., Scientific Reports 2018 Vol. 8 No. 1 P. 16915-1-16915-18
Добавлено: 16 ноября 2020 г.
Семин С. В., Куркина О. Е., Куркин А. А. и др., Труды НГТУ им. Р.Е. Алексеева 2012 № 2(95) С. 48-65
Цель работы: Моделирование динамики внутренних бароклинных возмущений различной формы в модельном озере переменной глубины, анализ поля скорости частиц жидкости, особенно вблизи дна, в индуцированном волновыми движениями потоке.
Научный подход: Исследование проведено с использованием численной полнонелинейной трехмерной негидростатической модели для стратифицированной жидкости.
Результат: Проведено полнонелинейное трехмерное численное моделирование динамики внутренних волн в стратифицированном озере. Проанализированы распределения придонных скоростей, ...
Добавлено: 6 октября 2012 г.