математика

Справочная книга по математической логике, Часть 4, Теория доказательств и конструктивная математика, Барвайс Дж., 1983

Справочная книга по математической логике, Часть 4, Теория доказательств и конструктивная математика, Барвайс Дж., 1983.

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

Справочная книга по математической логике, Часть 4, Теория доказательств и конструктивная математика, Барвайс Дж., 1983

Скачать и читать Справочная книга по математической логике, Часть 4, Теория доказательств и конструктивная математика, Барвайс Дж., 1983
 

Справочная книга по математической логике, Часть 3, Теория рекурсии, Барвайс Дж., 1982

Справочная книга по математической логике, Часть 3, Теория рекурсии, Барвайс Дж., 1982.

Понятие алгоритма становится в настоящее время одним из важнейших понятий как теоретической, так и прикладной математики. Это связано в первую очередь с современным развитием электронной вычислительной техники и необходимостью создания мощного математического обеспечения для этой техники. Немаловажными являются и связи теории алгоритмов с математической логикой и основаниями математики; точное математическое определение понятия алгоритма впервые было найдено в рамках формальных систем математической логики. Теория рекурсии — так называется этот третий том «Справочной книги по математической логике» — составляет теоретическую основу современного учения об алгоритмах. Первая вводная глава этого тома, написанная Эндертоном, довольно подробно и мотивированно знакомит читателя с тем разделом теории алгоритмов, который теперь называется «классической» теорией рекурсии. Две следующие главы, написанные соответственно Девисом и Рабином, знакомят читателя с постановками различных алгоритмических проблем, возникающих в арифметике, алгебре, математической логике и других разделах математики. Наряду с формулировками проблем здесь имеются указания на методы решения таких проблем и даны примеры. Следует отметить, что обе эти главы не могут служить обзорами по рассматриваемой проблематике, так как отбор материала в этих главах отражает довольно субъективные взгляды авторов, не заботившихся, по-видимому, ни о достаточно полном обзоре результатов, ни о точности указаний на авторство приводимых утверждений.

Справочная книга по математической логике, Часть 3, Теория рекурсии, Барвайс Дж., 1982
Скачать и читать Справочная книга по математической логике, Часть 3, Теория рекурсии, Барвайс Дж., 1982
 

Справочная книга по математической логике, Часть 2, Теория множеств, Барвайc Дж., 1982

Справочная книга по математической логике, Часть 2,  Теория множеств, Барвайc Дж., 1982.

Настоящая книга состоит из ряда глав и добавления, написанных видными специалистами по теории множеств. Каждая глава—это самостоятельная статья. Она содержит в основном замкнутый в себе материал и может читаться независимо от остальных глав сборника. Главы очень разные по характеру и подробности изложения. Например, глава 2, написанная Т. Йехом, представляет собой весьма беглый обзор проблематики и результатов, относящихся к аксиоме выбора. Написанная Берджесом глава 4 о методе вынуждения, напротив, дает довольно подробное изложение доказательств некоторых основных результатов. Упор в справочном руководстве по теории множеств сделан на разъяснение основных идей и методов аксиоматической теории множеств, а не на охват как можно большего числа результатов. В этом отношении наиболее показательна глава 5 о комбинаторике, написанная К. Кюненом. Вводная глава, принадлежащая Дж. Шенфилду, посвященная аксиоматике системы Цермело — Френкеля, доступна широкому кругу читателей. Наиболее трудна для чтения написанная К. Девлином глава 5 об аксиоме конструктивности, излагающая громоздкие конструкции и насыщенная большим количеством формул. В книгу включены также топологические приложения аппарата аксиоматической теории множеств. В главах 6 и 7, принадлежащих М. Рудин и И. Юхасу, рассматриваются топологические следствия аксиомы Мартина и различных комбинаторных принципов, вытекающих из аксиомы конструктивности Гёделя.

Справочная книга по математической логике, Часть 2,  Теория множеств, Барвайc Дж., 1982
Скачать и читать Справочная книга по математической логике, Часть 2, Теория множеств, Барвайc Дж., 1982
 

Справочная книга по математической логике, Часть 1, Теория моделей, Барвайс Дж., 1982

Справочная книга по математической логике, Часть 1, Теория моделей, Барвайс Дж., 1982.

Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.

