Авторизация
Фамилия
Пароль
Электронный каталог
Научной библиотеки ВСГУТУ
Базы данных
Книги- результаты поиска
Вид поиска
Книги
Статьи
Электронные издания ВСГУТУ
Статьи преподавателей ВСГУТУ
Вестник ВСГУТУ
Материалы конференций ВСГУТУ
Диссертации
Авторефераты
ГОСТЫ
Статьи о Бурятии
Выберите поиск:
Ключевые слова
Автор
Заглавие
Год издания
Что искать:
Найдено в других БД:
Статьи (2)
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>A=Успенский, В. А.$<.>)
Общее количество найденных документов
:
4
Показаны документы
с 1 по 4
>
1.
51
Ч-508
Чёрч, Алонзо
.
Введение в математическую логику [Text] : [Учеб. для вузов] / А. Чёрч ; Пер. с англ. В.С. Чернявского; Под ред. В.А.
Успенского
. - москва : Изд-во иностранной литературы, 1960. - 484 с. - 6.99 р.
ГРНТИ
27.03.19
УДК
510.6(075.8)
Рубрики:
Математическая логика--учебники
Кл.слова (ненормированные):
математическая логика
--
пропозициональные исчисления
--
функциональные исчисления
--
учебники
Доп.точки доступа:
Успенский
, В.А. \ред. - редактор.\
Экземпляры всего:
1
кх (1)
Свободны:
кх (1)
Найти похожие
>
2.
51(09)
К608
Колмогоров, А. Н.
Математика в ее историческом развитии / А. Н. Колмогоров ; сост. Г. А. Гальперин ; под ред. В. А.
Успенского
. - Москва : Наука, 1991. - 224 с. - Б. ц.
ГРНТИ
27
УДК
51(09)
Рубрики:
Математика--История
Кл.слова (ненормированные):
история математики
Доп.точки доступа:
Гальперин, Г. А. \сост.\;
Успенский
, В. А. \ред.\
Экземпляры всего:
2
кх (2)
Свободны:
кх (2)
Найти похожие
>
3.
518
У774
Успенский
, В. А.
Теория алгоритмов : Основные открытия и приложения / В. А.
Успенский
, А. Л. Семенов. - Москва : Наука, 1987. - 288 с. - (Библиотечка программиста). - Б. ц.
ГРНТИ
27.03
УДК
510.5
Рубрики:
Математика--Алгоритмы
Кл.слова (ненормированные):
алгоритмы
--
теория алгоритмов
Доп.точки доступа:
Семенов, А. Л.
Экземпляры всего:
1
кх (1)
Свободны:
кх (1)
Найти похожие
>
4.
518
У774
Успенский
, В. А.
Машина Поста / В. А.
Успенский
. - 2-е изд., испр. - Москва : Наука, 1988. - 96 с. - (Популярные лекции по математике). - Б. ц.
ГРНТИ
27.41.23
УДК
519.67
Рубрики:
Вычислительная математика--Машинные методы
Кл.слова (ненормированные):
машинные методы вычислительной математики
--
машина Поста
Экземпляры всего:
2
кх (2)
Свободны:
кх (2)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
ссылка на мобильную версию электронного каталога