• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Книги
  • Дискретный анализ. Формальные системы и алгоритмы
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
1 октября 2026 г.
Смыслы, скорость и локальный код: как изменится потребительский спрос в креативных индустриях к 2029 году
Институт развития креативных индустрий ФКИ ВШЭ подвел итоги масштабного Трендвотчинг-исследования, проведенного весной 2026 года. В нем приняли участие более 300 ведущих экспертов. Одним из ключевых выводов стало понимание: потребитель больше не покупает продукт как набор функций. Он выбирает отношение, скорость, смысл и личную вовлеченность. В качестве доминирующего тренда на трехлетнем горизонте зафиксирован переход от материальных характеристик продукта к нематериальным.
1 октября 2026 г.
Российские ученые оценили скрытые риски болезней сердца у 43 тысяч человек
Исследователи НИУ ВШЭ и «Биотехнологического кампуса» проанализировали более 43 000 геномов здоровых участников Национальной генетической инициативы «100 000+Я». У 559 человек обнаружили патогенные или вероятно патогенные варианты генов, связанные с риском сердечно-сосудистых заболеваний. Такие данные позволяют раньше начать лечение или провести дополнительное обследование. О результатах исследования ученые рассказали на конгрессе «Генетика и сердце» в НИУ ВШЭ.
30 сентября 2026 г.
Ученые НИУ ВШЭ - Санкт-Петербург нашли способ ускорения нейросетей при помощи микролазеров
Ученые Международной лаборатории квантовой оптоэлектроники НИУ ВШЭ — Санкт-Петербург и Лазерного института Академии наук Шаньдунь (Китай) смогли напрямую сопоставить скорость микродисковых лазеров, работающих от оптической и электрической энергии. Результаты позволят оптимизировать работу источников излучения в фотонных чипах для нейросетей и дата-центров. Исследование опубликовано в журналеJournal of Lightwave Technology.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Дискретный анализ. Формальные системы и алгоритмы

М. : ООО "Контакт Плюс", 2010.
Журавлев Ю. И., Флёров Ю. А., Вялый М. Н.

Эта книга является учебным пособием по математической логике и теории алгоритмов. Она написана на основе материалов курса "Дискретный анализ", читаемого многие годы для студентов факультета управления и прикладной математики Московского физико-технического института. 

Для студентов, специализирующихся на прикладной математике.

