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

Базы данных


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

Виды поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.03.02$<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.

    Волков, В. А.
    Элементы теории множеств и развитие понятия числа [Текст] : учеб. пособие / В. А. Волков ; Ленинградский ун-т . - Л. : Изд-во Ленингр. ун-та, 1978. - 84 с. : ил. ; 21см. - 0.18 р.
ГРНТИ
УДК

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

Кл.слова (ненормированные):
математика -- основания математики -- точечные множества
Аннотация: Настоящая работа предназначена в качестве учебного пособия по математике для студентов философских факультетов университетов.В ней излагаются основные положения теории множеств и содержится последовательное расширение понятия числа,основанное на методе пар. Изложение строится на трех понятиях:"множество","принадлежность", "взаимно-однозначное соответствие".Основное внимание уделяется изучению бесконечных множеств и их свойств.Введение содержит краткий философский анализ математики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

2.

    Гильберт, Д.
    Основания математики [Текст] : теория доказательств : пер с нем. / Д. Гильберт ; ред. С. И. Адян. - М. : Наука, 1982. - 652 с. ; 22см. - (Математическая логика и основания математики). - 3.40 р.
ГРНТИ
УДК
ББК 22.12

Рубрики: Математика--Высшая математика

   Математика--Основания математики


Кл.слова (ненормированные):
высшая математика -- основания математики -- математическая логика -- теория доказательств -- логический формализм -- арифметизация -- доказательство Кальмара -- доказательство Аккермана
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)


Доп. точки доступа:
Адян, С. И.
Найти похожие

3.

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

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

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


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

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

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