?
Синтез дискретных устройств управления
Передерин Д. А., Карпов Ю. Г.
Данное пособие предназначено для студентов второго и третьего курсов как методические рекомендации при разработке структур логического управления дискретными системами.
Люксембург А. А., УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической ...
Добавлено: 7 октября 2026 г.
Терегулов Т. Р., Лубенец Е. Р., / Series Quantum Physics "arXiv". 2026. No. 2609.31472.
Добавлено: 28 сентября 2026 г.
Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
Добавлено: 21 августа 2026 г.
Добавлено: 19 мая 2026 г.
Добавлено: 28 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Артёмов С. Н., Беклемишев Л. Д., Гончаров С. С. и др., Успехи математических наук 2025 Т. 80 № 3 С. 179–182
Некролог, посвящённый Ларисе Львовне Максимовой. ...
Добавлено: 27 декабря 2025 г.
Учебное пособие предназначено для изучения информатики на базовом уровне в 8 классе общеобразовательных организаций. Учебное пособие содержит теоретический материал курса, вопросы и задания для закрепления знаний. В конце каждой главы в схематическом виде представлена система основных понятий этой главы.
Учебное пособие соответствует требованиям Федерального государственного образовательного стандарта основного общего образования. ...
Добавлено: 25 июня 2024 г.
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника".
Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и ...
Добавлено: 12 ноября 2023 г.
Учебник содержит лекционный материал по дисциплине "Дискретная математика", а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы.
Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные ...
Добавлено: 12 ноября 2023 г.
Семакин И. Г., Залогова Л. А., Русаков С. В. и др., М.: Просвещение, 2022.
Учебник предназначен для изучения в 8 классе общеобразовательной школы. Учебник содержит теоретический материал курса, материалы для закрепления знаний. В конце каждой главы в схематическом виде представлена схема основных понятий. Некоторые главы содержат дополнительный раздел, предназначенный для изучения темы на углубленном уровне.
Учебник допущен к использованию в соответствии с Приказом Министерства просвещения Российской Федерации №254 от 20.05.20 ...
Добавлено: 31 октября 2022 г.
Кокурина А. Д., Экономика Центральной Азии 2019 Т. 3 № 4 С. 239–252
Современное развитие мира и технологий ставит перед высокотехнологичными компаниями задачи
активного внедрения инновационных решений. В современном мире активно говорится о наступлении
«Индустрии 4.0», которая связана с цифровизацией производственного сектора. В настоящее время
происходит внедрение роботизированных технологий, автоматических систем управления, искусственного интеллекта в детальность компаний. Поэтому предприятия должны уделять внимание возможности внедрения таких технологий в своей стратегии развития. ...
Добавлено: 30 октября 2021 г.
Вилкова О. В., В кн.: ЭЛЕКТРОННЫЙ БИЗНЕС. УПРАВЛЕНИЕ ИНТЕРНЕТ-ПРОЕКТАМИ. ИННОВАЦИИ сборник трудов участников XI Международной студенческой научно-практической конференции. 2019.: М.: НИУ ВШЭ, 2019.
В работе описаны основные функциональные возможности современных систем управления фрилансерами и организационные особенности их внедрения во внутренние бизнес-процессы предприятия. Приведены примеры платформ по управлению фрилансерами. ...
Добавлено: 14 декабря 2020 г.
Григорьев А. А., Известия Российского экономического университета им. Г.В. Плеханова 2014 № 1(15) С. 51–67
В данной статье проводится анализ архитектуры интегрированных информационных систем автоматизации бизнес-процессов на базе решений SAP. Определяется модульность построения ИС, ее функциональность. Выявляется сопряженность модулей с возможностью оперативного внесения изменений в сформированную/ые БД (информационные хранилища) и использованием механизмов обратной связи (в программной реализации) дает возможность ведения оперативного управления поведением ИС. Вместе с тем, модули, отвечающие за ...
Добавлено: 20 января 2019 г.
Пахомов Ф. Н., Известия РАН. Серия математическая 2016 Т. 80 № 6 С. 173–216
Полимодальная логика доказуемости
GLP была введена Г. К. Джапаридзе в 1986 г. Она является логикой доказуемости для ряда цепочек предикатов доказуемости возрастающей силы. Всякой полимодальной логике соответствует многообразие полимодальных алгебр. Л. Д. Беклемишевым и А. Виссером был поставлен вопрос о разрешимости элементарной теории свободной GLP-алгебры, порожденной константами 0, 1 [1]. В этой статье для любого натурального n решается аналогичный вопрос для логик GLPn, являющихся ...
Добавлено: 4 декабря 2017 г.
Авдошин С. М., Набебин А. А., М.: ДМК Пресс, 2018.
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания ...
Добавлено: 2 декабря 2017 г.
Улан-Удэ: Издательство Бурятского госуниверситета, 2017.
Сборник содержит материалы 5-й школы-семинара «Синтаксис и семантика логических систем», проходившей в Улан-Удэ с 8 по 12 августа 2017 г. Тематика конференции включает следующие направления: теория моделей и универсальная алгебра; теория булевых и конечнозначных функций; формальные языки и логические исчисления; математическая логика в образовании; ...
Добавлено: 22 сентября 2017 г.
Тула: ТулГУ, 2016.
Вестник Тульского государственного университета. Серия: Системы управления ...
Добавлено: 30 мая 2017 г.