Научная библиотека ВСГУТУ

   51
   Ч-508

    Чёрч, Алонзо.
    Введение в математическую логику [Text] : [Учеб. для вузов] / А. Чёрч ; Пер. с англ. В.С. Чернявского; Под ред. В.А. Успенского. - москва : Изд-во иностранной литературы, 1960. - 484 с. - 6.99 р.

ГРНТИ	27.03.19
УДК	510.6(075.8)

Рубрики: Математическая логика--учебники
Кл.слова (ненормированные):
математическая логика -- пропозициональные исчисления -- функциональные исчисления -- учебники

Доп.точки доступа:
Успенский, В.А. \ред. - редактор.\
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

   51(09)
   К608

    Колмогоров, А. Н.
    Математика в ее историческом развитии / А. Н. Колмогоров ; сост. Г. А. Гальперин ; под ред. В. А. Успенского. - Москва : Наука, 1991. - 224 с. - Б. ц.

ГРНТИ	27
УДК	51(09)

Рубрики: Математика--История
Кл.слова (ненормированные):
история математики

Доп.точки доступа:
Гальперин, Г. А. \сост.\; Успенский, В. А. \ред.\
Экземпляры всего: 2
кх (2)
Свободны: кх (2)
Найти похожие

   518
   У774

    Успенский, В. А.
    Теория алгоритмов : Основные открытия и приложения / В. А. Успенский, А. Л. Семенов. - Москва : Наука, 1987. - 288 с. - (Библиотечка программиста). - Б. ц.

ГРНТИ	27.03
УДК	510.5

Рубрики: Математика--Алгоритмы
Кл.слова (ненормированные):
алгоритмы -- теория алгоритмов

Доп.точки доступа:
Семенов, А. Л.
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

   518
   У774

    Успенский, В. А.
    Машина Поста / В. А. Успенский. - 2-е изд., испр. - Москва : Наука, 1988. - 96 с. - (Популярные лекции по математике). - Б. ц.

ГРНТИ	27.41.23
УДК	519.67

Рубрики: Вычислительная математика--Машинные методы
Кл.слова (ненормированные):
машинные методы вычислительной математики -- машина Поста

Экземпляры всего: 2
кх (2)
Свободны: кх (2)
Найти похожие

Тематический навигатор

ссылка на мобильную версию электронного каталога

Базы данных

Книги- результаты поиска

Вид поиска