математика

Математическая логика, Бигаева Л.А., Салиева М.С., 2015.

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

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

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

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

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

Олимпиадная математика, Лебедева С.В., 2019.

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

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

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

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

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

Введение в систему математического образования России, Гусева М.А., 2012.

ВВЕДЕНИЕ.

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

Анализ математических моделей, системы законов сохранения, уравнения Больцмана и Смолуховского, Галкин В.А., 2011.

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