учебник по математике

Математическая логика и теория алгоритмов, Геут К.Л., Титов С.С., 2017.

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

Математическая логика и теория алгоритмов, Агарева О.Ю., 2011.

  Учебное пособие предназначено для студентов МАТИ, изучающих дисциплины «Математическая логика и теория алгоритмов» и «Дискретная математика», обучающихся по специальностям «Информатика и вычислительная техника» и «Системы автоматизированного проектирования». Оно ставит своей целью помочь студентам лучше усвоить теоретический и практический материал. Пособие посвящено изучению важных разделов математической логики (алгебры высказываний, логики предикатов) и теории алгоритмов. Его основу составляют конспекты лекций, которые читались студентам. Данное пособие содержит большое количество примеров, иллюстрирующих основные понятия указанных разделов математической логики и теории алгоритмов и утверждения, касающиеся этих понятий.
Издание также может быть полезно для студентов других специальностей и преподавателей.

Нелинейное и адаптивное управление сложными динамическими системами, Мирошник И.В., Никифоров В.О., Фрадков А.Л., 2000.

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

Сети Петри в моделировании и управлении, Лескин А.А., Мальцев П.А., Спиридонов A.М., 1989.

   Рассматриваются задачи моделирования асинхронных процессов с помощью модифицированных сетей Петри. Предлагаются расширения ординарных сетей Петри, основанные на введении алгебраической структуры иа маркировке позиций и средств изменения интерпретации исполняемых переходами сети функций. Формируются свойства таких сетей, механизмы отсчета времени, способы моделирования конфликтных ситуаций. Рассматривается использование введенных модифицированных сетей Петри для организации диспетчерского управления в гибких производственных системах. Приводится описание системы ситуационного диспетчерского управления по эталонной модели, реализованной на сетях Петри. Библиогр. 57 назв. Ил. 56.

Оптимальное управление и вариационное исчисление, Зеликин М.И., 2004.

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

Вариационное исчисление и оптимальное управление, Ванько В.И., Ермошина О.В., Кувыркин Г.Н., 2018.

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

Аналитическая механика управляемой системы, Новоселов В.С., Королев В.С., 2005.

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

Специальные разделы теории управления, Оптимальное управление динамическими системами, Громов Ю.Ю., Земской Н.А., Лагутин А.В., Иванова О.Г., Тютюнник В.М., 2004.

  В учебном пособии рассмотрены основные понятия и определения математической теории оптимальных процессов управления. Проанализированы основные методы теории оптимальных процессов, дана постановка основных задач оптимального управления, необходимые условия оптимальности управления и математический аппарат, позволяющий получить решения для различных классов задач.
Предназначено для студентов высших учебных заведений, обучающихся по специальности 071900 – «Информационные системы и технологии».