База данных: Книги ретро
Страница 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.
Подробнее
О-210
Обобщенные сетевые модели [Текст] : методические рекомендации. - М. : Госстрой СССР, 1974. - 117 с. - 0р. 78к.
Рубрики: СТРОИТЕЛЬСТВО
ЭКОНОМИКА СТРОИТЕЛЬСТВА
Кл.слова (ненормированные):
непротиворечивость ОСМ -- сетевой модели -- элементы ОСМ -- критические пути -- строительства -- моделирование
Экземпляры всего: 1
гидро 6- 5 (1)
Свободны: гидро 6- 5 (1)
О-210
Обобщенные сетевые модели [Текст] : методические рекомендации. - М. : Госстрой СССР, 1974. - 117 с. - 0р. 78к.
| УДК |
Рубрики: СТРОИТЕЛЬСТВО
ЭКОНОМИКА СТРОИТЕЛЬСТВА
Кл.слова (ненормированные):
непротиворечивость ОСМ -- сетевой модели -- элементы ОСМ -- критические пути -- строительства -- моделирование
Экземпляры всего: 1
гидро 6- 5 (1)
Свободны: гидро 6- 5 (1)
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