Научное направление: Математика Компьютерные науки
Приоритетные направления: математика
Язык: русский
Текст на другом сайте
Ключевые слова: дискретная математикаматематическая логикаалгоритмы
Дискретный анализ. Формальные системы и алгоритмы
Похожие публикации
Консервативные энтропийно и энергетически корректные разностные методы для одномерных квазигазодинамических систем уравнений
Злотник А. А., Математические заметки 2026 Т. 120 № 6 С. 1005–1009
Численным методам решения систем газодинамических уравнений посвящена обширная литература. Ранее было разработано и успешно апробировано специальное семейство симметричных по пространству  консервативных разностных методов, основанных на предварительной кинетической, точнее, квазигазодинамической (КГД), регуляризации этих уравнений. Актуальной задачей является построение численных методов, которые обладают не только свойством консервативности по массе, импульсу и полной энергии, но и удовлетворяют условиям энтропийной ...
Добавлено: 1 октября 2026 г.
On some arithmetic conditions of recurrent sequences modulo prime p
Вьюгин И. В., Sashadhar D., Algebra and Number Theory 2026 P. 1–10
We study the K-Fibonacci sequence Fp modulo prime p. Cardinalities of sets |Fp+Fp| and |Fp⋅Fp| are estimated. We present the method of estimating doubling constant of some m-dimensional recurrent sets in Fp. ...
Добавлено: 1 октября 2026 г.
Fractional Macroscopic Fluctuation Theory for a Superdiffusive Ginzburg-Landau dynamics
Бернардан С. Ж., João P. M., Gonçalves P., PROBABILITY AND MATHEMATICAL PHYSICS 2026 P. 59–59
We investigate a boundary-driven Ginzburg-Landau dynamics with long-range interactions. In the hydrodynamic limit, the macroscopic evolution is governed by a fractional heat equation with Dirichlet boundary conditions, while the corresponding stationary profile is characterized by a fractional Laplace equation. We establish a dynamical large deviations principle for the empirical measure and derive the associated stationary ...
Добавлено: 1 октября 2026 г.
Long-time behaviour of dynamical systems driven by bounded mixing noises
Куксин С. Б., Dynamical Systems 2026
Добавлено: 1 октября 2026 г.
Markovian reduction and exponential mixing in total variation for random dynamical systems
Куксин С. Б., Shirikyan A., Journal of Dynamics and Differential Equations 2026 P. 1098–1100
Добавлено: 1 октября 2026 г.
Bounds on the derivatives of the log-cumulative distribution function of the multivariate normal distribution
Потанин Б. С., Долгих С. И., Statistics and Probability Letters 2026 Article 110984
Добавлено: 1 октября 2026 г.
Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2026)
International Joint Conferences on Artificial Intelligence, 2026.
Добавлено: 1 октября 2026 г.
Asymptotics of Spectrum and Quantum Averages of the Hydrogen Atom in a Magnetic Field Near the Upper Boundaries of Spectral Clusters
A. V. Pereskokov, Journal of Mathematical Sciences 2026 Vol. 302 No. 4 P. 531–545
Добавлено: 1 октября 2026 г.
Ensemble-based Prototype-Augmented Multimodal Fusion for Ambivalence/Hesitancy Recognition
Рюмина Е. В., Аксёнов А. А., Сысоев Д. С. и др., IEEE Computer Society, 2026.
Добавлено: 30 сентября 2026 г.
Simultaneous approximation of the score function and its derivatives by deep neural networks
Яковлев К. Д., Пучкин Н. А., Journal of Complexity 2026 Vol. 97
Добавлено: 30 сентября 2026 г.
Conservative Entropy and Energy Correct Difference Methods for One-Dimensional Quasi-Gasdynamic Systems of Equations
Злотник А. А., Mathematical notes 2026 Vol. 120 No. 6 P. 1174–1178
Добавлено: 30 сентября 2026 г.
О числе Пикара и размерности алгебраических однородных пространств
Бельдиев И. С., Тимашёв Д. А., Алгебра и анализ 2026 Т. 38 № 5 С. 1–10
Алгебраическое многообразие X называется однородным пространством, если на X существует транзитивное регулярное действие алгебраической группы. Мы доказываем неравенства, связывающие размерность однородного пространства линейной алгебраической группы и его число Пикара. ...
Добавлено: 30 сентября 2026 г.
Decoding Algorithms for Binary U-UV Codes: A Unified Survey of Performance and Complexity
Иванов Ф. И., Котов Ф. И., IEEE Access 2026 Vol. 14 P. 104662–104679
Добавлено: 30 сентября 2026 г.
An archaic reference-free method to jointly infer Neanderthal and Denisovan introgressed segments in modern human genomes,
Planche L., Ильина А. В., Jay F. и др., Molecular Biology and Evolution 2026 Article 235
Добавлено: 30 сентября 2026 г.
Uniqueness theorem for completely non-degenerate B-groups
Глуцюк А. А., Ильяшенко Ю. С., Izvestiya. Mathematics 2026 Vol. 90 No. 1 P. 73–89
Добавлено: 30 сентября 2026 г.
The EG-TD3 Machine Learning Architecture: Evolutionary-Guided Twin Delayed Deep Deterministic Policy Gradient
Джамбонг Тенке Х., Institute for System Programming of the RAS, 2026.
Добавлено: 29 сентября 2026 г.
Серия инвариантных характеристик реальных сетей
Тужилин М. А., Автоматика и телемеханика 2026 № 11 С. 84–97
Предлагается обобщение двух известных инвариантов реальных сетей: степени и кси-центральности. Строится серия центральностей, основанная на матрице Лапласа сети и параметризованная параметром j со следующими свойствами: во-первых, при j = 0, 1 эти центральности совпадают со степенью и ксицентральностью; во-вторых, их распределение хорошо приближается распределением Вейбулла; в-третьих, для реальных сетей они имеют правостороннюю асимметрию, а для ...
Добавлено: 29 сентября 2026 г.
Нетривиальное поведение пирамидальных уединенных волн в обобщенном уравнении Гарднера
Мельников И. Е., Пелиновский Е. Н., Доклады Российской академии наук. Физика, технические науки (ранее - Доклады Академии Наук. Физика) 2026 Т. 529 С. 29–36
Представлены условия для появления пирамидальных уединенных волн (уединенных волн, с количеством точек перегиба больше двух) в семействе обобщенного уравнения Кортевега – де Фриза (КдФ). Для обобщенного уравнения Гарднера показано, что пирамидальные солитоны неустойчивы. Продемонстрирован численно распад начальных возмущений, близких к пирамидальным уединенным волнам. В зависимости от возмущения пирамидальный солитон либо расщепляется на два солитона (толстый ...
Добавлено: 29 сентября 2026 г.
Pre-Calabi-Yau algebras and oriented gravity properad
Меркулов С. А., Journal of Pure and Applied Algebra 2026 Vol. 230 P. 1–19
Добавлено: 29 сентября 2026 г.
Pairings on the algebra of Laurent series over a ring
Левашев В. А., / Series arXiv "math". 2026. No. 2609.06010.
Добавлено: 24 сентября 2026 г.
Iterative construction of the R-matrices in arbitrary dimensions
Пятов П. Н., Пивоваров П. А., / Series math "arxiv.org". 2026. No. 2609.06274.
Добавлено: 24 сентября 2026 г.
On static manifolds with boundary admitting a nowhere-vanishing static potential
Медведев В. О., / Series arXiv "math". 2026.
We study complete static manifolds with boundary admitting a nowhere-vanishing static potential. Our main result shows that, under a natural lower bound relating the scalar curvature and the boundary mean curvature, a simple static manifold with boundary must in fact have positive scalar curvature, negative boundary mean curvature, and be compact; we also obtain explicit ...
Добавлено: 19 сентября 2026 г.
Vague stimulating ideas, images and metaphors in scientific thinking: researchers' work with horizons of unclear knowledge
Поддьяков А. Н., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.
Добавлено: 15 сентября 2026 г.
On phase-lock area parquet in a special slow-fast limit of model of Josephson junction.
Глуцюк А. А., / Series arXiv "math". 2026.
Добавлено: 8 сентября 2026 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору