М21 Мальцев, А. И. Алгоритмы и рекурсивные функции [Текст] / А. И. Мальцев. - 2-е изд. - М. : Наука, 1986. - 368 с. - 1.70 р.
Кл.слова (ненормированные): Математика -- рекурсивные функции -- алгоритмы -- высшая математика Экземпляры всего: 3 2к (3) Свободны: 2к (3) |
Е80 Ершов, Ю. Л. Математическая логика: Учеб. пособие [Текст] / Ю. Л. Ершов. - М. : Наука, 1979. - 320 с. : ил. - 0.80 р.
Кл.слова (ненормированные): Математика -- рекурсивные функции -- алгоритмы -- теория доказательств -- теория моделей -- эквивалентность -- алгебраические системы -- теория множеств -- учебное пособие для вузов -- математическая логика Экземпляры всего: 2 2к (2) Свободны: 2к (2) |
М29 Мартин-Лёф, П. Очерки по конструктивной математике: Пер. с англ. [Текст] / П. Мартин-Лёф; Под ред. Г.Е. Минца. - М. : Мир, 1975. - 136 с. - 0.40 р.
Кл.слова (ненормированные): Математика -- конструктивная теория -- рекурсивные функции -- конструктивные элементы -- множества -- открытые множества -- борелевские множества -- теория меры -- нули -- ординальные числа Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
К82 Криницкий, Н. А. Алгоритмы вокруг нас [Текст] / Н.А. Криницкий; АН СССР. - М. : Наука, 1977. - 224 с. - (Серия "Проблемы науки технического прогресса"). - 0.80 р.
Кл.слова (ненормированные): Математика -- алгоритмы -- создание алгоритмов -- рекурсивные функции -- арифметизация математики -- электронные вычислительные машины -- формальные языки -- математическое обеспечение -- автоматизация процессов Экземпляры всего: 2 2к (2) Свободны: 2к (2) |
М38 Машины Тьюринга и рекурсивные функции [Текст] / Г.-Д. Эббинхауз, К. Якобс, Ф.-К. Ман и др.; Пер. нем. Э.Г. Белаги. - М. : Мир, 1972. - 264 с. - (Современная математика). - 0.89 р.
Кл.слова (ненормированные): Математика -- машина Тьюринга -- рекурсивные функции -- вычислимые функции -- алгоритмы -- логика предикатов -- решение задач Доп.точки доступа: Эббинхауз, Г.-Д. Экземпляры всего: 2 2к (2) Свободны: 2к (2) |
М30 Марченков, С. С. Элементарные рекурсивные функции [Текст] / С. С. Марченков. - М. : МЦНМО, 2003. - 112 с. - 43.00 р.
Кл.слова (ненормированные): Математика -- рекурсия -- функции -- предикаты -- арифметические функции -- рекурсивные функции Экземпляры всего: 5 2к (5) Свободны: 2к (5) |
Е80 Ершов, Ю. Л. Математическая логика: Учеб. пособие [Текст] / Ю. Л. Ершов. - 5-е изд., стер. - СПб. : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). - 322.00 р.
Кл.слова (ненормированные): Математика -- математическая логика -- учебное пособие для вузов -- теория множеств -- алгебраические системы -- эквивалентность -- теория моделей -- теория доказательств -- алгоритмы -- рекурсивные функции -- истинность Экземпляры всего: 14 2к (14) Свободны: 2к (14) |
Р60 Роджерс, Х. Теория рекурсивных функций и эффективная вычислимость [Текст] : Х. Роджерс; Пер. с англ. В.А. Душского; Под ред. В.А. Успенского / Х. Роджерс. - М. : Мир, 1972. - 624 с. - 3.46 р.
Кл.слова (ненормированные): Математика -- функциональный анализ -- математический анализ -- рекурсивные функции -- вычислимые функции Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
К84 Крупский, В. Н. Теория алгоритмов: учеб. пособие для студ. вузов, обуч. по напр. "Информатика и вычислит. техника", "Инфомац. системы и технологии" [Текст] / В. Н. Крупский. - М. : Академия, 2009. - 208 с. - (Университетский учебник. Серия "Прикладная математика и информатика"). - 219.12 р.
Кл.слова (ненормированные): Математика -- прикладная математика -- информатика -- учебное пособие для вузов -- теория алгоритмов -- теория множеств -- машина Тьюринга -- рекурсивные функции -- вычислимые функции -- нумерация -- невычислимые функции -- теорема Райса -- алгоритмические проблемы -- сложности вычислений -- трудные задачи -- булевы схемы -- вычислительные алгоритмы Экземпляры всего: 1 2к (1) Свободны: 2к (1) |