?
Логика и Пролог в дискретной математике
М. :
Издательство МЭИ, 1996.
Набебин А. А.
Излагаются основные понятия математической логики и формального вывода, теории графов, комбинаторики, теории конечных автоматов в ее связи с монадической логикой. Рассматривается резолютивный вывод и на его основе вводится универсальный язык программирования Пролог. Программируются некоторые алгоритмы на графах, в комбинаторике, в теории конечных автоматов при переходе от формул монадической логики к автоматам, которые эти формулы описывают. Предназначено студентам высших технических учебных заведений и всем интересующимся теорией и практикой применения Пролога.
Язык:
русский
Артёмов С. Н., Беклемишев Л. Д., Гончаров С. С. и др., Успехи математических наук 2025 Т. 80 № 3 С. 179–182
Некролог, посвящённый Ларисе Львовне Максимовой. ...
Добавлено: 27 декабря 2025 г.
Хестанов Р. З., Сувалко А. С., Социологическое обозрение 2025 Т. 24 № 2 С. 164–189
В статье исследуется генезис концепта новизны и утверждается, что современные трудности с определением и идентификацией нового являются симптомом семантического кризиса, в основе которого лежит утрата стратегической нормативности новизны в современной культуре. Выделяются и анализируются три историко-семантические модели новизны: циклическая (характерная для доисторических обществ), изобретенная (свойственная эпохе модерна) и рутинная (отражающая современные тенденции). В рамках циклической ...
Добавлено: 29 июня 2025 г.
Кочкаров А. А., Яцкин Д. В., М.: Финансовый университет при Правительстве РФ, 2017.
Учебное пособие по курсу «Теория графов и классические задачи прикладной математики в экономике» ...
Добавлено: 7 марта 2025 г.
Яцкин Д. В., Калинов И. А., В кн.: Перспективные системы и задачи управления: материалы Двенадцатой Всероссийской научно-практической конференции и Восьмой молодежной школы-семинара «Управление и обработка информации в технических системах».: Ростов н/Д: Издательство Южного федерального университета, 2017. С. 531–536.
В работе приведены и описаны модели методы и алгоритмы патрулирования пространства на примере задачи обнаружении человеческого лица на заранее известной территории роевой группой мультироторов. Работа описанных алгоритмов была подтверждена многочисленными экспериментами, на их основании были сделаны выводы об эффективности и границах применимости тех или иных подходов. ...
Добавлено: 7 марта 2025 г.
Яцкин Д. В., В кн.: Труды III Всероссийской научно-технической конференции молодых конструкторов и инженеров «Минцевские чтения».: Издательство МГТУ им. Н.Э. Баумана, 2016. С. 321–325.
Рассмотрен мониторинг связных пространства, выделена задача обнаружения и ее частный случай - их патрулирования. Установлены и формализованы ограничения и допущения, приводящие к задаче патрулирования, которая определена математически, рассмотрены и предложены подходы, применяеые для ее решения. Введены объективные характеристики, позволяющие оценивать эффективность найденых решений задачи. ...
Добавлено: 7 марта 2025 г.
Формулируется задача мониторинга ограниченного пространства. Устанавливается связь между мониторингом пространства и обнаружением объектов на этом пространстве. После введения некоторых допущений делается вывод о необходимости решения задачи покрытия множества (связного пространства). Характерной особенностью рассматриваемой задачи является наличие в зоне мониторинга препятствий. Под препятствием понимается связная область пространства, в каждой точке которого невозможно размещение какого-либо объекта. Тем не ...
Добавлено: 7 марта 2025 г.
Кочкаров А. А., Яцкин Д. В., В кн.: Труды III Всероссийской научно-технической конференции «РТИ Системы ВКО-2015».: М.: Издательство МГТУ им. Н.Э. Баумана, 2015. С. 694–702.
Формулируется постановка задачи мониторинга ограниченного пространства. После введения некоторых допущений и перехода на математический язык делается вывод о необходимости решения задачу покрытия множества. Задача покрытия дискретизуется, исследуются свойства и признаки разного рода покрытий. Предложен и обоснован алгоритм построения наименьшего покрытия, рассчитывается его сложность. ...
Добавлено: 7 марта 2025 г.
Яцкин Д. В., Кочкаров А. А., Сенникова Л. И., В кн.: Перспективы развития РЛС дальнего обнаружения и интегрированных систем и комплексов информационного обеспечения Воздушно-космической обороны (РТИ Системы ВКО-2014): II Всероссийская научно-техническая конференция: Сборник материалов.: М.: Издательство "Радиотехника", 2014. С. 359–363.
Исследуется применение методов динамической теории графов для разработки алгоритмов самоорганизации абонентов в сетевых системах ...
Добавлено: 7 марта 2025 г.
Кочкаров А. А., Рахманов О. А., Сенникова Л. И. и др., В кн.: Материалы Девятой Всероссийской научно-практической конференции «Перспективные системы и задачи управления» и Четвертой молодежной школы-семинара «Управление и обработка информации в технических системах».: Таганрог: Издательство ЮФУ, 2014. С. 40–42.
Описывается применение методов динамической теории графов для конструирования командно-информационного взаимодействия ...
Добавлено: 7 марта 2025 г.
Яцкин Д. В., В кн.: Труды 56-й научной конференции МФТИ. Радиотехника и кибернетика.: М.: МФТИ, 2013. С. 178–179.
Исследуется явление самоорганизации децентрализованных мобильных сетей связи. Исследуются задачи построения графа определенной топологии и взаимодейстия между абонетами мобильной сети при их движении с целью обеспечения связности графа. ...
Добавлено: 7 марта 2025 г.
М.: Математический институт им. В. А. Стеклова РАН, 2024.
Настоящий том посвящен 80-летию члена-корреспондента РАН Виктора Матвеевича Бухштабера. В том вошли статьи по топологии, геометрии, комбинаторике и математической физике — направлениям, в которых В. М. Бухштабер является признанным мировым лидером и руководителем активно работающей научной школы. Большинство статей написаны учениками и соавторами Виктора Матвеевича. ...
Добавлено: 15 января 2025 г.
Учебное пособие предназначено для изучения информатики на базовом уровне в 8 классе общеобразовательных организаций. Учебное пособие содержит теоретический материал курса, вопросы и задания для закрепления знаний. В конце каждой главы в схематическом виде представлена система основных понятий этой главы.
Учебное пособие соответствует требованиям Федерального государственного образовательного стандарта основного общего образования. ...
Добавлено: 25 июня 2024 г.
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника".
Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и ...
Добавлено: 12 ноября 2023 г.
Учебник содержит лекционный материал по дисциплине "Дискретная математика", а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы.
Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные ...
Добавлено: 12 ноября 2023 г.
Айзенберг А. А., Бекетов М. Е., Магай Г. И., / Series arxiv:math.AT "arxiv Algebraic Topology". 2023.
Добавлено: 5 октября 2023 г.
Гайдамака А. А., Платонова А., В кн.: Информационно-телекоммуникационные технологии и математическое моделирование высокотехнологичных систем (ИТТММ 2023).: М.: РУДН, 2023.
Ряд важных приложений беспилотных летательных аппаратов (БПЛА), таких как спасательные операции и доставка грузов первой помощи, выполняются в местах, где внешняя информация о местоположении недоступна — в лесах, периферийных территориях, закрытых помещениях. Однако существующие подходы по организации и поддержке топологии в роях БПЛА используют сведения о локальном положении устройств, полученные из внешних источников (GNSS, базовые ...
Добавлено: 8 сентября 2023 г.
Добавлено: 28 июля 2023 г.
Марквирер В. Д., В кн.: «Соседи по науке»: материалы X ежегодной научной конференции.: Пермь: Редакционно-издательский отдел НИУ ВШЭ-Пермь, 2023. Гл. 4 С. 38–50.
Добавлено: 24 июля 2023 г.