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

[gnat26]

Интуиционистская логика

Интуиционистская логика занимает уникальное место в классе неклассических логик, не только как старейшая из них, но и как концептуально целостная система. В книге систематически излагаются основные сведения, относящиеся к интуиционистской логике: мотивировка построения интуиционистской логики в виде исчисления Гейтинга, псевдобулевы алгебры и модели Крипке как аппарат исследования интуиционистских логических и логико-математических систем. Для чтения книги не требуется никаких предварительных знаний: все необходимые сведения из математической логики излагаются в книге. Книга предназначена для студентов и аспирантов, а также специалистов по математической логике, информатике и кибернетике.
Краткое содержание
Предисловие
Глава 1. Теория множеств и кризис оснований математики
Глава 2. Интуиционизм
Глава 3. Элементы классической логики
Глава 4. Интуиционистское исчисление высказываний (ИИВ)
Глава 5. Псевдобулевы алгебры
Глава 6. Исследование ИИВ с помощью псевдобулевых алгебр
Глава 7. Модели Крипке для логики высказываний
Глава 8. Интуиционистское исчисление предикатов (ИИП)
Глава 9. Модели Крипке для логики предикатов
Литература
Предметный указатель.
Название: Интуиционистская логика
Автор: Плиско В.Е., Хаханян В.X.
Издательство: М.: МГУ, механико-математический факультет
Год: 2009
Страниц: 160
Язык: Русский
Формат: djvu
Размер: 12,1 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Лекции по математической теории экстремальных задач

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

 

[gnat26]

Геометрическое программирование

Геометрическое программирование более чем другие методы нелинейного программирования приспособлено для использования ЭВМ. В процессе решения появляется возможность анализировать поведение целевой функции при изменении различных параметров, входящих в задачу. Геометрическое программирование — это метод минимизации нелинейных функций многих переменных при нелинейных ограничениях на переменные. К такого рода задачам сводятся многие экстремальные задачи, возникающие в физике, химии, технике, экономике и многих других областях. Математически строгое изложение сочетается в ней с большим количеством приложений описанных методов к решению конкретных задач. Книга будет полезна математикам, инженерам, экономистам и всем тем, кто работает в области теории и применения методов оптимизации.
Краткое содержание
Предисловие
Глава I. Введение в геометрическое программирование
Глава II. Линейное и выпуклое программирование
Глава III. Основные понятия и методы геометрического программирования
Глава IV. Теория двойственности геометрического программирования, использующая множители Лагранжа
Глава V. Применение геометрического программирования к инженерному проектированию
Глава VI. Усиленная теория двойственности
Глава VII. Обобщенное геометрическое программирование
Приложения
Литература
Предметный указатель.
Название: Геометрическое программирование. Geometric Programmingtheory And Application
Автор: Даффин Р., Питерсон Э., Зенер К.
Издательство: М.: Мир
Год: 1972
Страниц: 313
Язык: Русский
Формат: djvu
Размер: 22,9 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Машинный подход к решению математических задач

Авторы ставили целью познакомить читателя со множеством проблем из различных областей математики, пригодных для решения на ЭВМ, и показать, как именно решаются эти проблемы. Основная цель книги — показать связь между математикой к вычислительной наукой, ознакомить читателя с машинно-ориентированным подходом к решению математических задач. На многочисленных примерах (из теории графов, комбинаторики, теории случайных процессов, теории чисел) авторы стремятся продемонстрировать решение задач при помощи ЭВМ: математическую постановку, построение алгоритма, интерпретацию полученных результатов. Отдельные главы книги написаны почти независимо, что облегчает чтение и восприятие материала. Книга будет полезна и интересна широкому кругу потенциальных пользователей ЭВМ; она доступна студентам младших курсов и школьникам старших классов.
Краткое содержание
Предисловие редактора перевода
Предисловие
1. Что такое арифметические выражения?
2. Прикладная комбинаторика
3. Игры и принятие решений
4. Случайные процессы на детерминированных ЭВМ
5. Численный анализ
6. Что могут и чего не могут машины
Предметный указатель.
Название: Машинный подход к решению математических задач. Computer Approaches to Mathematical Problems
Автор: Нивергельт Ю., Фаррар Дж., Рейнголд Э.
Издательство: М.: Мир
Год: 1977
Страниц: 352
Серия: Современная математика. Вводные курсы
Язык: Русский
Формат: djvu
Размер: 24,9 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Линейное и выпуклое программирование

