A871087-ОХФ Верещагин, Николай Константинович Лекции по математической логике и теории алгоритмов [Текст] / Н. К. Верещагин, А. Шень. - Москва : Моск. Центр непрерыв. мат. образования. - (Современные лекционные курсы. Математическая логика и теория алгоритмов). Ч. 1 : Начала теории множеств. - Москва : Моск. Центр непрерыв. мат. образования, 1999. - 126, [2] с. - ISBN 5-900916-36-7 : 25.00 р. На обл. авт. не указаны
Рубрики: математика--математика Кл.слова (ненормированные): множеств теория Доп. точки доступа: Шень, А. Экземпляры всего: 1 ОХФ (1) |
A875391-ОХФ Верещагин, Николай Константинович Лекции по математической логике и теории алгоритмов [Текст] / Н. К. Верещагин, А. Шень. - Москва : Моск. центр непрерыв. мат. образования. - (Современные лекционные курсы. Математическая логика и теория алгоритмов). Ч. 3 : Вычислимые функции. - Москва : Моск. Центр непрерыв. мат. образования, 1999. - 173, [3] с. - ISBN 5-900916-39-1 : 40.00 р. Авт. и загл. кн. указаны на тит. л.
Рубрики: математика--математическая логика Кл.слова (ненормированные): вычислимые функции -- Тьюринга машина -- рекурсивные функции Доп. точки доступа: Шень, А. Экземпляры всего: 1 ОХФ (1) |
A875392-ОХФ Верещагин, Николай Константинович Лекции по математической логике и теории алгоритмов [Текст] / Н. К. Верещагин, А. Шень. - Москва : Моск. центр непрерыв. мат. образования. - (Современные лекционные курсы. Математическая логика и теория алгоритмов). Ч. 2 : Языки и исчисления. - Москва : Моск. Центр непрерыв. мат. образования, 2000. - 286, [2] с. - ISBN 5-900916-66-9 : 40.00 р. Авт. и загл. указаны на тит. л.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- логика высказываний -- исчисления высказываний -- исчисления предикатов -- языки первого порядка Доп. точки доступа: Шень, А. Экземпляры всего: 1 ОХФ (1) |
A962559-ОХФ, A962560-ОХФ-ЧЗ-4 Успенский, Владимир Андреевич. Вводный курс математической логики [Текст] : [учеб. пособие] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2004. - 125, [3] с. - Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - ISBN 5-9221-0278-8 : 95.37 р. На обл. авт. не указаны
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- множеств теория -- алгоритмов теория -- доказательств теория -- Геделя теорема Доп. точки доступа: Верещагин, Николай Константинович Плиско, Валерий Егорович Экземпляры всего: 2 ОХФ (1), ОХФ-ЧЗ-4 (1) |
A973606-ОХФ-ЧЗ-4 Успенский, Владимир Андреевич. Вводный курс математической логики [Текст] : учеб. пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2007. - 125, [3] с. - Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - ISBN 978-5-9221-0278-0 : 106.20 р. На обл. авт. не указан
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- множеств теория -- алгоритмов теория -- доказательств теория -- Геделя теорема Доп. точки доступа: Верещагин, Николай Константинович Плиско, Валерий Егорович Экземпляры всего: 1 ОХФ-ЧЗ-4 (1) |
A917802-ОХФ Верещагин, Николай Константинович. Колмогоровская сложность и алгоритмическая случайность [Текст] / Н. К. Верещагин, В. А. Успенский, А. Шень. - Москва : Издательство МЦНМО, 2013. - 575, [1] с. - Библиогр.: с. 546-558 (194 назв.). - Предм. указ.: с. 559-567. - Указ. имён: с. 568-570. - ISBN 978-5-4439-0212-8 (в пер.) : 552.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): алгоритмическая теория информации -- Колмогоровская сложность -- Шенновская энтропия -- алгоритмическая случайность -- вероятностей теория -- вычислительная сложность Доп. точки доступа: Успенский, Владимир Андреевич Шень, Александр Экземпляры всего: 1 ОХФ (1) |