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

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

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

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

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

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

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

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

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

Краткий справочник по математике для средней школы, 5-11 класс, Власова Ю., 2012.
   
   Власова Юлия Валериевна — кандидат педагогических наук (кафедра физики и методики информационных технологий Саратовского государственного научно-исследовательского университета им. Н.Г. Чернышевского). Учитель математики, имеет большое количество публикации, методических пособий и учебников, готовит абитуриентов к поступлению в вузы, к сдаче ЕГЭ.
Справочник содержит математические формулы, алгоритмы решения задач, основные правила и теоремы. Все, что необходимо школьникам 5-11 классов, — и ничего лишнего!

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

Математика, 5 класс, Решения задач с подробными объяснениями, Справочное пособие, Часть 1, Скалабова А.Д., 2011.
 
   Большое место в изучении математики занимает решение задач. Учащиеся часто не в состоянии самостоятельно решить все задачи школьного учебника. Поэтому данный справочник будет полезен родителям как для объяснения приемов решения задач, так и для контроля правильности полученных решений.
Издание содержит решения задач с подробными объяснениями к учебнику Е. П. Кузнецовой. Г. Л. Муравьевой. Л. Б. Шнепермана и др. «Математика. Учебное пособие для 5 класса общеобразовательных учреждений с русским языком обучения: в 2-х частях».
В информационных целях на обложке в качестве иллюстрации приведена реконструкция этого учебника. (Статья 19 Закона Республики Беларусь «Об авторском праве и смежных правах»).

Элементарная математика, Краткие сведения, Справочник, Ринчино А.Л., 2015.

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