математика

Derive для студента, Половко А.М., 2005.

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

Основы математического моделирования и оптимизации процессов и систем очистки и регенерации воздуха, Дворецкий С.И., Матвеев С.В., Путин С.Б., Туголуков Е.Н., 2008.

Содержит систематическое изложение фундаментальных основ теории моделирования и оптимизации процессов и систем очистки и регенерации воздуха в условиях неопределенности. Обсуждаются механизмы процесса адсорбции, термодинамические основы поверхностных явлений, кинетика и динамика процесса адсорбции, а также тепловые эффекты, имеющие место при очистке и регенерации воздуха в изолирующих средствах защиты органов дыхания людей. Формулируются математические постановки задач исследования взаимосвязанных процессов адсорбции, тепло- и массопереноса при очистке и регенерации воздуха. Предназначено для студентов высших учебных заведений, обучающихся по специальностям 240801, 251600, направлению 150400 и повышения квалификации специалистов в научно-образовательном центре «ТГТУ - ОАО «Корпорация «Росхимзащита».

Математическая логика и теория алгоритмов, Галиев Ш.И., 2002.

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

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

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

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

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

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

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

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

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

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

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