Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Успенский, Владимир Андреевич$<.>)
Общее количество найденных документов : 10
Показаны документы с 1 по 10
1.
   517
   У 774

    Успенский, Владимир Андреевич.
    Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2002. - 128 с. - Библиогр.: с. 122. - На обл. авт. не указаны. - ISBN 5-9221-0278-8 : 100.00 р., 100.00 р.
27.03.19
УДК
510.6(075.8)
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Множеств теория -- Алгоритмов теория -- Языки первого порядка -- Доказательств теория -- Учебные издания


Доп.точки доступа:
Верещагин, Николай Константинович
Экземпляры всего: 2
Х (1), ЧЗЕ (1)
Свободны: Х (1), ЧЗЕ (1)
Найти похожие
2.
   517
   У 773

    Успенский, Владимир Андреевич.
    Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско ; МГУ им. М.В. Ломоносова. - М. : Изд-во МГУ, 1991. - 136 с. - (Математика). - Библиогр.: с. 134. - ISBN 5-211-01845-1 : 0.25 р.
УДК
510.6(075.8)
Рубрики: Математический анализ--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА


Доп.точки доступа:
Верещагин, Н. К.; Плиско, В. Е.; Московский государственный университет им. М.В. Ломоносова
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
3.
   681
   У 774
!!!kk1bo_W.pft: FILE NOT FOUND!
ГРНТИ
50
УДК
004(0.062)
Рубрики: Вычислительные машины--Популярные издания
Кл.слова (ненормированные):
ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ

Экземпляры всего: 1
АБН (1)
Свободны: АБН (1)
Найти похожие
4.
   51
   У 774
!!!kk1bo_W.pft: FILE NOT FOUND!
ГРНТИ
27
УДК
510.51
Рубрики: Математика
Кл.слова (ненормированные):
Математика (алгоритмы) -- Алгоритмы (математика) -- Теория алгоритмов


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

    Успенский, Владимир Андреевич.
    Что такое не стандартный анализ? / В. А. Успенский. - Москва : Наука, 1987. - 128 с. : ил. - Библиогр.: с. 125-128. - 0.20 р.
ГРНТИ
27.23
УДК
517
Рубрики: Математический анализ
Кл.слова (ненормированные):
анализ нестандартный

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

    Успенский, Владимир Андреевич.
    Лекции о вычислительных функциях / В. А. Успенский. - Москва : Государственное издательство Физико-математической литературы, 1960. - 492 с. : ил. - (Математическая логика и основания математики). - Библиогр.: с. 476-481. - Указ. терминов: с. 482-487. - 1.36 р., 1.36 р.
ГРНТИ
27.23
УДК
517
Рубрики: Математический анализ
Кл.слова (ненормированные):
функции вычислительные

Экземпляры всего: 2
АБН (1), Х (1)
Свободны: АБН (1), Х (1)
Найти похожие
7.
   51
   В 317

    Верещагин, Николай Константинович.
    Колмогоровская сложность и алгоритмическая случайность / Н. К. Верещагин, В. А. Успенский, А. Шень. - Москва : Издательство МЦМНО, 2013. - 575 с. - Библиогр.: с. 546-558. - 1000 экз. - ISBN 978-5-4439-0212-8 : 550 р.
ГРНТИ
27.03.17
УДК
510.52
Рубрики: Теория алгоритмов
Кл.слова (ненормированные):
СЛОЖНОСТЬ АЛГОРИТМОВ -- КОЛМОГОРОВСКАЯ СЛОЖНОСТЬ -- АПРИОРНАЯ ВЕРОЯТНОТЬ -- ШЕННОНОВСКАЯ ЭНТРОПИЯ -- ИНФОРМАЦИЯ И ЛОГИКА -- АЛГОРИТМИЧЕСКАЯ СТАТИСТИКА


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

    Успенский, Владимир Андреевич.
    Треугольник Паскаля / В. А. Успенский. - 2-е изд., доп. - Москва : Наука, 1979. - 48 с. : ил. - (Популярные лекции по математике ; вып. 43). - 00.10 р., 00.10 р.
ГРНТИ
27
УДК
511.9
Рубрики: Геометрия чисел
Кл.слова (ненормированные):
ПАСКАЛЯ ТРЕУГОЛЬНИК

Экземпляры всего: 3
Х (1), АБУ (2)
Свободны: Х (1), АБУ (2)
Найти похожие
9.
   51
   У 774

    Успенский, Владимир Андреевич.
    Теория алгоритмов: основные открытия и приложения / В. А. Успенский, А. Л. Семенов. - Москва : Наука, 1987. - 287 с. - (Библиотечка программиста). - 1.20 р., 1.20 р.
ГРНТИ
27
УДК
510.5
Рубрики: Теория алгоритмов и вычислительные функции
Кл.слова (ненормированные):
АЛГОРИТМЫ


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

    Успенский, Владимир Андреевич.
    Теорема Генделя о неполноте / В. А. Успенский. - Москва : Наука, 1982. - 111 с. - (Популярные лекции по математике ; вып. 57). - 00.15 р., 00.15 р.
ГРНТИ
27
УДК
510.6
Рубрики: Математическая логика
Кл.слова (ненормированные):
теоремы (доказательство) -- МАТЕМАТИЧЕСКАЯ ЛОГИКА

Экземпляры всего: 8
АБУ (7), Х (1)
Свободны: АБУ (7), Х (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 06.07.2024
Число запросов 14784
Число посетителей 386
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)