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

[gnat26]

Вокруг теоремы Геделя

В книге изложены важнейшие результаты математической логики XX в., знание которых необходимо для понимания предлагаемой методологической концепции. Показано, что сущность математического метода состоит в исследовании застывших моделей. Обоснована несостоятельность утверждений об ограниченности аксиоматического метода. Предлагается следующая методологическая оценка теоремы Геделя о неполноте: Всякая формальная теория с методологической точки зрения является моделью некоторой застывшей системы мышления. Именно в строгом доказательстве принципиального несовершенства всякой застывшей системы мышления состоит подлинный диалектический смысл достижений Геделя.
Название: Вокруг теоремы Геделя. Around Goedel's Theorem
Автор: Подниекс К.М.
Издательство: Рига: Зинатне
Год: 1992
Страниц: 178
ISBN: 5-7966-0928-9
Язык: Русский
Формат: djvu
Размер: 17,00 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Сложность вычислений

Теория сложности вычислений — быстро развивающаяся область математики, черпающая постановки задач и находящая многообразные применения в информатике и вычислительной технике, богатая интересными и глубокими результатами. Книга содержит систематическое изложение важнейших аспектов теории сложности вычислений, на высоком научном уровне рассмотрены основные модели вычислений: схемы, формулы, последовательностные машины (автоматы), машины Тьюринга и др. Книга содержит большое количество задач и упражнений различного уровня сложности, и предназначена для специалистов в области дискретной математики, информатики и вычислительной техники, аспирантов и студентов соответствующих специальностей.
Название: Сложность вычислений: монография. The Complexity of Computing
Автор: Сэвидж Джон Э.
Издательство: М.: Факториал
Год: 1998
Страниц: 368
ISBN: 5-88688-039-9
Язык: Русский
Формат: djvu
Размер: 21,2 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Вычислимо перечислимые множества и степени

Проблему разрешимости, в ее предельном варианте, исследовал Алан Тьюринг. Эта проблема формулировалась как проблема о существовании универсальной механической процедуры, позволившей бы решить все математические задачи. В книге систематически излагается современное состояние теории вычислимости, приводятся открытые проблемы и описываются перспективные направления исследований. Эта книга является введением в теорию вычислимых функций и вычислимо перечислимых множеств. Некоторые параграфы в частях А, В и С могут использоваться для семестрового или годового курса лекций. Материал книги дополнен большим количеством упражнений. Хотя большая часть книги и не предполагает знакомства с логикой, читателю будет полезно её знание. Книга рассчитана на читателей, интересующихся современными проблемами математической логики и теории вычислимости.
Название: Вычислимо перечислимые множества и степени. Изучение вычислимых функций и вычислимо перечислимых множеств. Recursively Enumerable Sets and Degrees. A Study of Computable Functions and Computable Generated Sets
Автор: Соар Р.И.
Издательство: Казань: Казанское математическое общество
Год: 2000
Страниц: 576
ISBN: 5-900975-22-3
Язык: Русский
Формат: djvu
Размер: 24,3 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Бесконечные антагонистические игры. Сборник статей

В теории игр, в отличие от спортивных игр, если один игрок выигрывает, то другой не обязательно оказывается проигравшим. Конфликт интересов может быть частичным, и оба игрока могут выигрывать и проигрывать одновременно. Теория игр фокусируется на равновесных стратегиях игроков. Большинство содержащихся в сборнике работ посвящено бесконечным антагонистическим играм, т.е. таким играм с двумя участниками, в которых игроки имеют прямо противоположные интересы, а множества их стратегий бесконечны. Те игры, в которых стратегии выбираются игроками в результате последовательного принятия ими частичных решений в процессе игры, называются динамическими (иногда позиционными). Книга доступна студентам и аспирантам технических и экономических высших учебных заведений.
Название: Бесконечные антагонистические игры. Сборник переводов под ред. Н.Н. Воробьева
Автор: Воробьёв Н.Н. (редактор)
Издательство: М.: Физматгиз
Год: 1963
Страниц: 504
Серия: Теория игр
Язык: Русский
Формат: djvu
Размер: 22,1 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Основы теории обработки биомедицинских сигналов

