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) |
Учебная литература, A985018-ОХФ, A985019-ОХФ, A985020-ОХФ-ЧЗ-4, Крупский, Владимир Николаевич. Теория алгоритмов [Текст] : учеб. пособие для студентов вузов / В. Н. Крупский, В. Е. Плиско. - Москва : Изд. центр "Академия", 2009. - 205, [3] с. - (Университетский учебник) (Прикладная математика и информатика). - Библиогр.: с. 203 (19 назв.). - ISBN 978-5-7695-5293-9 (в пер.) : 365.20 р., 320 р. Допущено Науч.-метод. советом по математике М-ва образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по направлениям "Информатика и вычислительная техника", "Информационные системы и технология"
Рубрики: математика--математическая логика Кл.слова (ненормированные): алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность Доп. точки доступа: Плиско, Валерий Егорович Экземпляры всего: 15 ОХФ (2), ОХФ-ЧЗ-4 (1), ОУОЕН (7), ОУООПН-ЧЗ 13 (1), ОУООПН-АБ 3 (4) |