?
Лекции по дискретной математике
Тверь :
Тверской государственный университет, 2021.
Руководитель авторского коллектива: Дудаков С. М.
Учебник содержит лекционный материал по дисциплине "Дискретная математика", а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы.
Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника".
Наумов А. А., Рубцов А. С., Самсонов С. В. и др., Успехи математических наук 2026 Т. 81 № 4 (490) С. 161–162
Краткое сообщение рассматривает Моментные оценки для стохастической аппроксимации ...
Добавлено: 17 октября 2026 г.
Авдеев Р. С., Зайцева Ю. И., Mediterranean Journal of Mathematics 2026 Vol. 23 No. 7 Article 224
Добавлено: 17 октября 2026 г.
Гордин В. А., Ефременко Д. С., Boundary-Layer Meteorology 2026 Vol. 192 No. 51
An inverse problem of reconstructing the turbulent exchange tensor from large archives of observed wind profiles within the Åkerblom–Ekman (A-E) model framework is investigated using high-vertical-resolution radiosonde observations. The reconstructed tensor provides improved agreement between modeled and observed wind profiles compared to classical formulations based on real turbulent exchange coefficient. Instead of the classical A-E ...
Добавлено: 16 октября 2026 г.
Kuznetsov A. P., Sedova Y. V., Станкевич Н. В., Chaos, Solitons and Fractals 2026 Vol. 213 No. 12 Article 119309
Добавлено: 16 октября 2026 г.
Aleksei Samarin, Назаренко А. А., Nazarenko D. и др., Machine Learning and Knowledge Extraction 2026 Vol. 8 No. 10 Article 330
Добавлено: 14 октября 2026 г.
Мамедов И. Г., Fofanov M., Lukianchenko P. и др., IEEE Access 2026 No. 14 P. 26662–26671
Добавлено: 14 октября 2026 г.
Parkhomenko V., Куликова С. П., Бузмаков А. В., Lobachevskii Journal of Mathematics 2026 Vol. 47 No. 6 P. 2979–2992
Добавлено: 14 октября 2026 г.
Kuznetsov A. P., Sedova Y. V., Sataev I. R. и др., Mathematics and Computers in Simulation 2027 Vol. 2 P. 574–592
Добавлено: 14 октября 2026 г.
Дмитриев А. В., Корнилов В. В., Batienkov R., Lecture Notes in Civil Engineering 2026 Vol. 886 P. 249–255
Добавлено: 13 октября 2026 г.
Дмитриев А. В., Shulman I., Лебедев А. А., Studies in Computational Intelligence 2026 Vol. 1265 P. 266–273
Добавлено: 13 октября 2026 г.
Makarov D. M., Каликин Н. Н., Fashchevsky K. A. и др., Electrochimica Acta 2026 Vol. 579 Article 150159
Добавлено: 13 октября 2026 г.
Zhang Z., Ильвовский Д. А., Information Processing and Management 2026 Vol. 63 No. 7
Добавлено: 13 октября 2026 г.
Добавлено: 13 октября 2026 г.
No Species Is an Island, Entire of Itself: Genetic Speciation Algorithm with Interplay among Species
Громов В. А., Сохраби М., Fathollahi-Fard A., International Journal of Engineering, Transactions B: Applications 2027 Vol. 40 No. 5 P. 1437–1460
Добавлено: 12 октября 2026 г.
Добавлено: 12 октября 2026 г.
Александров Д. В., Василевский В. И., Резуник Л. и др., Труды Института системного программирования РАН 2026 Т. 38 № 5 С. 73–90
Ограничения при выполнении задач, требующих точного извлечения информации из сверхдлинных последовательностей, приводят к снижению качества генерации и отладки кода крупных объектно-ориентированных систем, характеризующихся сложными межклассовыми зависимостями и необходимостью анализа длинных трассировок выполнения, превышающих размеры стандартных контекстных окон. Предлагается технология JavaCapsule для генерации и отладки Java-кода, реализующая итеративную отладку на основе структурированной обратной связи, включающей результаты ...
Добавлено: 12 октября 2026 г.
Singapore: Springer, 2026.
Добавлено: 12 октября 2026 г.
Гусейн-Заде С. М., М.: МЦНМО, 2026.
Книга содержит курс лекций по дифференциальной геометрии и топологии, читавшихся автором на механико-математическом факультете МГУ в разные годы. В дополнениях приводятся некоторые сюжеты (связности в расслоениях, теорема Фробениуса, производные Ли и др.), которые были включены в курс в отдельные годы либо содержались в аналогичных курсах лекций в Независимом московском университете.
Для студентов математических и физических специальностей. ...
Добавлено: 12 октября 2026 г.
Зыков С. В., Ермаков С. Р., Современные наукоемкие технологии 2026 № 9 С. 43–53
При федеративном обучении с неоднородными клиентскими данными и переменными задержками запоздавшие обновления могут ухудшать качество модели, а обмен параметрами с глобальным сервером увеличивает сетевую нагрузку. Целью исследования является разработка и теоретико-экспериментальное обоснование метода и алгоритмов адаптивного федеративного обучения с учетом распределенного запаздывания клиентских обновлений. Для обоснования разрабатываемых решений использованы событийная и непрерывная модели градиентных обновлений, ...
Добавлено: 11 октября 2026 г.
Люксембург А. А., УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической ...
Добавлено: 7 октября 2026 г.
Лебедев О. Б., Beskhielnov M. I., OPTIMIZATION BY THE SWARM OF TRANSFORMING CHROMOSOMES METHOD 2024 Vol. 34 No. 3 P. 652–658
Предложена новая стратегия поиска эффективных решений, основанная на модификации и гибридизации канонических представлений алгоритма роя частиц. Описана парадигма роя трансформирующихся хромосом, позволяющая представлять решения в аффинном пространстве хромосом с целочисленными значениями параметров. Рассмотрены механизмы трансформации хромосом в аффинном пространстве, направленные на увеличение веса аффинных связей. Хромосомы, обновленные в результате трансформации, в свою очередь, служат опорными ...
Добавлено: 12 сентября 2026 г.
Богатырев А. Б., Математический сборник 2023 Т. 214 № 3 С. 106–119
Рассматривается клеточное разбиение пространства модулей вещественных кривых рода 2 с отмеченной точкой на единственном вещественном овале. Клетки перечисляются определенными графами, веса которых описывают комплексную структуру на кривой. Показано, что стягивание ребра графа приводит к корневой особенности естественного отображения из весов графа в пространство модулей кривых. ...
Добавлено: 14 августа 2026 г.