Справочная книга по математической логике, Часть 1, Теория моделей, Барвайс Дж., 1982
Скачать и читать Справочная книга по математической логике, Часть 1, Теория моделей, Барвайс Дж., 1982
 

Сборник задач по элементарной математике, Антонов Н.П., Выгодский М.Я., Никитин В.В., Санкин А.И., 1960

Сборник задач по элементарной математике, Антонов Н.П., Выгодский М.Я., Никитин В.В., Санкин А.И., 1960.

Настоящее пособие для самообразования предназначается для лиц с незаконченным средним образованием или окончивших школу давно и готовящихся к поступлению в вузы. Отклики читателей на первые два издания (вышедших под несколько иным названием) показали, что множество учащихся, занимающихся математикой без помощи преподавателя, действительно, нуждаются в таком пособии. Составители хотели помочь этим лицам научиться решать математические задачи, и с этой целью дали решения для большинства задач. Задачи, родственные по идее решения, мы сгруппировали вместе. Для первых задач каждой группы дается более подробное решение, чем для последующих. Второстепенные моменты рассуждений и вычислений, как правило, опускаются, чтобы не стеснить самодеятельности учащегося. Напротив, принципиальным вопросам, существенным для решения задач, уделяется много места. Особенно это относится к вопросам, мало освещенным в учебной литературе; таковы, например, вопросы об утрате корней уравнения и появлении посторонних корней, об арифметических корнях, о способах изображения пространственных фигур. Мы полагаем, что соответствующие пояснения принесут некоторую пользу и учителю. Однажды сделанное разъяснение, как правило, не повторяется в последующих задачах. Однако всюду, где это требуется, дана ссылка на номер той задачи, в которой помещено соответствующее разъяснение. Это сделано в интересах тех учащихся, которые будут пробовать свои силы на отдельных задачах. Все же авторы настоятельно рекомендуют решать задачи каждой главы в порядке номеров.

Сборник задач по элементарной математике, Антонов Н.П., Выгодский М.Я., Никитин В.В., Санкин А.И., 1960
Скачать и читать Сборник задач по элементарной математике, Антонов Н.П., Выгодский М.Я., Никитин В.В., Санкин А.И., 1960
 

Математика и информатика, Учимся решать комбинаторные задачи, Тетрадь для 1-2 классов, Истомина Н.Б., Виноградова Е.П., 2012

Математика и информатика, Учимся решать комбинаторные задачи, Тетрадь для 1-2 классов, Истомина Н.Б., Виноградова Е.П., 2012.
   
  Тетрадь с печатной основой содержит дополнительный материал к учебникам «Математика. 1 класс» и «Математика. 2 класс» (автор профессор Н. Б. Истомина). Выполнение заданий, предложенных в тетради, способствует формированию у учащихся приёмов умственной деятельности (анализ, синтез, сравнение), развивает такие качества мышления, как гибкость и критичность, расширяет представление младших школьников о способах моделирования при решении текстовых задач.
Тетрадь можно использовать, работая с детьми и по другим учебникам математики для начальных классов, а также в прогимназиях и при подготовке детей к школе.

Математика и информатика, Учимся решать комбинаторные задачи, Тетрадь для 1-2 классов, Истомина Н.Б., Виноградова Е.П., 2012
Скачать и читать Математика и информатика, Учимся решать комбинаторные задачи, Тетрадь для 1-2 классов, Истомина Н.Б., Виноградова Е.П., 2012
 

Математика для экономистов на базе Mathcad, Черняк А.А., Новиков В.А., Мельников О.И., Кузнецов А.В., 2014

Математика для экономистов на базе Mathcad, Черняк А.А., Новиков В.А., Мельников О.И., Кузнецов А.В., 2014.

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

Математика для экономистов на базе Mathcad, Черняк А.А., Новиков В.А., Мельников О.И., Кузнецов А.В., 2014
Скачать и читать Математика для экономистов на базе Mathcad, Черняк А.А., Новиков В.А., Мельников О.И., Кузнецов А.В., 2014
 

Методы оптимизации, Практический курс, Пантелеев А.В., Летова Т.А., 2011

Методы оптимизации, Практический курс, Пантелеев А.В., Летова Т.А., 2011.

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

Методы оптимизации, Практический курс, Пантелеев А.В., Летова Т.А., 2011
Скачать и читать Методы оптимизации, Практический курс, Пантелеев А.В., Летова Т.А., 2011
 
Показана страница 39 из 652