Курс посвящен изучению различных методов обработки биомедицинских сигналов, а также реализации этих методов с использованием современных систем разработки программного обеспечения. Рассматриваются методы дискретного представления данных, основы цифровой фильтрации, методы цифрового спектрального анализа. В учебном пособии обсуждаются критерии нестационарности и функции распределения случайных сигналов, временные ряды и гистограммные методы, а также метод наименьших квадратов, коэффициент корреляции Пирсона. Учебное пособие предназначено для студентов и аспирантов специальностей прикладной математики и физики, а также медико-биологических специальностей, изучающих нестационарные сигналы и их применения в физике, биологии и медицине.
Название: Основы теории обработки биомедицинских сигналов: учебное пособие
Автор: Божокин С.В., Суслова И.Б.
Издательство: СПб.: Изд-во Политехнического университета
Год: 2016
Страниц: 152
ISBN: 978-7422-5474-4
Язык: Русский
Формат: djvu
Размер: 12,0 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Компьютерная алгебра. Часть I. Дискретная математика, теория алгоритмов

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

 

[gnat26]

Симплексный поиск

Процесс поиска при решении стохастической задачи протекает в два этапа. На первом этапе симплекс перемещается от исходной точки до окрестности экстремума, на втором — движение симплекса представляет собой случайное блуждание в районе цели. Эти этапы называют соответственно восхождением (или спуском при поиске минимума) и доводкой (локализацией экстремума). В книге построены оптимальные алгоритмы поиска, алгоритмы с переменной стратегией, активно-пассивного поиска и разработана методика их практического применении в задачах оптимизации реальных объектов. Книга предназначена для инженерно-технических работников промышленных предприятий и научных учреждений, занимающихся оптимизацией технологических процессов, конструкций, проектов и т.д. Книга может быть полезна студентам и аспирантам вузов.
Краткое содержание
Предисловие
Глава первая. Вводная часть
Глава вторая. Локальные статистические характеристики симплексного поиска
Глава третья. Статистические характеристики блуждания симплекса в районе цели
Глава четвертая. Алгоритмы поиска оптимальные и с переменной стратегией
Глава пятая. Оптимизация стационарных объектов в обстановке помех
Глава шестая. Оптимизация нестационарных объектов в обстановке помех
Приложение
Список литературы.
Название: Симплексный поиск
Автор: Дамбраускас А.П.
Издательство: М.: Энергия
Год: 1979
Страниц: 176
Язык: Русский
Формат: djvu
Размер: 12,6 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Выпуклые и негладкие задачи векторной оптимизации

Книга рассчитана на научных работников и инженеров, специализирующихся в области теории оптимизации и систем управления, а также студентов и аспирантов соответствующих специальностей. В книге дано систематическое изложение математической теории векторной оптимизации. Последовательно рассматриваются абстрактные экстремальные задачи в предупорядоченных векторных пространствах, векторные задачи нелинейного программирования, задачи оптимального управления с векторным показателем качества терминального типа. Значительное место уделяется развитию одного из направлений негладкого анализа — теории аппроксимативного квазидифференцирования функций и отображений.
Название: Выпуклые и негладкие задачи векторной оптимизации
Автор: Гороховик В.В.
Издательство: Минск: Навука i тэхнiка
Год: 1990
Страниц: 240
ISBN: 5-343-00519-5
Язык: Русский
Формат: djvu
Размер: 16,6 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Задачи управления с гарантированным результатом

Для оптимального управления экономическими процессами применяются методы экономической кибернетики, теории игр, теории графов. В книге излагаются основные понятия теории оптимального управления на минимум гарантированного результата, обсуждаются способы решения задач управления с использованием ЭВМ. На конкретной задаче управления с наилучшим гарантированным результатом разъяснен метод стохастического программного синтеза. Основное внимание уделено постановкам задач, формулировке результатов и реализации предлагаемых алгоритмов на ЭВМ. Работа предназначена слушателям общественного университета математики и вычислительной техники, а также аспирантам и студентам, специализирующимся по теории оптимального управления.
Название: Задачи управления с гарантированным результатом
Автор: Красовский Н.Н., Третьяков В.Е.
Издательство: Свердловск: Средне-Уральское книжное издательство
Год: 1986
Страниц: 64
Язык: Русский
Формат: djvu
Размер: 15,7 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Логика прикладного статистического анализа

