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

Базы данных


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

Виды поиска

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

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

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

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


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


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

2.

    Гильберт, Д.
    Основы теоретической логики [Текст] / Д. Гильберт, В. Аккерман ; под ред. С. А. Яновской ; пер. с нем. А. А. Ерофеева = Grunbzuge er theoretischen logik / D. Hilbert, W. Ackermann : переводное издание. - М. : Изд-во иностр. лит-ры, 1947. - 304 с. : ил. ; 20 см. - Библиогр.: с. 297-298. - 14.60 р.
Тит. л. парал. на нем. яз.
УДК

Кл.слова (ненормированные):
ЛОГИЧЕСКИЕ СВЯЗИ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- АКСИОМЫ -- ЛОГИЧЕСКИЕ ПАРАДОКСЫ -- СТУПЕНЧАТЫЕ ИСЧИСЛЕНИЯ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Аккерман, В. Ackermann W.
Яновская, С. А.
Ерофеев, А. А.
Найти похожие

3.

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

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

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


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

4.

   Курант, Р.

    Методы математической физики [Текст] = Methods of mathematical physics / Р. Курант, Д. Гильберт. - М. : Изд-во "Мир", 1964.
   Т. 2 : Уравнения с частными производными / Р. Курант ; пер. с англ. Т. Д. Вентцель ; под ред. О. А. Олейник = Partial differential equations / R. Courant. - М. : Изд-во "Мир", 1964. - 830 с. : ил. ; 22 см. - Библиогр.: с. 793-813. - 3.49 р.
Тит. л. парал. на англ. яз. На обл. дано: Уравнения с частными производными
ГРНТИ
УДК

Рубрики: Физика--Математическая физика

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


Доп. точки доступа:
Вентцель, Т. Д.
Олейник, О. А. Courant R.
Гильберт, Д. Hilbert D.
Найти похожие

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

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