• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Books
  • Логика и Пролог в дискретной математике
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 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
  • More
Subject
News
June 2, 2026
HSE Study Reveals Imbalance in the Generative AI Market
Researchers at HSE University analysed how effectively the global generative artificial intelligence market converts investment into real revenue, concluding that AI is currently developing faster than it is paying off. The results have been published in the journal Foresight and STI Governance.
June 2, 2026
Discovering Science through Russian Language: HSE Prep Year Students Present at International Conference in Kazan
On May 23, 2026, the V International Scientific and Practical Conference ‘Discovering the World of Science’ took place in Kazan at the Preparatory Faculty for International Students of Kazan Federal University. Four students of the HSE International Preparatory Year took part in the event: two delivered their presentations in person, while two participated online. Their work was supervised by Acting Director of the International Prep Year Irina Isaeva and lecturer Ekaterina Kozhemyakova.
May 25, 2026
HSE Scientists Train Neural Network to 'Hear' Faults in Electric Motors
Researchers at the AI and Digital Science Institute of the HSE Faculty of Computer Science have developed a new method—the Signature-Guided Data Augmentation (SGDA) framework—that achieves 99% accuracy in motor fault detection and 86% accuracy in fault classification. The application of this approach can reduce industrial equipment repair costs, minimise downtime, and improve production safety. The study results have been published in Engineering Applications of Artificial Intelligence.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Логика и Пролог в дискретной математике

