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