A572345-ОХФ, A873360-ОХФ Справочная книга по математической логике: В 4 ч. [Текст] . - Москва : Наука. Гл. ред. физ.-мат. лит. Ч. 3 : Теория рекурсии: Пер. с англ. / Под ред. Ершова Ю. Л. - 1982. - 359, [1] с. - Библиогр. - ISBN Б. и. (в пер.) : 30.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): рекурсии теория -- рекурсивные функции -- математическая логика -- алгоритмические проблемы Экземпляры всего: 2 ОХФ (2) |
A875391-ОХФ Верещагин, Николай Константинович Лекции по математической логике и теории алгоритмов [Текст] / Н. К. Верещагин, А. Шень. - Москва : Моск. центр непрерыв. мат. образования. - (Современные лекционные курсы. Математическая логика и теория алгоритмов). Ч. 3 : Вычислимые функции. - Москва : Моск. Центр непрерыв. мат. образования, 1999. - 173, [3] с. - ISBN 5-900916-39-1 : 40.00 р. Авт. и загл. кн. указаны на тит. л.
Рубрики: математика--математическая логика Кл.слова (ненормированные): вычислимые функции -- Тьюринга машина -- рекурсивные функции Доп. точки доступа: Шень, А. Экземпляры всего: 1 ОХФ (1) |
A883692-ОХФ, A961093-ОХФ Марченков, Сергей Серафимович. Элементарные рекурсивные функции [Текст] / С. С. Марченков. - Москва : МЦНМО, 2003. - 111, [1] с. - Библиогр. - ISBN 5-94057-098-4 : 50.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): рекурсивные функции -- элементарные функции -- стековые регистровые машины -- предикаты ограниченно арифметические -- Гжегорчика классы Экземпляры всего: 2 ОХФ (2) |
A979542-ОХФ-ЧЗ-3, A979543-ОХФ-ЧЗ-4 Матрос, Дмитрий Шаевич. Теория алгоритмов [Текст] : учебник / Д. Ш. Матрос, Г. Б. Поднебесова. - Москва : БИНОМ. Лаб. знаний, 2008. - 202, [6] с. : рис., табл. - (Педагогическое образование). - Библиогр.: с. 196-197. - Предм. указ.: с. 198-200. - ISBN 978-5-94774-226-8 (в пер.) : 173.00 р. Рекомендовано УМО по специальностям пед. образования в качестве учеб. для студентов вузов, обучающихся по специальности 050202. 65 (030100) -информатика
Рубрики: математика--математическая логика Кл.слова (ненормированные): алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность -- NP-полные задачи Доп. точки доступа: Поднебесова, Галина Борисовна Экземпляры всего: 2 ОХФ-ЧЗ-3 (1), ОХФ-ЧЗ-4 (1) |
Учебная литература, A980462-ОХФ, A980463-ОХФ, Игошин, Владимир Иванович. Основы теории алгоритмов [Текст] : лекции для студентов, изучающих информатику и информ. технологии / В. И. Игошин ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательский центр "Наука", 2008. - 96, [1] с. - Библиогр.: с. 92-94 (72 назв.). - ISBN 978-5-91272-541-8 : 85.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): алгоритмов теория -- Тьюринга машина -- вычислимые функции -- рекурсивные функции -- перечислимость Аннотация: Курс "Теория алгоритмов" является непосредственным продолжением курса математической логики, учебником по которому служит книга В. И. Игошин. Математическая логика и теория алгоритмов. - М.: Издательский центр "Академия", 2004, 2008. - 448 с. В предлагаемом учебном пособии более детально и подробно, нежели в указанном учебнике, изложены вопросы, относящиеся к теории алгоритмов. С большим количеством примеров рассмотрены три формализации алгоритмов - машины Тьюринга, рекурсивные функции, алгоритмы Маркова, и доказана их эквивалентность. Затем рассматривается начало общей теории вычислимости - нумерация алгоритмов и вычислимых функций, метод диагонализации, алгоритмическая теория множеств (разрешимость и перечислимость множеств), алгоритмически неразрешимые массовые проблемы. В качестве сборника задач по курсу "Теория алгоритмов" предлагается использовать книгу В. И. Игошин. Задачи и упражнения по математической логике и теории алгоритмов. - М.: Издательский центр "Академия", 2005, 2006, 2007. - 304 с. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Прикладная информатика" и изучающих информатику и информационные технологии. Держатели документа: ЗНБ СГУ Экземпляры всего: 3 ОХФ (2), ОУОЕН (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) |
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) |
A989710-ОХФ-ЧЗ-4 Игошин, Владимир Иванович. Теория алгоритмов [Текст] : учебное пособие / В. И. Игошин. - Москва : Издательский центр "Академия", 2013. - 315, [5] с. - (Среднее профессиональное образование. Математика и естественно-научные дисциплины). - Библиогр.: с. 309-314 (107 назв.). - ISBN 978-5-7695-9362-8 (в пер.) : 310.00 р. Рекомендовано Федер. гос. автоном. учреждением "Федеральный институт развития образования" (ФГАУ "ФИРО") в качестве учеб. пособия для использования в учеб. процессе образоват. учреждений, реализующих прогр. сред. проф. образования по специальности 230115 "Программирование в компьютерных системах", учеб. дисциплина "Теория алгоритмов"
Рубрики: математика--математическая логика Кл.слова (ненормированные): алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность -- массовые проблемы -- алгоритмические проблемы Экземпляры всего: 1 ОХФ-ЧЗ-4 (1) |