| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=АКСИОМАТИКА ГИЛЬБЕРТА<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.

    Успенский, В. А.
    Апология математики [Текст] : научно-популярная литература / В. А. Успенский. - СПб. : АМФОРА, 2011. - 554 с. ; 20 см. - (Новая Эврика). - ISBN 978-5-367-01967-4 : 511.00 р.
ГРНТИ
УДК
ББК 22.1

Рубрики: Математика

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЕ ДОКАЗАТЕЛЬСТВА -- АКСИОМЫ -- АКСИОМАТИЧЕСКИЙ МЕТОД -- ФИЛОСОФИЯ МАТЕМАТИКИ -- МНОЖЕСТВО -- КОРТЕЖ -- ОТНОШЕНИЕ -- АКСИОМАТИКА ГИЛЬБЕРТА -- АКСИОМЫ ЕВКЛИДА
Аннотация: В сборник вошли статьи разных лет российского математика и лингвиста Владимира Андреевича Успенского, ученика великого Колмогорова, существенно переработанные и дополненные. Очерчивая место математики в современной культуре, автор пытается прояснить для читателей-нематематиков некоторые основные понятия и проблемы "царицы наук".
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

2.

    Гильберт, Д.
    Основания математики [Текст] / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного ; под ред. С. И. Адяна = Grundlagen der mathematik / D. Hilbert, P. Bernays : логические исчисления и формализация арифметики : монография. - М. : Наука, 1979. - 560 с. ; 22 см. - (Математическая логика и основания математики). - 2.70 р.
Тит. л. парал. на нем. яз.
ГРНТИ
УДК

Рубрики: Математика--Основания математики

Кл.слова (ненормированные):
АКСИОМАТИКА ГИЛЬБЕРТА -- ЭЛЕМЕНТАРНАЯ АРИФМЕТИКА -- ТЕОРИЯ ИСТИННОСТНЫХ ФУНКЦИЙ -- ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- РЕКУРСИВНЫЕ ОПРЕДЕЛЕНИЯ
Аннотация: Монография занимает уникальное место в мировой математической литературе. Издание подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Бернайс, П. Bernays P.
Нагорный, Н. М.
Адян, С. И.
Найти похожие

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)