?
ЗАДАЧНИК ПО ДИСКРЕТНОЙ МАТЕМАТИКЕ
Тверь :
Тверской государственный университет, 2021.
Руководитель авторского коллектива: Дудаков С. М.
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника".
Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и контрольным работам.
В книгу вошло более шестисот задач и упражнений, многие из которых состоят из нескольких независимых подзадач. Почти все задачи снабжены ответами, а многие более сложные задачи - указаниями или решениями.
Stoianova A. D., Trofimets V. Y., Matrokhina K. V., International Journal of Engineering, Transactions A: Basics 2025 Vol. 38 No. 4 P. 701–709
Добавлено: 10 ноября 2026 г.
Верещагин Н. К., Математический сборник 2026 Т. 217 № 10 С. 3–46
Теорема Гудмана-Штрауса утверждает, что для “почти всякой” подстановки семейство подстановочных замощений софично, т.е. может быть задано локальными правилами для некоторой раскраски плиток. Условия на подстановку, гарантирующие софичность, довольно сложные.
В настоящей работе мы предлагаем версию теоремы Гудмана-Штрауса с более простыми условиями на подстановку. Хотя эти условия достаточно ограничительны, мы показываем, что в сочетании с двумя простыми приемами (взятием достаточно ...
Добавлено: 10 ноября 2026 г.
Добавлено: 10 ноября 2026 г.
Добавлено: 10 ноября 2026 г.
Lukyanchuk V., Норман Г. Э., Кондратюк Н. Д. и др., Scientific Reports 2026 Vol. 16 No. 1 Article 16435
Добавлено: 10 ноября 2026 г.
Avdoshin S.M., Pesotskaya E.Y., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 6, part 2 P. 133–146
Добавлено: 8 ноября 2026 г.
Добавлено: 8 ноября 2026 г.
IEEE Computer Society (Conference Publishing Services, CPS), 2026.
Добавлено: 7 ноября 2026 г.
Sergey Avdoshin, Elena Pesotskaya, Салех Х. М. и др., Procedia Computer Science 2026 Vol. 292 P. 1332–1341
Добавлено: 7 ноября 2026 г.
Ретинский В. И., Функциональный анализ и его приложения 2026 Т. 60 № 4 С. 83–100
Приведено обобщение матричной теоремы о деревьях на случай перечисления пар остовных деревьев. Это обобщение включает в качестве частных случаев и унифицирует сразу несколько известных ранее результатов, в частности классическую теорему Кирхгофа, теорему Масбаума–Вайнтроба о перечислении 3-деревьев, а также аналог матричной теоремы о деревьях для перечисления 4-элементов Кирхгофа. ...
Добавлено: 5 ноября 2026 г.
Левашев В. А., Математические заметки 2026 Т. 120 № 5 С. 843–846
Пусть 𝐴 – коммутативное ассоциативное кольцо с единицей и 𝐴((𝑡)) = 𝐴[[𝑡]][𝑡−1] – кольцо рядов Лорана над 𝐴. Алгебра 𝐴((𝑡)) имеет естественную топологию, где 𝐴 – подмодули вида 𝑡𝑚𝐴[[𝑡]] образуют базу окрестностей нуля. Пусть также Ω1𝐴((𝑡))/𝐴 – модуль кэлеровых 1-дифференциалов 𝐴((𝑡)) над 𝐴. ...
Добавлено: 5 ноября 2026 г.
Алексеев О. В., Letters in Mathematical Physics 2026 Vol. 116 No. 5 Article 132
Добавлено: 5 ноября 2026 г.
Колмогорова А. В., Ekaterina Yavshitz, Margolina A. и др., Association for Computational Linguistics, 2026.
Добавлено: 4 ноября 2026 г.
Левин А. М., Сахарова Н. Е., / Series arXiv "math". 2024. No. 2412.17795.
Добавлено: 4 ноября 2026 г.
Твардовский А. С., Бурдонов И. Б., Евтушенко Н. В., Труды Института системного программирования РАН 2026 Т. 38 № 4-2 С. 7–22
В статье вводятся понятия установочной и синхронизирующей последовательностей для конечных автоматов с временными ограничениями и таймаутами. Такие последовательности широко используются для идентификации финального состояния исследуемого автомата как при синтезе тестов на основе формальных моделей, так и при обучении конечно-автоматных моделей. Метод синтеза установочных и синхронизирующих последовательностей основан на использовании конечно-автоматной абстракции временного автомата, поскольку методы ...
Добавлено: 31 октября 2026 г.
Люксембург А. А., УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической ...
Добавлено: 7 октября 2026 г.
Лебедев О. Б., Лебедев Б. К., Бесхмельнов М. И., Вестник Тверского государственного технического университета 2025 № 3(27) С. 103–119
В статье представлен детальный анализ гибридного алгоритма планирования маршрута, предназначенного для навигации в двухмерном пространстве, с учетом частичной неопределенности в информации о местности. Алгоритм функционирует поэтапно и разделяется на два уровня. На первом уровне происходит формирование локальной зоны видимости объекта и определение покрываемого региона на карте. На втором уровне алгоритм отвечает за создание множества возможных ...
Добавлено: 12 сентября 2026 г.
Лебедев О. Б., Лебедев Б. К., Бесхмельнов М. И., Известия ЮФУ. Технические науки 2025 Т. 2(244) С. 68–82
Описывается гибридный алгоритм ситуационного планирования траектории в условиях частичной неопределенности для двухмерного пространства, основанный на интеграции волнового и муравьиного алгоритмов, позволяющий строить в реальном масштабе времени траектории минимальной длины с одновременной оптимизацией ряда других критериев качества построенного пути. Процессы формирования участка траектории и перемещения по нему объекта чередуются на каждом шаге. Формирования траектории осуществляется последовательно ...
Добавлено: 12 сентября 2026 г.
Лебедев О. Б., Beskhielnov M. I., OPTIMIZATION BY THE SWARM OF TRANSFORMING CHROMOSOMES METHOD 2024 Vol. 34 No. 3 P. 652–658
Предложена новая стратегия поиска эффективных решений, основанная на модификации и гибридизации канонических представлений алгоритма роя частиц. Описана парадигма роя трансформирующихся хромосом, позволяющая представлять решения в аффинном пространстве хромосом с целочисленными значениями параметров. Рассмотрены механизмы трансформации хромосом в аффинном пространстве, направленные на увеличение веса аффинных связей. Хромосомы, обновленные в результате трансформации, в свою очередь, служат опорными ...
Добавлено: 12 сентября 2026 г.
Лебедев О. Б., Beskhmelnov M. I., Pattern Recognition and Image Analysis 2024 Vol. 34 No. 3 P. 543–548
В работе описан гибридный алгоритм динамического формирования траектории движения робота в недетерминированных средах с обходом стационарных и нестационарных препятствий в двумерном пространстве, основанный на интеграции волнового и муравьиного алгоритмов, что позволяет строить траектории минимальной длины в реальном времени с одновременной оптимизацией ряда критериев качества построенного пути. Ограничения, препятствующие построению траектории из текущей позиции, выявляются в ...
Добавлено: 10 сентября 2026 г.
Богатырев А. Б., Математический сборник 2023 Т. 214 № 3 С. 106–119
Рассматривается клеточное разбиение пространства модулей вещественных кривых рода 2 с отмеченной точкой на единственном вещественном овале. Клетки перечисляются определенными графами, веса которых описывают комплексную структуру на кривой. Показано, что стягивание ребра графа приводит к корневой особенности естественного отображения из весов графа в пространство модулей кривых. ...
Добавлено: 14 августа 2026 г.
Альбатша А. М., Международный журнал гуманитарных и естественных наук 2025 Т. 3-1 С. 195–199
Параллельные программы стали приобретать все большую важность и значимость в последние годы из-за стремительного роста информационных массивов и как следствие необходимости быстрой обработки больших объемов данных. В тоже время, традиционные методы компиляции, разработанные для последовательных программ, не гарантируют правильность (последовательную согласованность) преобразований компилятора при применении к параллельным программам. В связи с этим, статья посвящена анализу ...
Добавлено: 10 марта 2026 г.