-
-
-
Справочная книга по математической логике 2 часть
Дж. Барвайса, В. Г. Кановея, В. В. Донченко,Matematika, -
-
Зарубежные математические олимпиады
И.Н. Сергеева,Книгу можно рассматривать как продолжение серии «Задачи и олимпиады», начатой издательством «Мир» в 1975 г., В сборнике представлены наиболее интересные задачи национальных олимпиад 19 стран и ряда международных соревнований. Они разбиты на 7 глав по тематическому признаку. Все задачи (а их более 500) снабжены решениями. Для учащихся старших классов, учителей, проводящих различные математические конкурсы, а также для всех любителей математики.
-
Свойства редких элементов
М. A. Филянд, E. И. Семенова,В книге систематнзированы справочные данные из технической литературы по физическим и механическим свойствам редких элементов в указаны основные области их применения.Справочник предназначен для инженерно-технических и научных работников, а также для студентов металлургических втузов.
-
Справочная книга по математической логике. В 4-х частях. Теория доказательств и конструктивная математика 4 часть.
В.П.Оревкова,Последний том «Справочной книги по математической логике» содержит обзоры по наиболее современным направлениям теории доказательств и конструктивной математики. Эти обзоры не претендуют на полное описание новейших достижений теории доказательств. Это было бы очень трудно сделать в рамках одной книги. Составители ограничились обзорами небольшого числа тех областей теории доказательств, которые в последнее время активно развивались и которые тесно переплетаются с другими областями математической логики, алгебры и топологии. В худшем положении оказалась конструктивная математика. В посвященной ей главе 5, написанной А.С.Трулстрой, термин «конструктивная математика» трактуется очень широко: по А.С.Трулстре конструктивная математика включает в себя интуиционизм. Поэтому в главе 5 уделяется много внимания различным современным вариантам интуиционизма, а некоторые важные специфические понятия и результаты собственно конструктивной математики не затронуты.
-
Справочная книга по математической логике 2 часть
Дж. Барвайса, В. Г. Кановея, В. В. Донченко,Настоящая книга состоит из ряда глав и добавления, написанных видными специалистами по теории множеств. Каждая глава - это самостоятельная статья. Эта книга рассматривает основную связь между математическими утверждениями (аксиомами), с одной стороны, и математическими структурами (моделями), с другой. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.
-
Справочник по математике
Рывкин А.А,Программа по математике в ряде средних специальных учебных заведений несколько отличается от программы средней школы. В частности, в техникумах нередко более широко излагаются элементы математического анализа, аналитической геометрии, теории приближенных вычислений и при этом меньше внимания уделяется традиционным разделам элементарной математики.