Исходным условием и основной гарантией достоверности и сопоставимости первичной информации является правильное описание изучаемой совокупности, что в свою очередь предполагает определение образующих ее единиц, продолжительности периода времени, достаточного для выявления изучаемых процессов, и, наконец, местоположения единиц совокупности. В ряде случаев время получения данных также может влиять на их достоверность. Одной из характерных черт современного состояния социально-экономических исследований является широкое применение в них методов математической статистики. В книге показаны логические принципы статистического описания сложных объектов и процессов. Эта книга для статистиков, экономистов, социологов и демографов.
Краткое содержание
Предисловие
Глава 1. Общие вопросы статистического анализа в прикладных социально-экономических исследованиях
Глава 2. Описание объектов методами многомерного статистического анализа
Глава 3. Структурные и причинные модели
Глава 4. Методы анализа таблиц сопряженности
Литература.
Название: Логика прикладного статистического анализа
Автор: Елисеева И.И., Рукавишников В.О.
Издательство: М.: Финансы и статистика
Год: 1982
Страниц: 192
Серия: Математическая статистика для экономистов
Язык: Русский
Формат: djvu
Размер: 15,4 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Декомпозиция и агрегирование в задачах математического программирования

В зависимости от сложности и степени изученности для каждого класса задач математического программирования: линейное, квадратичное, выпуклое, целочисленное и т. д. разработаны различные по эффективности и трудоемкости методы их решения. В книге излагаются основные подходы к построению процедур декомпозиции и агрегирования, предназначенных для решения большеразмерных задач математического программирования. При определенных условиях использование этих процедур позволяет получать решение исходной задачи в результате решения некоторой совокупности взаимосвязанных вспомогательных подзадач, каждая из которых в том или ином смысле проще исходной. Книга рассчитана на инженеров и аспирантов, специализирующихся в области разработки и применения методов оптимизации, а также студентов старших курсов вузов соответствующих специальностей.
Содержание
Введение
1. Методы безусловной минимизации
2. Методы решения экстремальных задач с ограничениями
3. Элементы линейного программирования
4. Релаксация ограничений
5. Расчленение ограничений
6. Параметрическая декомпозиция
7. Генерация столбцов
8. Специальные случаи
9. Обобщенный подход
10. Генерация и релаксация ограничений
11. Некоторые обобщения
12. Двойственность и декомпозиция
13. Агрегирование переменных из разных блоков
14. Поблочное агрегирование переменных
15. Метод возмущений, декомпозиция и агрегирование
Литература
Библиографическая справка.
Название: Декомпозиция и агрегирование в задачах математического программирования
Автор: Танаев В.С.
Издательство: Минск: Наука и техника
Год: 1987
Страниц: 184
Язык: Русский
Формат: djvu
Размер: 23,3 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Математические и инструментальные методы поддержки принятия решений в муниципальном управлении

Моделирование процесса принятия решения в условиях неопределенности относительно будущего и настоящего сложных систем обусловливает использование в качестве объекта исследования как сам экономический объект (муниципальное образование), так и лицо, принимающее решение о его развитии (руководитель, эксперт, аналитик). В пособии предлагается комплекс математических моделей и компьютерных программ системы поддержки принятия решений о стратегии социально-экономического развития города. Приводятся математические модели для наименее обеспеченных стратегическим инструментарием этапов стратегического анализа и контроля выполнения стратегии развития. Учебное пособие предназначено для магистрантов направления «Информатика и вычислительная техника». Результаты будут полезны также широкому кругу научных работников, аспирантов и студентов вузов экономических и управленческих специальностей.
Нет трех страниц 196-198 – раздел «Список используемых сокращений».
Краткое содержание
Введение
Глава 1. Процесс принятия решений о стратегии социально-экономического развития муниципального образования (города) как объект исследования
Глава 2. Нечеткие модели оценки социально-экономического развития города
Глава 3. Разработка нечетких моделей стратегического анализа муниципального образования
Глава 4. Система поддержки принятия решений о стратегии социально-экономического развития города
Глава 5. Управление долгом как функция стратегического управления муниципальным образованием (городом)
Глава 6. Модель оценки и выбора привлекаемых долговых обязательств
Глава 7. Модель аналитического планирования долга муниципалитета
Глава 8. Разработка программного комплекса поддержки принятия решений о стратегии управления долгом города
Глава 9. Формирование экспертной оценки комиссии при принятии стратегических решений
Список используемых источников
Приложения.
Название: Математические и инструментальные методы поддержки принятия решений в муниципальном управлении
Автор: Захарова А.А., Чернышева Т.Ю., Мицель А.А.
Издательство: Томск: ТУСУР
Год: 2017
Страниц: 210
Язык: Русский
Формат: djvu
Размер: 23,6 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Математические методы распознавания образов

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

 

[gnat26]

Эксперименты в теории чисел

Общая идея поиска математических результатов путем проведения вычислительных экспериментов имеет продолжительную историю. Плодотворность такого поиска определяется, конечно, применяемыми инструментами, но даже в тех случаях, когда использовались только карандаш и бумага, математики часто приходили к правильным результатам. Читатель в этой книге найдет много недоказанных утверждений, об истинности которых можно только предполагать. Но в этом и заключается цель книги - показать, как с помощью системы компьютерной алгебры Mathematica можно приходить к открытиям. Автор стремился к «замкнутому» изложению материала. Книга рассчитана на математиков, использующих системы компьютерной алгебры как инструмент в своих исследованиях. Также книга будет полезна студентам и аспирантам математических направлений университетов, изучающих курс компьютерной алгебры.
Краткое содержание
Предисловие
Введение
Глава 1. Основы языка Wolfram
Глава 2. Вхождение в тему
Глава 3. Сравнения. Кольца классов вычетов
Глава 4. Мультипликативные функции
Глава 5. Числа Фибоначчи
Глава 6. Примитивные корни
Глава 7. Производящие функции
Глава 8. Вокруг теоремы Эйлера о суммах делителей
Глава 9. Распознавание простых и составных чисел
Глава 10. Сильно составные числа
Список литературы
Предметный и персональный указатели.
Название: Эксперименты в теории чисел
Автор: Зюзьков В.М.
Издательство: Томск: Изд-во НТЛ
Год: 2019
Страниц: 348
ISBN: 978-5-89503-626-6
Язык: Русский
Формат: djvu
Размер: 11,2 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Краткий курс теории экстремальных задач

Потребность решать экстремальные задачи была среди причин, стимулировавших рождение и развитие классического анализа, т. е. дифференциального и интегрального исчисления функций конечного числа переменных. В этом пособии рассмотрены наиболее фундаментальные результаты математического программирования, классического вариационного исчисления и оптимального управления, из которых складывается основной курс методов оптимизации. Приведены решения ряда экстремальных задач, возникающих в теории космонавтики, доказаны некоторые классические неравенства методами теории экстремальных задач. В книгу включено более 400 задач, что позволяет использовать пособие на практических занятиях и в практикумах. Пособие предназначено для студентов и аспирантов вузов, обучающихся по специальности "Прикладная математика».
Краткое содержание
Предисловие
Введение
Часть I. Основные элементы теории экстремальных задач
Часть II. Дополнительные вопросы теории экстремальных задач
Задачи
Краткая хронологическая таблица
Литература
Краткий путеводитель по литературе
Список обозначений
Предметный указатель.
Название: Краткий курс теории экстремальных задач
Автор: Галеев Э.М., Тихомиров В.М.
Издательство: М.: Изд-во Моск. ун-та
Год: 1989
Страниц: 204
ISBN: 5-211-00313-6
Язык: Русский
Формат: djvu
Размер: 21,0 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся