A987427-ОХФ Кочетков, Юрий Юрьевич. Вычислимые функции [Текст] : учеб. пособие / Ю. Ю. Кочетков ; Гос. образоват. учреждение высш. проф. образования "Московский государственный институт электроники и математики (технический университет". - Москва : [Б. и.], 2008. - 53, [3] с. - Библиогр.: с. 53 (3 назв.). - ISBN 978-5-94506-201-6 : 158.84 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): вычислимые функции -- рекурсивные функции -- вычислительная сложность -- перечислимые множества Экземпляры всего: 1 ОХФ (1) |
A989305-ОХФ Игошин, Владимир Иванович. Теория алгоритмов [Текст] : учебное пособие / В. И. Игошин. - Москва : Инфра-М, 2012. - 317, [3] с. - (Высшее образование). - Библиогр.: с. 306-311 (110 назв.). - ISBN 978-5-16-005205-2 (в пер.) : 231.00 р. Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201.65 - математика
Рубрики: математика--математическая логика Кл.слова (ненормированные): алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность -- массовые проблемы -- алгоритмические проблемы -- Гильберта десятая проблема -- Геделя теорема -- Тарского теорема -- разрешимые множества -- перечислимые множества -- Маркова нормальные алгоритмы Экземпляры всего: 1 ОХФ (1) |