Задача выпуклого программирования сводится к решению системы уравнений и неравенств. На основе теоремы Куна-Такера разработаны различные итерационные методы минимизации, сводящиеся к поиску седловой точки функции Лагранжа. Вычислительным аппаратом в этой книге служит аппарат жордановых исключений. В книге в доступной форме излагаются основные методы и задачи линейного и выпуклого программирования. Кроме симплекс-метода, приведено еще несколько методов решения задачи линейного программирования; значительно дополнено изложение двойственности, что позволило рассмотреть этот вопрос и в выпуклом программировании; приведены новые численные методы решения задач выпуклого программирования. Книга рассчитана на математиков, инженеров и экономистов, встречающихся с задачами построения оптимальных планов, а также на студентов, специализирующихся в области применения математических методов в экономике.
Краткое содержание
Введение
Глава I. Жордановы исключения
Глава II. Основная задача линейного программирования и ее решение симплекс-методом
Глава III. Некоторые приложения линейного программирования
Глава IV. Транспортная задача
Глава V. Линейное программирование и чебышевские приближения
Глава VI. Выпуклое программирование
Дополнения. Некоторые варианты симплекс-метода
Цитированная литература
Предметный указатель.
Название: Линейное и выпуклое программирование. 2-е изд., перераб. и доп.
Автор: Зуховицкий С.И., Авдеева Л.И.
Издательство: М.: Наука
Год: 1967
Страниц: 460
Серия: Экономико-математическая библиотека
Язык: Русский
Формат: djvu
Размер: 13,6 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Введение в цифровую обработку сигналов и изображений: критерии качества изображений и погрешности их дискретного представления

Всегда приходится задаваться вопросом об качестве изображений при их обработке и анализе. Качество изображения оценивается разными способами и в связи с различными задачами. В учебном пособии представлены наиболее часто используемые показатели качества изображений, рассматриваются вопросы оценки погрешности дискретного представления изображений. Алгоритмы обработки изображений, в основном, ориентированы на ликвидацию недоработок в технических средствах и технологиях, работающих с изображениями. Учебное пособие предназначено для подготовки студентов по направлениям (специальностям) «Прикладная математика и информатика», «Прикладные математика и физика», «Биотехнические и медицинские аппараты и системы».
Краткое содержание
1. Критерии качества изображений
2. Погрешности дискретного представления изображений
Список литературы.
Название: Введение в цифровую обработку сигналов и изображений: критерии качества изображений и погрешности их дискретного представления: учебное пособие
Автор: Сойфер В.А., Сергеев В.В., Попов С.Б., Мясников В.В., Чернов А.В.
Издательство: Самара: Самарский Государственный аэрокосмический университет
Год: 2006
Страниц: 39
ISBN: 5-7883-04-93-8
Язык: Русский
Формат: djvu
Размер: 16,7 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Введение в статистическую теорию распознавания образов

Книга посвящена теории распознавания образов в ее статистическом аспекте и предназначена для специалистов в области математической статистики и прикладной математики. С единых позиций теории распознавания образов рассматриваются основные вопросы статистических решений: проверка простых и сложных гипотез, линейные классификаторы, оценивание параметров, оценивание плотности вероятности, последовательное оценивание параметров, выбор информативных признаков и линейное преобразование пространства для случая одного распределения, выбор информативных признаков и линейное преобразование пространства в случае многих распределений, нелинейное преобразование исходного пространства, двумерные отображения, автоматическая классификация объектов и др.
Краткое содержание
Предисловие автора
Глава 1. Введение
Глава 2. Случайные векторы и их свойства
Глава 3. Проверка гипотез
Глава 4. Линейные классификаторы
Глава 5. Оценивание параметров
Глава 6. Оценивание плотности вероятности
Глава 7. Последовательное оценивание параметров
Глава 8. Выбор признаков и линейное преобразование пространства для случая одного распределения
Глава 9. Выбор признаков и линейное преобразование пространства в случае многих распределений
Глава 10. Нелинейное преобразование исходного пространства
Глава 11. Автоматическая классификация
Литература.
Название: Введение в статистическую теорию распознавания образов. Introduction to Statistical Pattern Recognition
Автор: Фукунага К.
Издательство: М.: Наука
Год: 1979
Страниц: 368
Язык: Русский
Формат: djvu
Размер: 22,9 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

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

Эта работа находится на стыке практики и трех дисциплин — математики, информатики, философии. Занимающиеся приложениями математики знают, что данная область, исключительно неформальна, если, конечно, пытаться достичь хорошего уровня профессионализма. Данная работа является опытом пособия по курсу, призванному дать интегральный взгляд на полуформальные и неформальные методы, соблазны и трудности, возникающие при приложении математики, и показать место различных математических дисциплин в данной области. Курс рекомендуется для студентов и аспирантов специальностей — математика, информационные системы, прикладная математика, структурная прикладная лингвистика, философия, когнитивная психология.
Краткое содержание
Введение
1. Из истории математики и информатики
2. Математика и реальность
3. Уровни знаний и умений
4. Принципы системного и логического подходов
5. Математические формализмы в системном подходе
6. Борьба
7. Концептуальный анализ
Решения и подсказки.
Название: Введение в системный и логический анализ. Курс лекций
Автор: Непейвода Н.Н.
Издательство: Ижевск: УдГУ
Год: 2003
Страниц: 140
Язык: Русский
Формат: djvu
Размер: 15,4 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

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

Для исследования операций характерно то, что при решении каждой проблемы могут возникать новые задачи. Важной особенностью исследования операций есть стремление найти оптимальное решение поставленной задачи (принцип «оптимальности»). В пособии отдельно рассмотрены вопросы реализации методов решения оптимизационных задач в современном прикладном программном обеспечении для ЭВМ, представлены базовые разделы курса "Математические методы исследования операций в экономике": теория линейного и нелинейного программирования, методы решения транспортных и сетевых задач, элементы дискретного (целочисленного) программирования, динамическое программирование, применение методов линейного программирования в теории матричных игр. Пособие предназначено для студентов вузов, обучающихся по экономико-математическим, экономическим и управленческим специальностям.
Название: Математические методы исследования операций в экономике
Автор: Конюховский П.В.
Издательство: СПб.: Питер
Год: 2000
Страниц: 208
ISBN: 5-8046-0190-3
Серия: Краткий курс
Язык: Русский
Формат: djvu
Размер: 15,6 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

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

Выпуклый анализ – один из самых красивых разделов современного анализа, в первую очередь в связи с тем, что он представляет собой сплав идей, как анализа, так и геометрии. В учебном пособии приведены основные теоретические сведения из выпуклого анализа, используемые при исследовании экстремальных задач, а также из теории условий оптимальности в задачах исследования на экстремум функций конечного числа переменных. Практически ко всем параграфам в книге приведены примеры, иллюстрирующие применение условий оптимальности, и в конце главы приведены задачи, позволяющие закрепить рассмотренные приемы решения задач. Для усвоения материала учебного пособия достаточно владения стандартными курсами математического анализа и линейной алгебры. Учебное пособие предназначено студентам специальности «Прикладная математика».
Краткое содержание
Предисловие
Глава 1. Элементы выпуклого анализа
1.1 Выпуклые множества в n-мерном евклидовом пространстве
1.2 Многогранное множество
1.3 Отделимость множеств
1.4 Выпуклые функции
1.5 Теоремы регулярности
Глава 2. Условия оптимальности в задачах математического программирования
2.1 Общие сведения о задачах оптимизации
2.2 Минимизация функций на выпуклых множествах
2.3 Классическая задача условной оптимизации
2.4 Задача выпуклого программирования
2.5 Общая задача математического программирования
Рекомендуемая литература.
Название: Введение в выпуклый анализ и оптимизацию: учебное пособие
Автор: Мижидон А.Д.
Издательство: Улан-Удэ: Изд-во ВСГТУ
Год: 2010
Страниц: 130
ISBN: 978-5-89230-336-1
Язык: Русский
Формат: djvu
Размер: 21,2 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Оценка финансовых рисков

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

 

[gnat26]

Математические методы финансового анализа

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

 

[gnat26]

Задачи математического программирования транспортного типа

Транспортная задача — это математическая задача линейного программирования специального вида. В книге рассматриваются многочисленные практические ситуации, приводящие к этим задачам, и, различные задачи математического программирования транспортного типа и излагаются методы их решения. Использование специфики условий задач транспортного типа позволяет построить частные методы их решения, изложение которых, иллюстрируемое примерами, занимает основную часть этой книги. При построении алгоритмов за основу принят метод последовательного сокращения невязок. Ряд алгоритмов, описываемых в книге, разработан автором. Книга рассчитана на инженеров, экономистов и лиц, специализирующихся в области применения вычислительной техники к вопросам планирования и управления.
Название: Задачи математического программирования транспортного типа
Автор: Триус Е.Б.
Издательство: М.: Советское Радио
Год: 1967
Страниц: 208
Язык: Русский
Формат: djvu
Размер: 25,9 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Элементы теории алгоритмов

Алгоритм – это точное предписание, определяющее вычислительный процесс, идущий от варьируемых исходных данных к искомому результату. Иногда называют алгоритмом и сам вычислительный процесс, определяемый точным предписанием. В учебном пособии рассматриваются основные понятия теории алгоритмов. Пособие предназначено для студентов, обучающихся по направлениям «Математика» и “Прикладная математика и информатика”, специальности “Компьютерная безопасность”, очной формы обучения. Пособие может быть использовано при изучении дисциплин "Математическая логика и теория алгоритмов", "Теория алгоритмов", "Математическая логика" и "Дискретная математика и математическая логика", а также специальных дисциплин.
Краткое содержание
Предисловие
Введение
Глава I. Конечные автоматы и языки
Глава II. Частично рекурсивные функции
Глава III. Машины Тьюринга
Глава IV. Алгоритмические проблемы
Глава V. NP-трудные и NP-полные проблемы
Послесловие
Литература.
Название: Элементы теории алгоритмов: учебное пособие
Автор: Дурнев В.Г.
Издательство: Ярославль: ЯрГУ
Год: 2008
Страниц: 248
ISBN: 978-5-8397-0622-4
Язык: Русский
Формат: djvu
Размер: 12,2 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Введение в теорию игр

Неоклассическая экономическая теория обычно предполагает существование и функционирование «совершенного рынка». Каждый субъект принимает решения, основываясь на индикаторах состояния этого рынка. Данный подход логичен при исследовании экономических систем с огромным числом участников, когда отдельному субъекту невозможно предвидеть решения всех других субъектов. В пособии изучаются бескоалиционные игры в стратегической и позиционной формах, игры с несовершенной информацией, байесовские, повторяющиеся и кооперативные игры, основы теории проектирования механизма. Все изучаемые игровые модели демонстрируются на разнообразных экономических приложениях. В частности, здесь рассматриваются почти все игровые концепции, за которые их авторы в разное время были удостоены Нобелевской премии в области экономики. Учебное пособие предлагается студентам экономических специальностей университетов.
Краткое содержание
Введение
1. Бескоалиционные игры
2. Позиционные игры
3. Байесовские игры
4. Повторяющиеся игры
5. Коалиционные игры
6. Проектирование механизма
A. Элементы нелинейного анализа
B. Элементы теории вероятностей
C. Графы
Список обозначений
Литература
Предметный указатель.
Название: Введение в теорию игр
Автор: Писарук Н.Н.
Издательство: Минск: БГУ
Год: 2019
Страниц: 286
Язык: Русский
Формат: djvu
Размер: 21,6 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся