Книги по математике (предлагаем и спрашиваем здесь)

[gnat26]

Биоинспирированные методы в оптимизации

Авторы, рассмотрев модели построения порядка из хаоса, и проанализировав основные принципы гомеостатики и эволюции, предлагают триединый подход к решению интеллектуальных оптимизационных задач принятия решений. В этой книге рассмотрены алгоритмы анализа и синтеза оптимизационных задач принятия решений на графах. Описаны способы построения иерархических искусственных интеллектуальных систем для решения оптимизационных задач принятия решений на графах. Книга для специалистов, ведущих разработки перспективных интеллектуальных информационных технологий в науке, технике, экономике, а также для аспирантов и студентов всех специальностей, изучающих теорию систем и методы системного анализа, информатику, методы оптимизации, исследования операций и принятия решений.
Краткое содержание
Предисловие
Введение
1. Гомеостатические, синергетические и эволюционные модели принятия решений
2. Нестандартные архитектуры генетического поиска
3. Оптимизационные задачи принятия решений на графах
Заключение
Список литературы
Аббревиатуры.
Название: Биоинспирированные методы в оптимизации
Автор: Гладков Л.А., Курейчик В.В., Курейчик В.М., Сороколетов П.В.
Издательство: М.: ФИЗМАТЛИТ
Год: 2009
Страниц: 382
ISBN: 978-5-9221-1101-0
Язык: Русский
Формат: djvu
Размер: 21,47 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:

You do not have permission to view link please Вход or Регистрация

You do not have permission to view link please Вход or Регистрация

 

[gnat26]

Оптимальное управление дифференциальными и функциональными уравнениями

Книга может быть с успехом использована не только специалистами излагаемой области, но и всеми, кто намерен серьезно изучать теорию оптимального управления. Эта книга отличается большой полнотой изложения целого ряда основных направлений теории оптимального управления, преимущественно аналитического характера. При этом автор не ограничивается только обыкновенными дифференциальными уравнениями, а рассматривает также весьма общие функционально-интегральные уравнения. Ценным качеством книги является то, что она содержит исчерпывающее изложение всех необходимых сведений по общей теории меры и интегрирования, функциональному анализу и теории дифференциальных и функциональных уравнений. Книга предназначена для специалистов математиков, студентов старших курсов, специализирующихся в анализе, а также для специалистов, занимающихся прикладными вопросами оптимального управления.
Краткое содержание
Предисловие автора
Часть I. Основы
Глава I. Аналитические основы
Глава II. Функциональные уравнения
Часть II. Оптимальное управление
Глава III. Основные задачи и понятия, эвристические рассмотрения
Глава IV. Обычные и обобщенные управляющие функции
Глава V. Задачи управления, описываемые уравнениями в банаховых пространствах
Глава VI. Оптимальное управление для обыкновенных дифференциальных уравнений
Глава VII. Оптимальное управление для функционально-интегральных уравнений в пространстве С(T, Rn)
Глава VIII. Оптимальное управление для функционально-интегральных уравнений в пространстве Lp(T, Rn)
Глава IX. Конфликтные задачи управления с обобщенными управлениями противника
Глава X. Конфликтные задачи управления с гиперобобщенными управлениями противника
Глава XI. Управляемость и необходимые условия без предположений дифференцируемости
Библиография
Предметный указатель.
Название: Оптимальное управление дифференциальными и функциональными уравнениями. Optimal Control of Differential and Functional Equations
Автор: Варга Дж.
Издательство: М.: Наука
Год: 1977
Страниц: 624
Язык: Русский
Формат: djvu
Размер: 24,25 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:

You do not have permission to view link please Вход or Регистрация

You do not have permission to view link please Вход or Регистрация

 

[gnat26]

Сборник задач по математической логике и алгебре множеств

В последнее время в различных разделах математики бинарные отношения приобретают все большее значение, поэтому задачи, относящиеся к теории множеств, посвящены в основном бинарным отношениям. Этот сборник задач составлен в соответствии с программой университетского курса «Элементы математической логики и алгебры множеств». Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также исчислению высказываний и предикатов. Большая часть задач двух последних параграфов связана с бинарными отношениями, которые получают все большее применение в различных областях математики. Задачник снабжен ответами и указаниями, каждому разделу предпослало небольшое теоретическое введение. Сборник может быть использован как пособие для учащихся математических школ и всех самостоятельно изучающих соответствующие разделы математики.
Содержание
Предисловие ко второму изданию
§ 1. Двоичная булева алгебра
§ 2. Приложение двоичной булевой алгебры к релейно-контактным схемам
§ 3. Исчисление высказываний
§ 4. Исчисление предикатов
§ 5. Операции над множествами
§ 6. Бинарные отношения
Ответы и указания.
Название: Сборник задач по математической логике и алгебре множеств. Изд. 2-е, испр.
Автор: Гохман А.В., Спивак М.А., Розен В.В. и др.
Издательство: Саратов: Издательство Саратовского госуниверситета
Год: 1969
Страниц: 92
Язык: Русский
Формат: djvu
Размер: 10,98 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:

You do not have permission to view link please Вход or Регистрация

You do not have permission to view link please Вход or Регистрация

 

[gnat26]

Седловые функции

Особенно эффективными методы выпуклого анализа оказываются при решении экстремальных задач, где различные свойства выпуклости облегчают отыскание решений. Целью настоящего исследования является изучение конструкций, формируемых с помощью выпуклостей разного типа. Для функций — это вогнуто-выпуклые функции. Эти конструкции лежат в основе так называемых минимаксных задач. Книга посвящена теории седловых функций в линейных топологических пространствах и состоит из двух частей: вспомогательной — линейные топологические пространства и элементы выпуклого анализа и основной — теория седловых функций в линейных топологических пространствах. Седловая точка в математическом анализе — такая точка из области определения функции, которая является стационарной для данной функции, однако не является ее локальным экстремумом. Эта книга для аспирантов, преподавателей математических факультетов вузов и научных сотрудников, занимающихся теорией экстремальных задач.
Краткое содержание
Введение
Глава I. Линейные топологические пространства
§ 1. Предварительные сведения
$ 2. Линейные пространства
§ 3. Выпуклые множества и конусы в линейных пространствах
§ 4. Топологические пространства
§ 5. Линейные топологические пространства
Глава II. Выпуклые функции
§ 6. Сопряженные пространства
§ 7. Выпуклые функции
§ 8. Операции над выпуклыми функциями
§ 9. Теоремы отделимости
§ 10. Сопряженные функции
§ 11. Теоремы двойственности
§ 12. Субдифференцируемость выпуклых функций в линейных топологических пространствах
Глава III. Седловые функции
§ 13. Седловые функции
§ 14. Преобразования сопряжения и частичного сопряжения седловых функций
§ 15. Операции над седловыми функциями
§ 16. Монотонные многозначные отображения и субдифференцируемость седловых функций
§ 17. Двойственные операции над седловыми функциями
Приложения
Литература.
Название: Седловые функции
Автор: Тынянский Н.Т.
Издательство: М.: Издательство Московского Университета
Год: 1985
Страниц: 198
Язык: Русский
Формат: djvu
Размер: 15,61 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:

You do not have permission to view link please Вход or Регистрация

You do not have permission to view link please Вход or Регистрация

 

[gnat26]

Введение в теорию исследования операций

В этой книге сделан упор не столько на строгое изложение многочисленных конкретных результатов и направлений, сколько на демонстрацию общих подходов и постановок задач. Одной из основных задач книги является попытка формализации исследования операций в общем случае информированности исследователя и проводящего операцию об обстановке. Основой принципа выбора поведения является гибко понимаемый принцип гарантированного результата, конкретное выражение которого зависит от информированности. Вводится понятие ценности информации и демонстрируются различные варианты понятия максимина (наилучшего гарантированного результата) в зависимости от информированности об обстановке операций. Излагаются необходимые условия максимина и примеры его определения для ряда моделей операций, имеющих не только учебный характер. Остальные разделы посвящены изложению ряда традиционных результатов теории игр с противоположными интересами.
Дополнительно в архиве книга "Задачи по исследованию операций. Учебное пособие". Гермейер Ю.Б., Морозов В.В., Сухарев А.Г., Федоров В.В. М.: Издательство Московского университета, 1979 г. 169 с.
Краткое содержание
Введение
Глава I. О формализации и основных принципах исследования операций
Глава II. Оценка эффективности стратегий (решений)
Глава III. Оптимальные стратегии
Глава IV. Общие теоремы о решении антагонистических игр в смешанных стратегиях
Глава V. Игры с платежными функциями частного вида
Литература.
Название: Введение в теорию исследования операций
Автор: Гермейер Ю.Б.
Издательство: М.: Наука
Год: 1971
Страниц: 384
Серия: Оптимизация и исследование операций
Язык: Русский
Формат: djvu
Размер: 23,12 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:

You do not have permission to view link please Вход or Регистрация

