?
Функциональные уравнения типа Рюэлля и степенные ряды со случайными коэффициентами
С. 27–32.
Бежаева З. И., Куликов В. Л., Олехова Е. Ф., Оселедец В. И.
В статье получено решение некоторого функционального уравнения типа Рюэлля и степенные ряды со случайными коэффициентами.
В книге
ООО "Издательский дом МФО", 2016.
Игнатов Д. И., Яковлева А. С., , in: Proceedings of the 9th International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2021)Vol. 2972.: CEUR-WS, 2021. P. 87–98.
Добавлено: 1 ноября 2021 г.
Грибанов Д. В., Золотых Н. Ю., Optimization Letters 2022 Vol. 16 No. 7 P. 1991–2018
Добавлено: 29 октября 2021 г.
Harnad J., Рунов Б. А., Annales de l'Institut Henri Poincare (D) Combinatorics, Physics and their Interactions 2021 Vol. 8 No. 1 P. 119–158
Добавлено: 21 октября 2021 г.
Gravin N., Пасечник Д., Shapiro B. и др., Analysis and Mathematical Physics 2018 Vol. 8 No. 2 P. 255–287
Добавлено: 25 февраля 2021 г.
Mazalov V. V., V. V. Gusev, Performance Evaluation 2020 Vol. 144 P. 102135
Добавлено: 29 сентября 2020 г.
Погудин Г. А., International Mathematics Research Notices 2018 Vol. 2018 No. 4 P. 1177–1199
Добавлено: 1 ноября 2019 г.
Лабутин И. Н., Москвин Д. Н., Омельченко А. В. и др., Записки научных семинаров ПОМИ РАН 2018 Т. 475 С. 99–121
В статье рассматриваются комбинаторные задачи, связанные с перечислением лямбда-термов в бестиповом лямбда-исчислении, а также в просто типизированных системах с одним атомом в стиле Черча. Для случая бестипового лямбда-исчисления строится система уравнений на производящие функции, описывающие количество лямбда-термов. В случае типизированного лямбда-исчисления перечисляются как населенные типы, так и простейшие обитатели в них. ...
Добавлено: 30 октября 2018 г.
A. Omelchenko, Meshkov V., Petrov M. и др., Moscow Mathematical Journal 2010 Vol. 10 No. 3 P. 611–628
Добавлено: 30 августа 2018 г.
Авдошин С. М., Набебин А. А., М.: ДМК Пресс, 2019.
Книга содержит необходимые сведения из теории алгоритмов, теории графов, комбинаторики. Рассматриваются частично рекурсивные функции, машины Тьюринга, приводятся некоторые варианты алгоритмов (ассоциативные исчисления, системы подстановок, грамматики, продукции Поста, нормальные алгоритмы Маркова, операторные алгоритмы). Описываются основные типы графов (мультиграфы, псевдографы, эйлеровы графы, гамильтоновы графы, деревья, двудольные графы, паросочетания, сети Петри, планарные графы, транспортные сети). Приводятся некоторые часто ...
Добавлено: 24 августа 2018 г.
Плотникова Е. Г., М.: Юрайт, 2018.
Серия «Университеты России» позволит высшим учебным заведениям нашей страны использовать в образовательном процессе издания (в том числе учебники и учебные пособия по различным дисциплинам), подготовленные преподавателями лучших университетов России и впервые опубликованные в издательствах университетов. Все представленные в этой серии работы прошли экспертную оценку учебно-методического отдела издательства и публикуются в оригинальной редакции.
Цель настоящего учебника — ...
Добавлено: 27 июня 2018 г.
Голубева З. Н., Ерастова Н. К., М.: МИЭМ НИУ ВШЭ, 2013.
Приводятся теоретические понятия и типовые задачи с решениями для выполнения домашних и аудиторных контрольных работ 3, 4 модулей по математическому анализу для студентов инженерных факультетов. ...
Добавлено: 14 марта 2013 г.