M. : Издательство МЭИ, 1996.
Nabebin A. A.
Language: Russian
Keywords: комбинаторикаматематическая логикатеория графовформальный вывод
Логика и Пролог в дискретной математике
Similar publications
Лариса Львовна Максимова (некролог)
Артёмов С. Н., Beklemishev L. D., Гончаров С. С. et al., Успехи математических наук 2025 Т. 80 № 3 С. 179–182
Некролог, посвящённый Ларисе Львовне Максимовой. ...
Added: December 27, 2025
Генезис и семантический кризис новизны
Khestanov R., Suvalko A., Социологическое обозрение 2025 Т. 24 № 2 С. 164–189
The article examines the genesis of the concept of novelty and argues that modern difficulties in defining and identifying the new are a symptom of a semantic crisis, which is based on the loss of strategic normativity of novelty in modern culture. Three historical-semantic models of novelty are identified and analyzed: cyclical (characteristic of prehistoric ...
Added: June 29, 2025
Теория графов и классические задачи прикладной математики в экономике
Кочкаров А. А., Яцкин Д. В., М.: Финансовый университет при Правительстве РФ, 2017.
Учебное пособие по курсу «Теория графов и классические задачи прикладной математики в экономике» ...
Added: March 7, 2025
Применение алгоритмов визуальной одометрии для решения задач поиска людей при помощи SWARM группы мультироторов.
Яцкин Д. В., Калинов И. А., В кн.: Перспективные системы и задачи управления: материалы Двенадцатой Всероссийской научно-практической конференции и Восьмой молодежной школы-семинара «Управление и обработка информации в технических системах».: Ростов н/Д: Издательство Южного федерального университета, 2017. С. 531–536.
В работе приведены и описаны модели методы и алгоритмы патрулирования пространства на примере задачи обнаружении человеческого лица на заранее известной территории роевой группой мультироторов. Работа описанных алгоритмов была подтверждена многочисленными экспериментами, на их основании были сделаны выводы об эффективности и границах применимости тех или иных подходов. ...
Added: March 7, 2025
Мониторинг и патрулирование связных пространств.
Яцкин Д. В., В кн.: Труды III Всероссийской научно-технической конференции молодых конструкторов и инженеров «Минцевские чтения».: Издательство МГТУ им. Н.Э. Баумана, 2016. С. 321–325.
Рассмотрен мониторинг связных пространства, выделена задача обнаружения и ее частный случай - их патрулирования. Установлены и формализованы ограничения и допущения, приводящие к задаче патрулирования, которая определена математически, рассмотрены и предложены подходы, применяеые для ее решения. Введены объективные характеристики, позволяющие оценивать эффективность найденых решений задачи. ...
Added: March 7, 2025
Особенности решения задачи геометрического мониторинга
Кочкаров А. А., Яцкин Д. В., Рахманов О. А., Известия ЮФУ. Технические науки 2016 № 2 С. 158–168
The problem of limited space monitoring is formulated. The connection between the monitoring space and the detection of objects in this space sets up. After introducing some assumptions we conclude the necessity of solving the covering set (connected space) problem. The presence of obstacles in the monitoring area is the characteristic feature of the problem. ...
Added: March 7, 2025
Задача мониторинга и покрытия связных пространств
Кочкаров А. А., Яцкин Д. В., В кн.: Труды III Всероссийской научно-технической конференции «РТИ Системы ВКО-2015».: М.: Издательство МГТУ им. Н.Э. Баумана, 2015. С. 694–702.
Формулируется постановка задачи мониторинга ограниченного пространства. После введения некоторых допущений и перехода на математический язык делается вывод о необходимости решения задачу покрытия множества. Задача покрытия дискретизуется, исследуются свойства и признаки разного рода покрытий. Предложен и обоснован алгоритм построения наименьшего покрытия, рассчитывается его сложность. ...
Added: March 7, 2025
Применение методов динамической теории графов для разработки алгоритмов самоорганизации абонентов в сетевых системах
Яцкин Д. В., Кочкаров А. А., Сенникова Л. И., В кн.: Перспективы развития РЛС дальнего обнаружения и интегрированных систем и комплексов информационного обеспечения Воздушно-космической обороны (РТИ Системы ВКО-2014): II Всероссийская научно-техническая конференция: Сборник материалов.: М.: Издательство "Радиотехника", 2014. С. 359–363.
Исследуется применение методов динамической теории графов для разработки алгоритмов самоорганизации абонентов в сетевых системах ...
Added: March 7, 2025
Применение методов динамической теории графов для конструирования командно-информационного взаимодействия
Кочкаров А. А., Рахманов О. А., Сенникова Л. И. et al., В кн.: Материалы Девятой Всероссийской научно-практической конференции «Перспективные системы и задачи управления» и Четвертой молодежной школы-семинара «Управление и обработка информации в технических системах».: Таганрог: Издательство ЮФУ, 2014. С. 40–42.
Описывается применение методов динамической теории графов для конструирования командно-информационного взаимодействия ...
Added: March 7, 2025
Алгоритмическая самоорганизация и моделирование децентрализованных мобильных сетей связи
Яцкин Д. В., В кн.: Труды 56-й научной конференции МФТИ. Радиотехника и кибернетика.: М.: МФТИ, 2013. С. 178–179.
Исследуется явление самоорганизации децентрализованных мобильных сетей связи. Исследуются задачи построения графа определенной топологии и взаимодейстия между абонетами мобильной сети при их движении с целью обеспечения связности графа. ...
Added: March 7, 2025
Топология, геометрия, комбинаторика и математическая физика
М.: Математический институт им. В. А. Стеклова РАН, 2024.
This volume is dedicated to the 80th birthday of Victor Matveevich Buchstaber, Corresponding Member of the Russian Academy of Sciences. The volume includes articles on topology, geometry, combinatorics, and mathematical physics, the areas in which V. M. Buchstaber is a recognized world leader and the head of an active scientific school. Most of the articles are written ...
Added: January 15, 2025
Информатика : 8-й класс : базовый уровень: учебное пособие
Shestakova L. V., Семакин И. Г., Залогова Л. А. et al., М.: Просвещение, 2023.
Учебное пособие предназначено для изучения информатики на базовом уровне в 8 классе общеобразовательных организаций. Учебное пособие содержит теоретический материал курса, вопросы и задания для закрепления знаний. В конце каждой главы в схематическом виде представлена система основных понятий этой главы. Учебное пособие соответствует требованиям Федерального государственного образовательного стандарта основного общего образования. ...
Added: June 25, 2024
Mathematics via Problems: Part 3: Combinatorics
Providence: AMS, 2023.
This book is a translation from Russian of Part III of the book Mathematics via Problems: From Olympiads and Math Circles to Profession. Part I, Algebra, and Part II, Geometry, have been published in the same series. The main goal of this book is to develop important parts of mathematics through problems. The authors tried to put together sequences ...
Added: March 3, 2024
ЗАДАЧНИК ПО ДИСКРЕТНОЙ МАТЕМАТИКЕ
Дехтярь М. И., Dudakov S., Карлов Б. Н., Тверь: Тверской государственный университет, 2021.
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника". Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским  занятиям и ...
Added: November 12, 2023
Лекции по дискретной математике
Дехтярь М. И., Dudakov S., Карлов Б. Н., Тверь: Тверской государственный университет, 2021.
Учебник содержит лекционный материал по дисциплине "Дискретная математика", а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы. Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные ...
Added: November 12, 2023
Coverings by open and closed hemispheres
Ayzenberg A., Beketov M., Magaj G., / Series arxiv:math.AT "arxiv Algebraic Topology". 2023.
In this paper we study the nerves of two types of coverings of a sphere $S^{d-1}$: (1) coverings by open hemispheres; (2) antipodal coverings by closed hemispheres. In the first case, nerve theorem implies that the nerve is homotopy equivalent to $S^{d-1}$. In the second case, we prove that the nerve is homotopy equivalent to ...
Added: October 5, 2023
К нахождению виртуальных координат БПЛА в средах без GNSS
Gaydamaka A., Платонова А., В кн.: Информационно-телекоммуникационные технологии и математическое моделирование высокотехнологичных систем (ИТТММ 2023).: М.: РУДН, 2023.
Ряд важных приложений беспилотных летательных аппаратов (БПЛА), таких как спасательные операции и доставка грузов первой помощи, выполняются в местах, где внешняя информация о местоположении недоступна — в лесах, периферийных территориях, закрытых помещениях. Однако существующие подходы по организации и поддержке топологии в роях БПЛА используют сведения о локальном положении устройств, полученные из внешних источников (GNSS, базовые ...
Added: September 8, 2023
Distances in Higher-Order Networks and the Metric Structure of Hypergraphs
Vasilyeva E., Romance M., Ivan Samoylenko et al., Entropy 2023 Vol. 25 No. 6 Article 923
We explore the metric structure of networks with higher-order interactions and introduce a novel definition of distance for hypergraphs that extends the classic methods reported in the literature. The new metric incorporates two critical factors: (1) the inter-node distance within each hyperedge, and (2) the distance between hyperedges in the network. As such, it involves ...
Added: July 28, 2023
Прикладное применение теории паросочетаний в графах
Markvirer V., В кн.: «Соседи по науке»: материалы X ежегодной научной конференции.: Пермь: Редакционно-издательский отдел НИУ ВШЭ-Пермь, 2023. Гл. 4 С. 38–50.
Added: July 24, 2023
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit