Аннотация: Монография представляет завершенное фундаментальное исследование устойчивости нечетко-логических и нейро-нечетких систем управления являющихся важным классом интеллектуальных систем применяемых в инженерии автоматизации и обработке данных. Систематизирует теоретические основы и практические методы обеспечения устойчивости предлагая новые подходы к анализу и проектированию систем учитывающие неопределенности нелинейности и динамическое поведение. Основное внимание уделено количественным методам оценки устойчивости включая оригинальные подходы к дефаззификации бифуркационному анализу и адаптивному обучению. Основана на научных проектах поддержанных Государственным заданием № 075-03-2025-526 и РНФ № 24-21-00055. Адресована ученым инженерам аспирантам и студентам интересующимся нечеткой логикой теорией управления и интеллектуальными системами.

Аннотация: В пособии изложены вопросы основ теории множеств, булевых функций, нормальных форм, классов функций, полноты систем булевых функций, предикатов. Предназначено для направлений подготовки бакалавров 01.03.04 «Прикладная математика», изучающих дисциплину «Математическая логика и теория алгоритмов» на первом году обучения.

Аннотация: В пособии изложены вопросы основ теории алгоритмов, реализации и оценки их вычислительной сложности. Предназначено для направлений подготовки бакалавров 01.03.04 «Прикладная математика», изучающих дисциплину «Математическая логика и теория алгоритмов» на первом году обучения.

Аннотация: В учебном пособии изложены традиционные разделы математической логики: формальная логика, логика высказываний, логика предикатов, основы теории алгоритмов. Курс содержит теоретический материал, решение задач, задания для самостоятельной работы и вопросы для самоконтроля. Пособие предназначено для обучающихся всех форм обучения по направлениям подготовки 09.03.02 Информационные системы и технологии, 09.03.02 Информационные системы и технологии (сетевая программа), 09.03.03 Прикладная информатика и 09.03.04 Программная инженерия.

Аннотация: Практикум для занятий по дисциплине «Математическая логика и теория алгоритмов». Практикум предназначен для студентов направлений подготовки 09.03.02 «Информационные системы и технологии», 10.03.01 «Информационная безопасность», 10.05.03 «Информационная безопасность автоматизированных систем», 10.05.04 «Информационно-аналитические системы безопасности», 10.05.05 «Безопасность информационных технологий в правоохранительной сфере».

Аннотация: Практикум для занятий по дисциплине «Математическая логика и теория алгоритмов». Практикум предназначен для студентов направлений подготовки 09.03.02 «Информационные системы и технологии», 10.03.01 «Информационная безопасность», 10.05.03 «Информационная безопасность автоматизированных систем», 10.05.04 «Информационно-аналитические системы безопасности», 10.05.05 «Безопасность информационных технологий в правоохранительной сфере»

Аннотация: Практикум разработан в помощь студентам, изучающим курс по дисциплине «Математические основы автоматизированных систем». Практикум предназначен для освоения учебной программы и получения практических знаний. Практикум соответствуют программе курса «Математические основы автоматизированных систем» для студентов направления подготовки 15.03.04 «Автоматизация технологических процессов и производств». Приведены краткие сведения по основам логики высказываний, логики предикатов, формальных аксиоматических теорий и теории алгоритмов. Контрольные задания включают упражнения по всем разделам. Приводятся указания к проведению практических работ.

Аннотация: Учебное пособие предназначено для освоения дисциплин «Основы системного анализа и математической обработки данных», «Основы системного анализа и математической обработки информации», «Основы математической обработки информации» для направлений обучения бакалавриата укрупненного направления 44.03.00 Образование и педагогические науки и будет способствовать наиболее рациональной организации аудиторной и самостоятельной работы по изучению данных курсов.проведения научно-исследовательских работ.

Аннотация: Учебное пособие содержит теоретический материал по курсу «Основы математической логики», примеры и библиографический специальностей, включая направления «информатика», «прикладная математика», изучающих разделы: функции алгебры логики, исчисление высказываний, семантические парадоксы, полные системы связок, аксиоматика и теория исчислений высказываний, теории первого порядка, кванторы, интерпретации и модели, метатеоремы и теоремы теории первого порядка по курсам «Основы математической логики и теории алгоритмов» и «Основы математической логики и теории автоматов». Материал предназначен для студентов дневного отделения по курсу «Математическая логика и теория алгоритмов» или «Математическая логика и теория автоматов» для студентов, обучающихся по специальностям 01.03.04 «Прикладная математика», 09.03.03 «Прикладная информатика» и может быть использован для самостоятельной работы при освоении курса кафедры.

Аннотация: Практикум для занятий по дисциплине «Математическая логика и теория алгоритмов». Практикум предназначен для студентов направлений подготовки 09.03.02 «Информационные системы и технологии», 10.03.01 «Информационная безопасность», 10.05.03 «Информационная безопасность автоматизированных систем», 10.05.04 «Информационно-аналитические системы безопасности», 10.05.05 «Безопасность информационных технологий в правоохранительной сфере»

Аннотация: Методические указания для занятий по дисциплине «Математическая логика и теория алгоритмов». Методические указания предназначены для студентов направлений подготовки 09.03.02 «Информационные системы и технологии», 10.03.01 «Информационная безопасность», 10.05.03 «Информационная безопасность автоматизированных систем», 10.05.04 «Информационно-аналитические системы безопасности», 10.05.05 «Безопасность информационных технологий в правоохранительной сфере»

Аннотация: Пособие содержит теоретический материал: основные определения, теоремы и методы решения типовых задач по дисциплине «Дискретная математика», необходимые для освоения компетенций согласно рабочей программе данной дисциплины. Подробно представлена теория и методы решения основных задач по следующим темам: элементы теории множеств, элементы комбинаторики, логика высказываний, исчисление высказываний, логика предикатов, исчисление предикатов

Аннотация: В учебно-методическом пособии по дисциплине «Теория алгоритмов» представлены разделы, традиционно изучаемые в курсе теории алгоритмов: машины Тьюринга, нормальные алгоритмы Маркова, рекурсивные функции и т.д. Рассмотрены вопросы интуитивного и формального определения алгоритмов, сложности и нумерации алгоритмов, алгоритмически неразрешимых проблем, конструирования машин Поста. Для обучающихся по направлению подготовки 09.03.02 Информационные системы и технологии.

Аннотация: Учебное пособие содержит теоретический материал и примеры решения задач по курсу «Основы теории алгоритмов и рекурсивных функций». Основными разделами курса являются алгоритмы Маркова, машины Тьюринга, k-значные логики, рекурсивные функции. Учебное пособие предназначено для студентов, обучающихся по направлениям подготовки 01.03.04 «Прикладная математика» и 09.03.03 «Прикладная информатика».

Аннотация: Сборник задач включает в себя пять основных тем по методам вычислительной математики, которые посвящены изучению моделирования автоматизированных систем. По мере изучения дисциплины «Моделирование компонентов и процессов автоматизированных систем» студенты получают постепенно усложняющиеся задания. Сборник задач предназначен для выполнения практических работ и разработан в соответствии с рабочей программой дисциплины «Моделирование компонентов и процессов автоматизированных систем», которая входят в учебные планы подготовки магистрантов Института искусственного интеллекта

Аннотация: В монографии изложены процедуры построения нечетких правил принятия решений и реализации нечетких алгоритмов в современных системах управления. Разработаны формальные преобразования алгоритмов к виду, удобному для аппаратной реализации в ассоциативных запоминающих устройствах при проектировании процессоров управления. Исследована работоспособность предложенных нечетких алгоритмов управления методами математического моделирования с помощью цифрового моделирующего комплекса. Представлены результаты практического применения логико-лингвистических моделей для управления движением морских геофизических комплексов по заданной траектории. Для научных сотрудников, инженеров, аспирантов и студентов, занимающихся теоретическими и прикладными задачами нечетких множеств и алгоритмов в управлении.

Аннотация: Рассмотрены вопросы построения логических моделей на основе четкой и нечеткой информации. Основное внимание уделено теории логического вывода. Разработаны методы построения полной системы из двух функций в трехзначной логике, описания тавтологий в многозначных логиках и минимизации схем из функциональных элементов на основе универсальной функции. Может быть полезна студентам, магистрантам, аспирантам, научным сотрудникам, преподавателям и специалистам, область научных интересов и работа которых связаны с вопросами математической логики.

Аннотация: Практикум содержит краткий теоретический материал по темам лабораторных работ, задания, методические указания по их выполнению и необходимые примеры с применением программы «Multisim». Предназначен для студентов дневной и заочной форм обучения специальности 23.05.05 «Системы обеспечения движения поездов», специализации «Автоматика и телемеханика на железнодорожном транспорте», «Телекоммуникационные системы и сети железнодорожного транспорта», «Радиотехнические системы на железнодорожном транспорте» для выполнения лабораторных работ по дисциплине «Теория дискретных устройств».

Аннотация: Учебно-методическое пособие подготовлено в соответствии с программой дисциплины «Математическая логика и теория алгоритмов» и предназначено для занятий и самостоятельной работы студентов электротехнического факультета направления подготовки 10.03.01 – «Информационная безопасность». Содержит подробные лекции с наглядными примерами и компьютерной поддержкой, касающиеся применения элементов и методов математической логики к безопасности информационных технологий; задачи для домашних и контрольных работ, тематику индивидуальных работ в рамках научно-исследовательских работ, необходимую справочную информацию.

Аннотация: Учебное пособие посвящено основам математической логики и состоит из введения и четырех глав: «Логика высказываний», «Исчисление высказываний», «Логика предикатов первого порядка» и «Исчисление предикатов». Особое внимание уделено проблеме распознавания общезначимости формул логики высказываний и формул логики предикатов, использованию метода резолюций. Пособие предназначено для студентов, обучающихся по направлениям подготовки бакалавров «Прикладная математика и информатика», «Компьютерная безопасность», «Фундаментальная информатика и информационные технологии» и специальности «Компьютерная безопасность».