?
О некоторых перечислительных задачах лямбда-исчисления
Записки научных семинаров ПОМИ РАН. 2018. Т. 475. С. 99–121.
В статье рассматриваются комбинаторные задачи, связанные с перечислением лямбда-термов в бестиповом лямбда-исчислении, а также в просто типизированных системах с одним атомом в стиле Черча. Для случая бестипового лямбда-исчисления строится система уравнений на производящие функции, описывающие количество лямбда-термов. В случае типизированного лямбда-исчисления перечисляются как населенные типы, так и простейшие обитатели в них.
Язык:
русский
Добавлено: 19 мая 2026 г.
Добавлено: 28 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Медведев В. О., / Series arXiv "math". 2026.
We investigate the interplay between the dimension of the space of static potentials and the geometric and topological structure of the underlying static three-manifold. A partial classification of boundaryless static manifolds is obtained in terms of this dimension. We also treat the case of static manifolds with boundary. In particular, we prove that if a ...
Добавлено: 3 апреля 2026 г.
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Талецкий Д. С., Математический сборник 2023 Т. 214 № 11 С. 133–156
Сформулирована следующая гипотеза: если средняя степень вершин графа не превосходит натурального числа k ⩾ 1, то количество его k-доминирующих множеств не превосходит количества его независимых множеств, при этом равенство возможно, если и только если граф является k-регулярным. Эта гипотеза доказана для случая k ∈ {1,2}. ...
Добавлено: 2 ноября 2023 г.
Петренко А. А., Суворов А. О., Шаякбаров Н. Ф., Пермь: Издательство Пермского национального исследовательского политехнического университета, 2022.
Рассмотрены вопросы, касающиеся языков функционального программирования: особенности применения, синтаксис, функции. Приведено большое количество содержательных примеров решения задач, демонстрирующих возможности языков функционального программирования.
Предназначено студентам образовательных учреждений высшего образования, обучающимся по специальностям направлений «Информатика и вычислительная техника», «Программная инженерия», а также лицам, самостоятельно изучающим функциональное программирование. ...
Добавлено: 25 октября 2022 г.
Игнатов Д. И., Яковлева А. С., , 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 г.
Краско Е. С., Лабутин И. Н., Москвин Д. Н. и др., Journal of Mathematical Sciences 2020 Vol. 247 P. 442–456
Добавлено: 26 октября 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 г.
В работе исследуются типичные сценарии, при которых возникает потребность совместного использования ограниченных общесистемных ресурсов несколькими виртуальными машинами. Разработаны правила балансировки нагрузки в зависимости от информационных процессов, выполняемых виртуальными машинами. Вычисление производительности рассмотренных операций основано на типизированной модели, что дает возможность оценки общей производительности. ...
Добавлено: 3 ноября 2019 г.
Рассматриваются типичные сценарии, при которых возникает потребность совместного использования ограниченных общесистемных ресурсов несколькими виртуальными машинами. Разработаны правила балансировки нагрузки в зависимости от информационных процессов, выполняемых виртуальными машинами. Вычисление производительности рассмотренных операций основано на типизированной модели, что дает возможность оценки общей производительности. ...
Добавлено: 30 января 2019 г.
Долгоруков В. В., Копылова А. О., Логические исследования 2018 Т. 24 № 2 С. 36–58
Настоящая статья посвящена конкретному эпизоду в большой дискуссии о соотношении семантики и онтологии: а именно, поиску адекватной семантической интерпретации для набора сущностей, постулируемых так называемым «онтологическим квадратом» или «четырех-категорными онтологиями». Онтологическим квадратом называется теория, восходящая к работам Аристотеля (в частности, ко второй главе трактата «Категории») и утверждающая необходимость различения между четырьмя типами сущностей: субстанциальными универсалиями, ...
Добавлено: 26 сентября 2018 г.
A. Omelchenko, Meshkov V., Petrov M. и др., Moscow Mathematical Journal 2010 Vol. 10 No. 3 P. 611–628
Добавлено: 30 августа 2018 г.
Авдошин С. М., Набебин А. А., М.: ДМК Пресс, 2019.
Книга содержит необходимые сведения из теории алгоритмов, теории графов, комбинаторики. Рассматриваются частично рекурсивные функции, машины Тьюринга, приводятся некоторые варианты алгоритмов (ассоциативные исчисления, системы подстановок, грамматики, продукции Поста, нормальные алгоритмы Маркова, операторные алгоритмы). Описываются основные типы графов (мультиграфы, псевдографы, эйлеровы графы, гамильтоновы графы, деревья, двудольные графы, паросочетания, сети Петри, планарные графы, транспортные сети). Приводятся некоторые часто ...
Добавлено: 24 августа 2018 г.