Новые поступления (книга в стадии обработки) Гильберт, Давид Избранные труды [Текст] : в 2 т. / Д. Гильберт. - Москва : Факториал. - (Классики математики). - ISBN 5-88688-028-3. Т. 1 : Теория инвариантов. Теория чисел. Алгебра. Геометрия. Основания математики. - Москва : Факториал, 1998. - 575, [1] с. - ISBN 5-88688-029-1 (в пер.) : 35.00 р.
Рубрики: математика--математика Кл.слова (ненормированные): математика -- инвариантов теория -- чисел теория -- алгебра -- геометрия Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Гильберт, Давид Избранные труды [Текст] : в 2 т. / Д. Гильберт. - Москва : Факториал. - (Классики математики). - ISBN 5-88688-028-3. Т. 2 : Анализ. Физика. Проблемы. Personalia. - Москва : Факториал, 1998. - 607, [1] с. - Библиогр. - ISBN 5-88688-039-5 (в пер.) : 35.00 р.
Рубрики: математика--математика Кл.слова (ненормированные): математический анализ -- физика -- вариационное исчисление -- интегральные уравнения Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Гильберт, Давид Основания математики [Текст] : [в 2 т.] / Д. Гильберт, П. Бернайс. - Москва : Наука. Гл. ред. физ.-мат. лит. - (Математическая логика и основания математики). [Т. 1] : Логические исчисления и формализация арифметики. - Москва : Наука. Гл. ред. физ.-мат. лит., 1979. - 557, [3] с. - ISBN [Б. и.] (в пер.) : 35.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- исчисления высказываний -- рекурсии Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Бернайс, Пауль |
Новые поступления (книга в стадии обработки) Гильберт, Давид Основания математики [Текст] : [в 2 т.] / Д. Гильберт, П. Бернайс. - Москва : Наука. Гл. ред. физ.-мат. лит. - (Математическая логика и основания математики). [Т. 2] : Теория доказательств. - Москва : Наука. Гл. ред. физ.-мат. лит., 1982. - 652, [4] с. - ISBN [Б. и.] (в пер.) : 40.00 р.
Рубрики: математика--математический анализ Кл.слова (ненормированные): математическая логика -- формализм Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Бернайс, Пауль |
Новые поступления (книга в стадии обработки) Гильберт, Давид. Наглядная геометрия [Текст] / Д. Гильберт, С. Кон-Фоссен ; пер. С. А. Каменецкий. - 3-е изд. - Москва : Наука. Главная редакция физико-математической литературы, 1981. - 344 с. : ил. - 01.30 р. Библиогр.:с.341-344 Рубрики: Математика--Геометрия Кл.слова (ненормированные): геометрия Лобачевского -- дискретные движения -- дифференциальная геометрия -- кинематика -- конические сечения -- конфигурация Рейе -- кристаллография -- плоские движения -- плоские кривые -- свойства шара -- теорема Дезарга -- теорема Паскаля -- топология -- точечные решетки -- шарнирные механизмы -- шестисторонник Шлефли -- эллиптическая геометрия Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Кон-Фоссен, Стефан Каменецкий, С. А. |
Новые поступления (книга в стадии обработки) Гильберт, Давид Основания математики [Текст] : логические исчисления и формализация арифметики: пер. с нем. / Д. Гильберт, П. Бернайс. - 2-е изд. - Москва : Наука, 1982. - 556 с. : ил. - (Математическая логика и основания математики). - 02.70 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): аксиомы -- аксиомы Пеано -- арифметика -- бесконечное -- выводимость -- дедуктивное равенство -- дедукционная теорема -- доказательства независимости -- интуитивные рассуждения -- истинностные функции -- исчисление предикатов -- кванторы -- логика высказываний -- логические исчисления -- математическая логика -- нефинитные методы -- основания математики -- предикаты -- проблема разрешимости -- разрешимость -- рассуждения -- редукция -- рекурсия -- систематика -- теоремы о полноте -- теория истинностных функций -- финитный способ рассуждений -- формализация арифметики -- формализм -- формальная аксиоматика Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Бернайс, П. |