Математическая логика, Бигаева Л.А., Салиева М.С., 2015.
В пособии представлены материалы, необходимые для изучения курса «Математическая логика». Пособие содержит краткую теорию, подборку примеров и задач для практических занятий по выделенным темам, а также задачи для контроля самостоятельной работы студентов. В работу включены распределение задач по вариантам для самостоятельной работы, список вопросов для экзаменов и зачетов.
Учебное пособие предназначено для студентов, обучающихся по направлениям подготовки «Математика», «Информатика», «Физика», «Прикладная математика».
учебник по математике
Математическая логика, Бигаева Л.А., Салиева М.С., 2015
Скачать и читать Математическая логика, Бигаева Л.А., Салиева М.С., 2015Математическая логика и теория алгоритмов, Геут К.Л., Титов С.С., 2017
Математическая логика и теория алгоритмов, Геут К.Л., Титов С.С., 2017.
Учебно-методическое пособие подготовлено в соответствии с программой дисциплины «Математическая логика и теория алгоритмов» и предназначено для занятий и самостоятельной работы студентов электротехнического факультета направления подготовки 10.03.01 - «Информационная безопасность».
Содержит подробные лекции с наглядными примерами и компьютерной поддержкой, касающиеся применения элементов и методов математической логики к безопасности информационных технологий; задачи для домашних и контрольных работ, тематику индивидуальных работ в рамках научно-исследовательских работ, необходимую справочную информацию.
Скачать и читать Математическая логика и теория алгоритмов, Геут К.Л., Титов С.С., 2017Учебно-методическое пособие подготовлено в соответствии с программой дисциплины «Математическая логика и теория алгоритмов» и предназначено для занятий и самостоятельной работы студентов электротехнического факультета направления подготовки 10.03.01 - «Информационная безопасность».
Содержит подробные лекции с наглядными примерами и компьютерной поддержкой, касающиеся применения элементов и методов математической логики к безопасности информационных технологий; задачи для домашних и контрольных работ, тематику индивидуальных работ в рамках научно-исследовательских работ, необходимую справочную информацию.
Математическая логика и теория алгоритмов, Агарева О.Ю., 2011
Математическая логика и теория алгоритмов, Агарева О.Ю., 2011.
Учебное пособие предназначено для студентов МАТИ, изучающих дисциплины «Математическая логика и теория алгоритмов» и «Дискретная математика», обучающихся по специальностям «Информатика и вычислительная техника» и «Системы автоматизированного проектирования». Оно ставит своей целью помочь студентам лучше усвоить теоретический и практический материал. Пособие посвящено изучению важных разделов математической логики (алгебры высказываний, логики предикатов) и теории алгоритмов. Его основу составляют конспекты лекций, которые читались студентам. Данное пособие содержит большое количество примеров, иллюстрирующих основные понятия указанных разделов математической логики и теории алгоритмов и утверждения, касающиеся этих понятий.
Издание также может быть полезно для студентов других специальностей и преподавателей.
Скачать и читать Математическая логика и теория алгоритмов, Агарева О.Ю., 2011Учебное пособие предназначено для студентов МАТИ, изучающих дисциплины «Математическая логика и теория алгоритмов» и «Дискретная математика», обучающихся по специальностям «Информатика и вычислительная техника» и «Системы автоматизированного проектирования». Оно ставит своей целью помочь студентам лучше усвоить теоретический и практический материал. Пособие посвящено изучению важных разделов математической логики (алгебры высказываний, логики предикатов) и теории алгоритмов. Его основу составляют конспекты лекций, которые читались студентам. Данное пособие содержит большое количество примеров, иллюстрирующих основные понятия указанных разделов математической логики и теории алгоритмов и утверждения, касающиеся этих понятий.
Издание также может быть полезно для студентов других специальностей и преподавателей.
Нелинейное и адаптивное управление сложными динамическими системами, Мирошник И.В., Никифоров В.О., Фрадков А.Л., 2000
Нелинейное и адаптивное управление сложными динамическими системами, Мирошник И.В., Никифоров В.О., Фрадков А.Л., 2000.
В книге представлены теоретические основы и методы управления сложными динамическими системами, характеризующимися высокой размерностью и существенной нелинейностью моделей, большим числом входных и выходных переменных, параметрической и структурной неопределенностью. Особенностью изложения является сочетание методов и концепций современной теории нелинейных систем (таких как преобразования координат, инвариантные и притягивающие подмногообразия, точная линеаризация и пассификация, частичная стабилизация и т. д.) с методологией приближенной декомпозиции на основе частичной линейной аппроксимации, усреднения и сингулярных возмущений. Представлен ряд оригинальных концепций и методов, таких как предписанное пространственное движение, согласованное управление, робастные алгоритмы адаптации высокого порядка, методы скоростного градиента и неявной эталонной модели. Рассматриваются приложение, к задачам нелинейного управления механическими системами: пространственным движением твердого тела, многоколесными мобильными роботами, колебательными маятниковыми системами.
Книга будет полезной для научных работников, инженеров, преподавателей и аспирантов в области автоматического управления, механики и прикладной математики. Может быть использована в качестве учебного пособия по специальностям, связанным с автоматизацией и управлением.
Скачать и читать Нелинейное и адаптивное управление сложными динамическими системами, Мирошник И.В., Никифоров В.О., Фрадков А.Л., 2000В книге представлены теоретические основы и методы управления сложными динамическими системами, характеризующимися высокой размерностью и существенной нелинейностью моделей, большим числом входных и выходных переменных, параметрической и структурной неопределенностью. Особенностью изложения является сочетание методов и концепций современной теории нелинейных систем (таких как преобразования координат, инвариантные и притягивающие подмногообразия, точная линеаризация и пассификация, частичная стабилизация и т. д.) с методологией приближенной декомпозиции на основе частичной линейной аппроксимации, усреднения и сингулярных возмущений. Представлен ряд оригинальных концепций и методов, таких как предписанное пространственное движение, согласованное управление, робастные алгоритмы адаптации высокого порядка, методы скоростного градиента и неявной эталонной модели. Рассматриваются приложение, к задачам нелинейного управления механическими системами: пространственным движением твердого тела, многоколесными мобильными роботами, колебательными маятниковыми системами.
Книга будет полезной для научных работников, инженеров, преподавателей и аспирантов в области автоматического управления, механики и прикладной математики. Может быть использована в качестве учебного пособия по специальностям, связанным с автоматизацией и управлением.
Сети Петри в моделировании и управлении, Лескин А.А., Мальцев П.А., Спиридонов A.М., 1989
Сети Петри в моделировании и управлении, Лескин А.А., Мальцев П.А., Спиридонов A.М., 1989.
Рассматриваются задачи моделирования асинхронных процессов с помощью модифицированных сетей Петри. Предлагаются расширения ординарных сетей Петри, основанные на введении алгебраической структуры иа маркировке позиций и средств изменения интерпретации исполняемых переходами сети функций. Формируются свойства таких сетей, механизмы отсчета времени, способы моделирования конфликтных ситуаций. Рассматривается использование введенных модифицированных сетей Петри для организации диспетчерского управления в гибких производственных системах. Приводится описание системы ситуационного диспетчерского управления по эталонной модели, реализованной на сетях Петри. Библиогр. 57 назв. Ил. 56.
Скачать и читать Сети Петри в моделировании и управлении, Лескин А.А., Мальцев П.А., Спиридонов A.М., 1989Рассматриваются задачи моделирования асинхронных процессов с помощью модифицированных сетей Петри. Предлагаются расширения ординарных сетей Петри, основанные на введении алгебраической структуры иа маркировке позиций и средств изменения интерпретации исполняемых переходами сети функций. Формируются свойства таких сетей, механизмы отсчета времени, способы моделирования конфликтных ситуаций. Рассматривается использование введенных модифицированных сетей Петри для организации диспетчерского управления в гибких производственных системах. Приводится описание системы ситуационного диспетчерского управления по эталонной модели, реализованной на сетях Петри. Библиогр. 57 назв. Ил. 56.
Оптимальное управление и вариационное исчисление, Зеликин М.И., 2004
Оптимальное управление и вариационное исчисление, Зеликин М.И., 2004.
В пособии изложены основы теории экстремальных задач с точки зрения канонического формализма и принципа максимума Понтрягина.
Для студентов вузов и университетов по специальностям «Математика» и «Прикладная математика», а также для аспирантов и научных работников.
Скачать и читать Оптимальное управление и вариационное исчисление, Зеликин М.И., 2004В пособии изложены основы теории экстремальных задач с точки зрения канонического формализма и принципа максимума Понтрягина.
Для студентов вузов и университетов по специальностям «Математика» и «Прикладная математика», а также для аспирантов и научных работников.
Вариационное исчисление и оптимальное управление, Ванько В.И., Ермошина О.В., Кувыркин Г.Н., 2018
Вариационное исчисление и оптимальное управление, Ванько В.И., Ермошина О.В., Кувыркин Г.Н., 2018.
Наряду с изложением основ классического вариационного исчисления и элементов теории оптимального управления рассмотрены прямые методы вариационного исчисления и методы преобразования вариационных задач, приводящие, в частности, к двойственным вариационным принципам. На примерах из физики, механики и техники показана эффективность методов вариационного исчисления и оптимального управления для решения прикладных задач.
Для студентов и аспирантов технических университетов, а также для инженеров и научных работников, специализирующихся в области прикладной математики и математического моделирования.
Купить бумажную или электронную книгу и скачать и читать Вариационное исчисление и оптимальное управление, Ванько В.И., Ермошина О.В., Кувыркин Г.Н., 2018Наряду с изложением основ классического вариационного исчисления и элементов теории оптимального управления рассмотрены прямые методы вариационного исчисления и методы преобразования вариационных задач, приводящие, в частности, к двойственным вариационным принципам. На примерах из физики, механики и техники показана эффективность методов вариационного исчисления и оптимального управления для решения прикладных задач.
Для студентов и аспирантов технических университетов, а также для инженеров и научных работников, специализирующихся в области прикладной математики и математического моделирования.
Аналитическая механика управляемой системы, Новоселов В.С., Королев В.С., 2005
Аналитическая механика управляемой системы, Новоселов В.С., Королев В.С., 2005.
Книга представляет собой целостное изложение классических основ аналитической динамики и новых аналитических методов по оптимизации движения управляемых систем. Дается наглядное представление основных результатов математической теории управления. Теоретические положения иллюстрируются решением базовых задач управления орбитальным и вращательным движением тел в гравитационном поле.
Предназначено для студентов и аспирантов факультетов математического и физико-технического профиля, а также специалистам, работающим в области управления движением.
Скачать и читать Аналитическая механика управляемой системы, Новоселов В.С., Королев В.С., 2005Книга представляет собой целостное изложение классических основ аналитической динамики и новых аналитических методов по оптимизации движения управляемых систем. Дается наглядное представление основных результатов математической теории управления. Теоретические положения иллюстрируются решением базовых задач управления орбитальным и вращательным движением тел в гравитационном поле.
Предназначено для студентов и аспирантов факультетов математического и физико-технического профиля, а также специалистам, работающим в области управления движением.
Другие статьи...
- Специальные разделы теории управления, Оптимальное управление динамическими системами, Громов Ю.Ю., Земской Н.А., Лагутин А.В., Иванова О.Г., Тютюнник В.М., 2004
- Оптимальное управление в примерах и задачах, Сотсков А.И., Колесник Г.В., 2002
- Робастное управление с компенсацией возмущений, Цыкунов А.М., 2012
- Робастное управление объектами с последействием, Цыкунов А.М., 2014
- Оптимальное управление, Алексеев В.М., Тихомиров В.М., Фомин С.В., 1979
- Основы теории управления, Егоров А.И., 2004
- Математические головоломки профессора Стюарта, Стюарт И., 2018
- Неучебник математики, Кузякин К., 2019
Показана страница 158 из 460