Подробное описание документа

Энгелер Э.
Метаматематика элементарной математики / Энгелер Э. ; пер. с нем. Минц Г. Е. ; ред. пер. Слисенко А. О. - М. : Мир, 1987. - 126 с. : ил.

Аннотация

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

УДК
510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т.п.

Предметные рубрики

Математика

Общее кол-во в фондах
4 экз.

Заказать на абонемент

Заказать в читальный зал

Вы можете получить данный документ в одном из следующих отделов

Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
Преподавательский абонемент ауд.313, ГУК, ауд. 313
Читальный зал ауд.305л, УЛК, ауд. 305л
Читальный зал ауд.313, ГУК, ауд. 313