• 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
  • 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
  • More
Subject
News
September 22, 2026
Personal Interest in Doctoral Thesis Topic Most Important for Confidence in Successful Defence
A researcher at HSE University analysed data on 1,539 doctoral students from 161 Russian universities to identify which features of a thesis topic are associated with academic success and engagement. The most important factor was found to be personal interest in the research topic, which was associated with almost all key aspects of doctoral programme experience—from engaging with the academic supervisor to research activity and confidence about successfully defending the thesis. The findings have been published in Higher Education.
September 21, 2026
Researchers Develop Methodology to Assess the Quality of Legal Representation in Criminal Proceedings
Having a good defence attorney in criminal proceedings can largely determine whether a defendant retains their freedom, health and good name. Researchers at HSE University propose a method for predicting an attorney’s performance based on the outcomes of their previous cases. The methodology takes into account the severity of the charges, the complexity of the cases, and the most likely outcome, drawing on judicial statistics.
September 21, 2026
Algebra, Geometry, and AI: Russian and Vietnamese Mathematicians Discuss Current Research
A delegation of scientists from Hanoi visited the HSE Faculty of Computer Science and then took part in a Russian-Vietnamese conference in St Petersburg. The events were part of the three-year project ‘Flexibility and Computational Methods.’ Over the course of the project, the researchers have prepared joint publications and obtained new mathematical results.

 

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
Теория графов и классические задачи прикладной математики в экономике
Кочкаров А. А., Yatskin D., М.: Финансовый университет при Правительстве РФ, 2017.
Учебное пособие по курсу «Теория графов и классические задачи прикладной математики в экономике» ...
Added: March 7, 2025
Применение алгоритмов визуальной одометрии для решения задач поиска людей при помощи SWARM группы мультироторов.
Yatskin D., Калинов И. А., В кн.: Перспективные системы и задачи управления: материалы Двенадцатой Всероссийской научно-практической конференции и Восьмой молодежной школы-семинара «Управление и обработка информации в технических системах».: Ростов н/Д: Издательство Южного федерального университета, 2017. С. 531–536.
В работе приведены и описаны модели методы и алгоритмы патрулирования пространства на примере задачи обнаружении человеческого лица на заранее известной территории роевой группой мультироторов. Работа описанных алгоритмов была подтверждена многочисленными экспериментами, на их основании были сделаны выводы об эффективности и границах применимости тех или иных подходов. ...
Added: March 7, 2025
Мониторинг и патрулирование связных пространств.
Yatskin D., В кн.: Труды III Всероссийской научно-технической конференции молодых конструкторов и инженеров «Минцевские чтения».: Издательство МГТУ им. Н.Э. Баумана, 2016. С. 321–325.
Рассмотрен мониторинг связных пространства, выделена задача обнаружения и ее частный случай - их патрулирования. Установлены и формализованы ограничения и допущения, приводящие к задаче патрулирования, которая определена математически, рассмотрены и предложены подходы, применяеые для ее решения. Введены объективные характеристики, позволяющие оценивать эффективность найденых решений задачи. ...
Added: March 7, 2025
Особенности решения задачи геометрического мониторинга
Кочкаров А. А., Yatskin D., Рахманов О. А., Известия ЮФУ. Технические науки 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
Задача мониторинга и покрытия связных пространств
Кочкаров А. А., Yatskin D., В кн.: Труды III Всероссийской научно-технической конференции «РТИ Системы ВКО-2015».: М.: Издательство МГТУ им. Н.Э. Баумана, 2015. С. 694–702.
Формулируется постановка задачи мониторинга ограниченного пространства. После введения некоторых допущений и перехода на математический язык делается вывод о необходимости решения задачу покрытия множества. Задача покрытия дискретизуется, исследуются свойства и признаки разного рода покрытий. Предложен и обоснован алгоритм построения наименьшего покрытия, рассчитывается его сложность. ...
Added: March 7, 2025
Применение методов динамической теории графов для разработки алгоритмов самоорганизации абонентов в сетевых системах
Yatskin D., Кочкаров А. А., Сенникова Л. И., В кн.: Перспективы развития РЛС дальнего обнаружения и интегрированных систем и комплексов информационного обеспечения Воздушно-космической обороны (РТИ Системы ВКО-2014): II Всероссийская научно-техническая конференция: Сборник материалов.: М.: Издательство "Радиотехника", 2014. С. 359–363.
Исследуется применение методов динамической теории графов для разработки алгоритмов самоорганизации абонентов в сетевых системах ...
Added: March 7, 2025
Применение методов динамической теории графов для конструирования командно-информационного взаимодействия
Кочкаров А. А., Рахманов О. А., Сенникова Л. И. et al., В кн.: Материалы Девятой Всероссийской научно-практической конференции «Перспективные системы и задачи управления» и Четвертой молодежной школы-семинара «Управление и обработка информации в технических системах».: Таганрог: Издательство ЮФУ, 2014. С. 40–42.
Описывается применение методов динамической теории графов для конструирования командно-информационного взаимодействия ...
Added: March 7, 2025
Алгоритмическая самоорганизация и моделирование децентрализованных мобильных сетей связи
Yatskin D., В кн.: Труды 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