You do not have permission to view link please Вход or Регистрация

 

[gnat26]

Эволюционные методы моделирования и оптимизации сложных систем

Использование математических моделей в задачах оптимизации сложных систем позволяет выявлять свойства исследуемых систем, ускорять получение оценок качества решений или вовсе заменить реальный объект исследования. При построении моделей возникают задача выбора оптимальных параметров алгоритма моделирования, а также задача оптимизации параметров модели. Таким образом, возникает необходимость интеграции методов моделирования и оптимизации. В этой связи разработка методов, позволяющий в рамках единого подхода автоматизировать процесс построения и оптимизации моделей сложных систем является актуальной научной проблемой.
Краткое содержание
Стандартные эволюционные алгоритмы
Модифицированные эволюционные алгоритмы моделирования и оптимизации сложных систем
Эволюционные алгоритмы решения задач многокритериальной безусловной оптимизации
Эволюционные алгоритмы решения нестационарных задач оптимизации
Самонастраивающиеся коэволюционные алгоритмы оптимизации
Метод альтернативной адаптации ускоренного выбора эффективного эволюционного алгоритма
Адаптивные стохастические алгоритмы оптимизации
Применение эволюционных алгоритмов в задачах автоматизации проектирования интеллектуальных информационных технологий
Примеры решения практических задач эволюционными алгоритмами
Библиографический список.
Название: Эволюционные методы моделирования и оптимизации сложных систем. Конспект лекций
Автор: Семенкин Е.С., Жукова М.Н., Жуков В.Г., Панфилов И.А., Тынченко В.В.
Издательство: Красноярск: СФУ
Год: 2007
Страниц: 310
Язык: Русский
Формат: djvu
Размер: 13,56 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:

You do not have permission to view link please Вход or Регистрация

You do not have permission to view link please Вход or Регистрация

 

[gnat26]

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

Студент курса «Математическая логика» должен изучить: понятия и методы математической логики; основные теоремы курса математической логики; методы математических доказательств. Математическая логика для изучения общих структур правильного мышления применяет математические методы. Как математическая дисциплина, она является орудием исследования в вопросах обоснования математики, широко применяется во многих областях науки. В учебном пособии представлены материалы, необходимые для изучения курса «Математическая логика». Пособие содержит краткую теорию, подборку примеров и задач для практических занятий по выделенным темам, а также задачи для контроля самостоятельной работы студентов. В работу включены распределение задач по вариантам для самостоятельной работы, список вопросов для экзаменов и зачетов. Учебное пособие предназначено для студентов, обучающихся по направлениям подготовки «Математика», «Информатика», «Физика», «Прикладная математика».
Краткое содержание
Предисловие
Введение. Предмет математической логики
1. Алгебра высказываний
2. Тавтологии алгебры высказываний
3. Логическая равносильность
4. Нормальные формы для формул алгебры высказываний
5 Логическое следование формул
6. Приложение алгебры высказываний к логико-математической практике
7. Булевы функции
8. Логика предикатов
9. Формализованное исчисление высказываний (ФИВ)
Приложение I. Примерные вопросы к экзамену по математической логике
Приложение II. Практикум для самостоятельного выполнения
Литература.
Название: Математическая логика: Учебное пособие для студентов физико-математического факультета
Автор: Бигаева Л.А., Салиева М.С.
Издательство: Бирск: Бирский филиал БашГУ
Год: 2015
Страниц: 136
ISBN: 978-5-86607-475-4
Язык: Русский
Формат: djvu
Размер: 13,03 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:

You do not have permission to view link please Вход or Регистрация

You do not have permission to view link please Вход or Регистрация

 

[gnat26]

Математические методы в теории игр, программировании и экономике

Основное внимание автор уделяет теории антагонистических игр, изложение которой является достаточно полным. Эта книга посвящена математическому анализу ситуаций, возникающих при управлении самыми разнообразными формами деятельности человека с целью достижения максимального эффекта. Книга состоит из трех частей: матричные игры, программирование и математическая экономика, бесконечные игры. Первая и третья части имеют много точек соприкосновения, в то время как вторая часть является более самостоятельной. Книга адресована широкому кругу читателей: студентам-математикам, изучающим теорию игр, линейное и нелинейное программирование и студентам-экономистам, имеющим определенную математическую подготовку.
Краткое содержание
Предисловие
Введение. Сущность математической теории процессов решения
Часть I. Теория матричных игр
Часть II. Линейное и нелинейное программирование и математическая экономика
Часть III. Теория бесконечных игр
Приложения
Приложение А. Векторные пространства и матрицы
Приложение Б. Выпуклые множества и выпуклые функции
Приложение В. Различные вопросы
Библиография
Предметный указатель
Именной указатель.
Название: Математические методы в теории игр, программировании и экономике. Mathematical Methods And Theory In Games, Programming, And Economics
Автор: Карлин Самюэль
Издательство: М.: Мир
Год: 1964
Страниц: 839
Язык: Русский
Формат: djvu
Размер: 25,47 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:

You do not have permission to view link please Вход or Регистрация

You do not have permission to view link please Вход or Регистрация

 

[gnat26]

Методы решения конфликтных задач

Теорию игр и конфликтов можно сделать удовлетворительной только в том случае, если в этой теории имеется понятие слабого конфликтного равновесия, существующего в любых конфликтных задачах, поскольку в этом случае открывается возможность вводить любые другие понятия более сильных конфликтных равновесий, не интересуюсь вопросами их существования. В книге излагаются теория и практические методы решения любых конфликтных задач, составляющие основу курса лекций автора, читаемого им на факультете Вычислительной математики и кибернетики МГУ им. М.В. Ломоносова. И эти методы позволяют в рамках единой теории находить единственное решение всевозможных игровых задач. Антагонистических, некооперативных, кооперативных и иных типов — в противоположность классической теории игр, в которой задачи разных типов традиционно изучались независимо друг от друга и зачастую для них не удавалось найти не только единственное, но и хотя бы какое-нибудь удовлетворительное решение. Учебное пособие для студентов и специалистов — математиков, физиков, экономистов и политиков.
Краткое содержание
Введение
Глава 1. Конфликтные равновесия в задачах с двумя участниками
Глава 2. Конфликтные задачи со многими участниками
Глава 3. Кооперативные игровые задачи
Глава 4. Антагонистические игры
Список литературы.
Название: Методы решения конфликтных задач: Учебное пособие
Автор: Смольяков Э.Р.
Издательство: М.: МГУ; МАКС Пресс
Год: 2010
Страниц: 242
ISBN: 978-5-89407-413-9, 978-5-317-03192-3
Язык: Русский
Формат: djvu
Размер: 26,09 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:

You do not have permission to view link please Вход or Регистрация

You do not have permission to view link please Вход or Регистрация

 

[gnat26]

Генетический алгоритм в Matlab

Это пособие содержит основные сведения, необходимые для освоения технологии применения генетического алгоритма для решения задач оптимизации, используя пакет Matlab. Излагаются технические детали назначения параметров алгоритма, позволяющих улучшить качество его работы. Приводятся примеры решения задач инженерного проектирования. Учебное пособие предназначено для студентов и аспирантов всех специальностей, изучающих информатику, методы оптимизации, исследования операций и принятия решений, а также для широкого круга специалистов, ведущих разработки перспективных интеллектуальных информационных технологий в науке, технике, экономике, и всем желающим самостоятельно ознакомиться с предметом изложения.
Краткое содержание
Введение
1. Начало работы с генетическим алгоритмом
2. Нахождение минимума функции Растригина
3. Терминология генетического алгоритма
4. Как работает генетический алгоритм
5. Использование генетического алгоритма с помощью графического интерфейса
6. Использование генетического алгоритма из командной строки
7. Улучшение результатов
8. Ограниченная минимизация при помощи GA
9. Решение смешанной целочисленной проблемы инженерного проектирования с использованием генетического алгоритма
10. Многоцелевая оптимизация
11. Параметры генетического алгоритма
12. Сводная характеристика функций генетического алгоритма.
Название: Генетический алгоритм в Matlab: учебное пособие
Автор: Маслов А.А.
Издательство: СПб.: Балтийский государственный технический университет
Год: 2014
Страниц: 140
ISBN: 978-5-85546-816-8
Язык: Русский
Формат: djvu
Размер: 11,08 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:

You do not have permission to view link please Вход or Регистрация

You do not have permission to view link please Вход or Регистрация

 

[gnat26]

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

