Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>A=Успенский, Владимир Андреевич$<.>)

Общее количество найденных документов : 4
Показаны документы с 1 по 4

   22.12
   У77

    Успенский, Владимир Андреевич.
    Вводный курс математической логики [Текст] : [учеб. пособие] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - М. : Физматлит, 2004. - 126 с. - Библиогр.: с. 122. - Предм. указ.: с. 123. - ISBN 5-9221-0278-8 : 114.44 р.

ББК 22.12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
теория множеств -- теорема Кантора -- языки первого порядка -- логические операции -- кванторы -- элементы теории доказательств -- логическое следование -- теорема Гёделя -- теорема алгоритмов

Доп.точки доступа:
Верещагин, Н.К.; Плиско, В.Е.
Экземпляры всего: 5
аб. (3), ч.з. (2)
Свободны: аб. (2), ч.з. (2)
Найти похожие

   22.12
   У77

    Успенский, Владимир Андреевич.
    Вводный курс математической логики [Текст] : [учеб. пособие] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - М. : Физматлит, 2007. - 126 с. - Библиогр. : с. 122 . - Предм. указ. : с. 123 . - ISBN 978-5-9221-0278-0 : 142.78 р.

ББК 22.12я73
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
элементы теории множеств -- языки первого порядка -- элементы теории доказательств -- теорема Гёделя о полноте -- теория алгоритмов -- математическая логика

Доп.точки доступа:
Верещагин, Николай Константинович; Плиско, Валерий Егорович
Экземпляры всего: 4
аб. (4)
Свободны: аб. (4)
Найти похожие

   22.1
   У77

    Успенский, Владимир Андреевич.
    Апология математики [Текст] : сб. / В. А. Успенский. - СПб. : Амфора, 2010. - 554 с. - (Новая Эврика). - ISBN 978-5-367-00689-6 (в пер.) : 238.00 р.
Прил. : с. 506

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

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

   22.12
   В 31

    Верещагин, НиколайК Константинович.
    Колмогоровская сложность и алгоритмическая случайность [Текст] / Н. К. Верещагин, В. А. Успенский, А. Шень. - М. : МЦНМО, 2013. - 575 с. - ISBN 978-5-4439-0212-8 (в пер.) : 800.00 р.

ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
колмогоровская сложность -- априорная сложность -- монотонная сложность -- шенноновская энтропия

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

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

Статистика за 17.08.2024
Число запросов	66164
Число посетителей	1
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)