База данных: Книги ретро
Страница 1, Результатов: 3
Отмеченные записи: 0
1.
Подробнее
Н162
Нагель, Э.
Теорема Геделя [Текст] / Пер.с англ. - М. : Знание, 1970. - 64 с. - 0р.12к.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫСШАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
теорема Геделя -- непротиворечивость -- логика -- кодирование -- нумерация -- арифметизация
Доп.точки доступа:
Ньюмен, Дж.Р.
Экземпляры всего: 1
6-3 (1)
Свободны: 6-3 (1)
Н162
Нагель, Э.
Теорема Геделя [Текст] / Пер.с англ. - М. : Знание, 1970. - 64 с. - 0р.12к.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫСШАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
теорема Геделя -- непротиворечивость -- логика -- кодирование -- нумерация -- арифметизация
Доп.точки доступа:
Ньюмен, Дж.Р.
Экземпляры всего: 1
6-3 (1)
Свободны: 6-3 (1)
2.
Подробнее
У77
Успенский, В. А.
Вводный курс математической логики [Текст] / , Н.К.Верещагин, В.Е.Плиско. - М. : Физматлит, 2002. - 128 с. - ISBN 5922102788 : 1000т. 00т. тг.
ББК 22.12я7
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- теория множеств -- множества -- теорема Кантора -- логические операции -- интерпретации -- теория доказательств -- теорема Геделя -- алгоритмы
Экземпляры всего: 10
6.1-№8 оқу залы (5), 3-4 (1), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
Свободны: 6.1-№8 оқу залы (5), 3-4 (1), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
У77
Успенский, В. А.
Вводный курс математической логики [Текст] / , Н.К.Верещагин, В.Е.Плиско. - М. : Физматлит, 2002. - 128 с. - ISBN 5922102788 : 1000т. 00т. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- теория множеств -- множества -- теорема Кантора -- логические операции -- интерпретации -- теория доказательств -- теорема Геделя -- алгоритмы
Экземпляры всего: 10
6.1-№8 оқу залы (5), 3-4 (1), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
Свободны: 6.1-№8 оқу залы (5), 3-4 (1), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
3.
Подробнее
П27
Перминов, В. Я.
Развитие представлений о надежности математического доказательства : научное издание / В. Я. Перминов. - М. : Московский университет, 1986. - 233 с. - Б. ц.
ББК 87.25
Рубрики: ФИЛОСОФИЯ. ФИЛОСОФСКИЕ НАУКИ
ФИЛОСОФИЯ И МЕТОДОЛОГИЯ НАУКИ
Кл.слова (ненормированные):
математическое доказательство -- герментичность -- доствоверность -- тавтологичность доказательств -- интуиция -- однозначность доказательства -- непротиворечивость -- теорема Геделя -- рационализм -- аподиктическая достоверность
Экземпляры всего: 1
2.1-№2 Ч/З (1)
Свободны: 2.1-№2 Ч/З (1)
П27
Перминов, В. Я.
Развитие представлений о надежности математического доказательства : научное издание / В. Я. Перминов. - М. : Московский университет, 1986. - 233 с. - Б. ц.
Рубрики: ФИЛОСОФИЯ. ФИЛОСОФСКИЕ НАУКИ
ФИЛОСОФИЯ И МЕТОДОЛОГИЯ НАУКИ
Кл.слова (ненормированные):
математическое доказательство -- герментичность -- доствоверность -- тавтологичность доказательств -- интуиция -- однозначность доказательства -- непротиворечивость -- теорема Геделя -- рационализм -- аподиктическая достоверность
Экземпляры всего: 1
2.1-№2 Ч/З (1)
Свободны: 2.1-№2 Ч/З (1)
Страница 1, Результатов: 3