Это учебное пособие посвящено изучению важных разделов математической логики и теории алгоритмов, и его основу составляют конспекты лекций, которые читались студентам. Математическая логика является важнейшим элементом математического образования. Пособие ставит своей целью помочь студентам лучше усвоить теоретический и практический материал по курсу «Математическая логика и теория алгоритмов». Это пособие содержит большое количество примеров, иллюстрирующих основные понятия указанных разделов математической логики и теории алгоритмов и утверждения, касающиеся этих понятий. Учебное пособие предназначено для студентов, изучающих дисциплины «Математическая логика и теория алгоритмов» и «Дискретная математика», обучающихся по специальностям «Информатика и вычислительная техника» и «Системы автоматизированного проектирования». Учебное пособие также может быть полезно для студентов других специальностей и преподавателей.
Краткое содержание
Введение
1. Алгебра (логика) высказываний
2. Логика предикатов
3. Теория алгоритмов
Рекомендуемая литература.
Название: Математическая логика и теория алгоритмов: учебное пособие
Автор: Агарева О.Ю., Селиванов Ю.В.
Издательство: М.: МАТИ
Год: 2011
Страниц: 80
ISBN: 978-5-93271-611-3
Язык: Русский
Формат: djvu
Размер: 14,07 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:

You do not have permission to view link please Вход or Регистрация

You do not have permission to view link please Вход or Регистрация

 

[gnat26]

Среднеквадратичная многоцелевая оптимизация

Широкое распространение в теоретических исследованиях и практических приложениях получила теория аналитического синтеза законов управления для динамических управляемых объектов. В учебном пособии рассматривается совокупность вопросов, относящихся к проблеме анализа и синтеза математических моделей оптимальных управляющих устройств для динамических объектов, функционирующих в условиях воздействия случайных возмущений и характеризующихся величиной среднеквадратичного функционала. Целью учебного пособия является формирование у обучающихся устойчивых навыков построения алгоритмического и программного обеспечения, предназначенного для реализации соответствующего математического аппарата с использованием современных информационных и компьютерных технологий. Издание рекомендовано для студентов программ бакалавриата по направлению «Прикладная математика и информатика» и магистратуры по направлению «Фундаментальные информатика и информационные технологии». Учебное пособие представляет значительный интерес для специалистов в области управления подвижными объектами.
Краткое содержание
Введение
Глава 1. Многоцелевой среднеквадратичный синтез и проблемы реализуемости
Глава 2. Среднеквадратичный синтез линейных стационарных систем
Глава 3. Синтез с неполной информацией
Глава 4. Структурные особенности. Задача со скалярным возмущением
Глава 5. Оценки минимума функционала для многоцелевого синтеза
Глава 6. Вопросы предельного качества оптимальных систем
Глава 7. Методы и алгоритмы нестационарного синтеза
Глава 8. Среднеквадратичный синтез с локальными ограничениями
Глава 9. Многоцелевое управление морскими подвижными объектами
Глава 10. Синтез систем управления курсом с учетом морского волнения
Заключение
Литература.
Название: Среднеквадратичная многоцелевая оптимизация: учебное пособие
Автор: Веремей Е.И.
Издательство: СПб.: Издательство Санкт-Петербургского университета
Год: 2016
Страниц: 408
ISBN: 978-5-288-05662-8
Серия: Математическое моделирование
Язык: Русский
Формат: djvu
Размер: 21,46 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:

You do not have permission to view link please Вход or Регистрация

You do not have permission to view link please Вход or Регистрация

 

[gnat26]

Теория антагонизмов и дифференциальные игры

В основе классической теории антагонистических игр лежит геометрическое понятие седловой точки, определяющей в интуитивном представлении весьма удовлетворительное состояние равновесия. Поскольку эта точка, являясь минимумом целевой функции участников по одной переменной и максимумом — по другой, позволяет каждому гарантировать себе значение целевой функции не хуже получаемого в этой точке при любом поведении противника. В книге излагается новый подход к исследованию антагонизмов, позволивший получить новые понятия игровых равновесий и описать в рамках единой теории как уже известные в теории игр равновесия, так и предложенные новые. Применение теоретических результатов как для задач принятия или отказа от предложения, так и для собственно игровых задач демонстрируется на большом числе примеров. Для специалистов в области теории игр, оптимизации и принятия решений.
Краткое содержание
Введение
Глава 1. Равновесия в антагонистических играх
Глава 2. Седловые точки в дифференциальных играх со свободным правым концом: игры на независимых множествах
Глава 3. Дифференциальные игры с закрепленными концами: игры на зависимых множествах
Глава 4. Седловые точки в дифференциальных играх с подвижными концами: игры с многозначными платежными функциями
Глава 5. Дифференциальные игры с дискриминацией участников в смешанных стратегиях
Глава 6. Многокритериальные дифференциальные игры
Список литературы.
Название: Теория антагонизмов и дифференциальные игры
Автор: Смольяков Э.Р.
Издательство: Едиториал УРСС
Год: 2000
Страниц: 158
ISBN: 5-8360-0067-0
Язык: Русский
Формат: djvu
Размер: 11,9 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:

