517 У 774 Успенский, Владимир Андреевич. Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2002. - 128 с. - Библиогр.: с. 122. - На обл. авт. не указаны. - ISBN 5-9221-0278-8 : 100.00 р., 100.00 р.
Кл.слова (ненормированные): Множеств теория -- Алгоритмов теория -- Языки первого порядка -- Доказательств теория -- Учебные издания Доп.точки доступа: Верещагин, Николай Константинович Экземпляры всего: 2 Х (1), ЧЗЕ (1) Свободны: Х (1), ЧЗЕ (1) |
517 У 773 Успенский, Владимир Андреевич. Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско ; МГУ им. М.В. Ломоносова. - М. : Изд-во МГУ, 1991. - 136 с. - (Математика). - Библиогр.: с. 134. - ISBN 5-211-01845-1 : 0.25 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА Доп.точки доступа: Верещагин, Н. К.; Плиско, В. Е.; Московский государственный университет им. М.В. Ломоносова Экземпляры всего: 1 Х (1) Свободны: Х (1) |
681 У 774 Успенский, Владимир Андреевич. Машина Поста / В. А. Успенский. - 2-е изд., перераб. - Москва : Наука, 1988. - 95, [1] с. : ил. - (Популярные лекции по математике ; вып. 54). - ISBN 5-02-013735-9 : 0.20 р.
Кл.слова (ненормированные): ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ Экземпляры всего: 1 АБН (1) Свободны: АБН (1) |
51 У 774 Успенский, Владимир Андреевич. Теория алгоритмов: основные открытия и приложения / В. А. Успенский, А. Л. Семенов. - Москва : Наука : Физматлит, 1987. - 288 с. - (Библиотечка программиста). - 1.20 р.
Кл.слова (ненормированные): Математика (алгоритмы) -- Алгоритмы (математика) -- Теория алгоритмов Доп.точки доступа: Семенов, Алексей Львович Экземпляры всего: 1 АБН (1) Свободны: АБН (1) |
517 У 774 Успенский, Владимир Андреевич. Что такое не стандартный анализ? / В. А. Успенский. - Москва : Наука, 1987. - 128 с. : ил. - Библиогр.: с. 125-128. - 0.20 р.
Кл.слова (ненормированные): анализ нестандартный Экземпляры всего: 2 АБН (2) Свободны: АБН (2) |
517 У 774 Успенский, Владимир Андреевич. Лекции о вычислительных функциях / В. А. Успенский. - Москва : Государственное издательство Физико-математической литературы, 1960. - 492 с. : ил. - (Математическая логика и основания математики). - Библиогр.: с. 476-481. - Указ. терминов: с. 482-487. - 1.36 р., 1.36 р.
Кл.слова (ненормированные): функции вычислительные Экземпляры всего: 2 АБН (1), Х (1) Свободны: АБН (1), Х (1) |
51 В 317 Верещагин, Николай Константинович. Колмогоровская сложность и алгоритмическая случайность / Н. К. Верещагин, В. А. Успенский, А. Шень. - Москва : Издательство МЦМНО, 2013. - 575 с. - Библиогр.: с. 546-558. - 1000 экз. - ISBN 978-5-4439-0212-8 : 550 р.
Кл.слова (ненормированные): СЛОЖНОСТЬ АЛГОРИТМОВ -- КОЛМОГОРОВСКАЯ СЛОЖНОСТЬ -- АПРИОРНАЯ ВЕРОЯТНОТЬ -- ШЕННОНОВСКАЯ ЭНТРОПИЯ -- ИНФОРМАЦИЯ И ЛОГИКА -- АЛГОРИТМИЧЕСКАЯ СТАТИСТИКА Доп.точки доступа: Успенский, Владимир Андреевич; Шень, Александр Экземпляры всего: 1 Х (1) Свободны: Х (1) |
511 У 774 Успенский, Владимир Андреевич. Треугольник Паскаля / В. А. Успенский. - 2-е изд., доп. - Москва : Наука, 1979. - 48 с. : ил. - (Популярные лекции по математике ; вып. 43). - 00.10 р., 00.10 р.
Кл.слова (ненормированные): ПАСКАЛЯ ТРЕУГОЛЬНИК Экземпляры всего: 3 Х (1), АБУ (2) Свободны: Х (1), АБУ (2) |
51 У 774 Успенский, Владимир Андреевич. Теория алгоритмов: основные открытия и приложения / В. А. Успенский, А. Л. Семенов. - Москва : Наука, 1987. - 287 с. - (Библиотечка программиста). - 1.20 р., 1.20 р.
Кл.слова (ненормированные): АЛГОРИТМЫ Доп.точки доступа: Семенов, Алексей Львович Экземпляры всего: 2 АБН (1), Х (1) Свободны: АБН (1), Х (1) |
517 У 774 Успенский, Владимир Андреевич. Теорема Генделя о неполноте / В. А. Успенский. - Москва : Наука, 1982. - 111 с. - (Популярные лекции по математике ; вып. 57). - 00.15 р., 00.15 р.
Кл.слова (ненормированные): теоремы (доказательство) -- МАТЕМАТИЧЕСКАЯ ЛОГИКА Экземпляры всего: 8 АБУ (7), Х (1) Свободны: АБУ (7), Х (1) |