You do not have permission to view link please Вход or Регистрация

You do not have permission to view link please Вход or Регистрация

 

[gnat26]

Анализ биомедицинских сигналов в среде MATLAB

Используемые в современных приборах клинического мониторинга методы исследования физиологических процессов должны обеспечивать непрерывность регистрации биологических сигналов при высокой диагностической ценности получаемых показателей. Для цифровой обработки сигналов может быть использована система математического программирования MATLAB & SIMULINK, разработанную компанией MathWorks. В этом учебном пособии приведены теоретические основы принципов анализа вариабельности сердечного ритма и рекомендации для исследования ее статистических, спектральных, корреляционных и нелинейных характеристик. Учебное пособие ориентировано на преподавателей и студентов-магистрантов всех специальностей по информационным технологиям, владеющих основами математического анализа и базовым уровнем использования среды MATLAB.
Краткое содержание
Список сокращений
Введение
1. Анализ биомедицинских сигналов
2. Программа проведения исследований и импортирование результатов в MATLAB
3. Общие требования к структуре, содержанию и оформлению отчета практического задания
Контрольные вопросы
Приложения
Библиографический список.
Название: Анализ биомедицинских сигналов в среде MATLAB: учебное пособие
Автор: Кубланов В.С., Борисов В.И., Долганов А.Ю.
Издательство: Екатеринбург: Издательство Уральского университета
Год: 2016
Страниц: 120
ISBN: 978-5-7996-1813-1
Язык: Русский
Формат: djvu
Размер: 21,57 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:

You do not have permission to view link please Вход or Регистрация

You do not have permission to view link please Вход or Регистрация

 

[gnat26]

Лекции по математической логике и теории алгоритмов

Изложение логики дано в виде формальной аксиоматической теории, то есть для изложения будет использован искусственный ограниченный язык. Это облегчит программную реализацию логики и даст возможность показать пример аксиоматической системы в полном объеме, хотя бы для такой простой теории, как исчисление высказываний. Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Математическая логика и опирающийся на нее аксиоматический метод оказали большое влияние на развитие всех разделов математики, в частности, и потому, что классическое исчисление предикатов является той логической системой, на базе которой можно, в принципе, формализовать всю математику. Учебное пособие предназначено для студентов, обучающихся по направлению «Фундаментальная информатика и информационные технологии», дисциплина «Математическая логика и теория алгоритмов».
Краткое содержание
Введение
1. Элементы математической логики
2. Элементы теории алгоритмов
Литература.
Название: Лекции по математической логике и теории алгоритмов: учебное пособие
Автор: Белов Ю.А., Соколов В.А.
Издательство: Ярославль: ЯрГУ
Год: 2013
Страниц: 140
ISBN: 978-5-8397-0908-9
Язык: Русский
Формат: djvu
Размер: 10,74 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:

You do not have permission to view link please Вход or Регистрация

You do not have permission to view link please Вход or Регистрация

 

[phidel]

Скороход А.В. Интегрирование в гильбертовом пространстве

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

You do not have permission to view link please Вход or Регистрация

 

[phidel]

Щетников, Щетникова
Роль контрпримеров в развитии основных понятий математического анализа

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

You do not have permission to view link please Вход or Регистрация

 

[phidel]

Сосинский А. Геометрии

Перевод с англ. Б. Р. Френкина.
МЦНМО, 2017. Эта книга, основанная на лекциях, читавшихся автором на первом курсе Независимого московского университета, представляет собой введение в евклидову, сферическую, проективную и гиперболическую (Лобачевского) геометрию, написанное в синтетическом, бескоординатном стиле; по ходу дела читатель знакомится также с началами теории групп и узнает, в связи с чем эта теория возникла. Книга снабжена большим количеством упражнений, помогающих освоить материал. Для студентов младших курсов, школьников старших классов и всех интересующихся математикой.

You do not have permission to view link please Вход or Регистрация

 

[phidel]

Турчин В, Турчин Е. Марковские цепи

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

You do not have permission to view link please Вход or Регистрация

 

[gnat26]

Равновесные модели при несовпадающих интересах участников

Это введение в теорию принятия решений при несовпадающих интересах участников. Предлагаемые равновесия позволяют получить ответ на вопрос: если нескольким участникам с несовпадающими интересами делается некоторое предложение, то в каком случае каждому следует согласиться с ним? Ответить на этот вопрос — значит на множестве всех возможных предложений указать такие, на изменение любого из которых не решится пойти ни один из участников ввиду возможной и исполнимой угрозы остальных не позволить ему улучшить свое состояние. В книге приводятся оригинальные результаты исследований по теории кооперативных и некооперативных равновесий, которые могут быть использованы для анализа экономических рынков, некоторых классов игровых задач и различного рода конфликтных ситуаций в любых сферах человеческой деятельности при несовпадении интересов участвующих сторон. Примеры из экономики и механики демонстрируют применение теории. В книге принята система обозначений, согласно которой нумерация определений, теорем, формул и т.п. в пределах главы учитывает только номер раздела и порядковый номер в нем, а при ссылках на другую главу впереди еще добавляется номер этой главы. Книга предназначена для специалистов в области экономики и исследования операций.
Краткое содержание
Введение
Глава первая. Некооперативные равновесия в задачах выбора
Глава вторая. Активные равновесия в динамических моделях выбора
Глава третья. Классическое бескоалиционное равновесие в системах с программным управлением
Глава четвертая. Антагонистические модели
Глава пятая. Кооперативные равновесия
Заключительные замечания
Литература.
Название: Равновесные модели при несовпадающих интересах участников
Автор: Смольяков Э.Р.
Издательство: М.: Наука
Год: 1986
Страниц: 224
Язык: Русский
Формат: djvu
Размер: 13,51 Мб
Качество: среднее, текстовый слой, оглавление.
Скачать:

You do not have permission to view link please Вход or Регистрация

You do not have permission to view link please Вход or Регистрация

 

[gnat26]

Введение в методы оптимизации. Основы и приложения нелинейного программирования

В этой книге показано применение математического программирования к большому числу задач, взятых из практики самых различных областей техники и организации. В книге приводятся необходимые математические сведения. Настоящая книга, возникшая из курса лекций, читавшегося в Калифорнийском университете в Лос-Анжелесе, написана в первую очередь для студентов, специализирующихся в области техники, исследования операций, организации производства и т.п.
Краткое содержание
От редактора перевода
Предисловие
Обозначения
Глава 1. Предварительные сведения из математика
Глава 2. Целевая функция
Глава 3. Задачи размещения
Глава 4. Минимизация функций без ограничений
Глава 5. Минимизация функций с ограничениями
Глава 6. Двойственность в задачах оптимизации
Глава 7. Сравнение методов оптимизации
Глава 8. Оптимизация в некоторых технических задачах
Приложения
Перечень и блок-схемы алгоритмов
Библиографические указания
Литература
Предметный указатель.
Название: Введение в методы оптимизации. Основы и приложения нелинейного программирования. Introduction To Optimization Techniques. Fundamentals And Applications Of Nonlinear Programming
Автор: Аоки М.
Издательство: М.: Наука
Год: 1977
Страниц: 344
Язык: Русский
Формат: djvu
Размер: 10,93 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:

You do not have permission to view link please Вход or Регистрация

You do not have permission to view link please Вход or Регистрация

 

[gnat26]

Адаптация и обучение в автоматических системах

Рассмотрены алгоритмические методы решения задач обучения опознаванию образов, определения характеристик динамических объектов, обнаружения и выделения сигналов на фоне помех, управления динамическими объектами в условиях неопределенности. Проблемы адаптации и обучения, которые рассматриваются в книге, являются центральными в современной теории и технике автоматического управления. В книге с единой общей точки зрении, основанной на вероятностных итеративных методах, обсуждаются разнообразные задачи адаптации и обучения и приводятся эффективные пути их решения. Развитый подход применен также к решению задач теории надежности, исследованию операций, теории игр и поведения конечных автоматов. Результаты общей теории иллюстрируются на многочисленных примерах. Приводятся формулировки нерешенных задач. Указатель основных обозначений облегчит читателю знакомство с любой из интересующих его глав по применению адаптивного подхода независимо от чтения остальных глав.
Краткое содержание
Предисловие
Введение
Глава I. Проблема оптимальности
Глава II. Алгоритмические методы оптимизации
Глава III. Адаптация и обучение
Глава IV. Опознавание
Глава V. Идентификация
Глава VI. Фильтрация
Глава VII Управление
Глава VIII. Надежность
Глава IX. Исследование операции
Глава X. Игры и автоматы
Послесловие
Комментарии
Литература
Указатель основных обозначений
Именной указатель
Предметный указатель.
Название: Адаптация и обучение в автоматических системах
Автор: Цыпкин Я.З.
Издательство: М.: Наука
Год: 1968
Страниц: 400
Язык: Русский
Формат: djvu
Размер: 24,46 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:

You do not have permission to view link please Вход or Регистрация

You do not have permission to view link please Вход or Регистрация

 

[gnat26]

Метаэвристики

Метаэвристики как новое направление в теории и практике искусственного интеллекта быстро развивается в настоящее время. Эвристика является алгоритмом, который находит «достаточно хорошие» решения сложной проблемы за приемлемое время, теоретически не обосновывая их правильность или оптимальность, т.е. эмпирическим путем. В книге рассматриваются: метаэвристики на основе моделирования поведения искусственных систем (поиск с запретами, поиск с разбросом и др.) и естественных систем (имитация отжига и др.), эволюционные метаэвристики (генетический алгоритм и др.), роевые метаэвристики (оптимизация роя частиц; муравьиные алгоритмы и др.), иммунные метаэвристики (алгоритм клонального отбора, алгоритм отрицательного отбора, искусственная иммунная сеть и др.), используемые для решения проблем оптимизации, машинного обучения и распознавания образов. Приведены листинги программной реализации наиболее популярных метаэвристик. Книга рассчитана на студентов и аспирантов, которые обучаются по направлениям «Компьютерная инженерия», «Компьютерные науки», «Программная инженерия», а также на широкий круг специалистов, которые занимаются интеллектуальными системами обработки информации.
Краткое содержание
Предисловие
Список условных обозначений
Часть 1. Натуральные непопуляционные метаэвристики и ненатуральные метаэвристики
1. Ненатуральные метаэвристики
2. натуральные непопуляционные метаэвристики
Часть 2. Детерминированные эволюционные метаэвристики
3. Генетический и меметический алгоритмы
4. Эволюционные стратегии и программирование, дифференциальная эволюция и культуральный алгоритм
5. Генетическое программирование и машинное обучение
Часть 3. Вероятностные эволюционные метаэвристики
6. Вероятностные одномерные дискретные эволюционные метаэвристики
7. Вероятностные двумерные дискретные эволюционные метаэвристики
8. Вероятностные многомерные дискретные эволюционные метаэвристики
9. Вероятностные непрерывные эволюционные метаэвристики
Часть 4. Роевые метаэвристики
10. Роевые биологические метаэвристики
11. Роевые физические метаэвристики
Часть 5. Иммунные метаэвристики
12. Базовые иммунные метаэвристики
13. Расширение иммунных метаэвристик
Приложения.
Название: Метаэвристики: монография
Автор: Скобцов Ю.А., Федоров Е.Е.
Издательство: Донецк: Ноулидж
Год: 2013
Страниц: 426
ISBN: 978-617-579-613-9
Язык: Русский
Формат: djvu
Размер: 23,9 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:

You do not have permission to view link please Вход or Регистрация

You do not have permission to view link please Вход or Регистрация

 

[gnat26]

Общая теория игр нескольких лиц

Изучением оптимальных решений в конфликтных ситуациях занимается один из разделов прикладной математики. Для этого строится упрощенная формализованную модель конфликта, которую принято называть игрой. В книге подробно излагается общая теория игр нескольких лиц. Автор в общей форме дает строгое и достаточно полное изложение современного состояния этих разделов теории. Главы I, II и III посвящены играм нескольких лиц в развернутой форме. Особенностью излагаемой теории является введение отношений предпочтения для игроков на всем множестве проходимых позиций игры, что часто позволяет получить для бесконечных игр результаты, аналогичные результатам для игр ограниченной длительности с конечным числом альтернатив. В главе IV изучаются топологические игры в нормальной форме. Основное внимание уделено обобщениям важнейшей теоремы теории игр - теоремы фон Неймана о минимаксе. В главе V излагается теория коалиций в играх нескольких лиц.
Краткое содержание
Предисловие редактора перевода
Введение
Глава I. Игры с полной информацией
Глава II. Топологические игры
Глава III. Игры с неполной информацией
Глава IV. Нормальные выпуклые игры
Глава V. Коалиции
Литература
Предметный указатель.
Название: Общая теория игр нескольких лиц. Theorie generale des jeux a n personnes
Автор: Берж К.
Издательство: М.: ФизМатлит
Год: 1961
Страниц: 127
Язык: Русский
Формат: djvu
Размер: 12,20 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:

You do not have permission to view link please Вход or Регистрация

You do not have permission to view link please Вход or Регистрация