Поиск материала «Вычислимость, Введение в теорию рекурсивных функций, Катленд H., 1983» для чтения, скачивания и покупки

Найденные материалы, документы, бумажные и электронные книги и файлы:

Ниже показаны результаты поиска известных поисковых систем. В результатах могут быть показаны как эта книга, так и похожие на нее по названию или автору.

Search results:

1. рекурсивных

   Книга содержит изложение современного состояния теории ... К., „Введение в ... под названием „Теория рекурсивных функций и эффективная вычислимость", т.

   ijevanlib.ysu.am
2. Программа дисциплины "Теория алгоритмов"; 01.04.02 " ...

   Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. - http://publ.lib.ru/ARCHIVES/K/KATLEND_Naydjel/_Katlend_N..html. Лавров И. А ...

   kpfu.ru
3. Лекции по математической логике и теории алгоритмов

   MНР-вычислимость частично-рекурсивных функций ... Введение в теорию рекурсив- ных функций / Н. Катленд. - М. : Мир ... Теория рекурсивных функций и эффектив- ная ...

   www.lib.uniyar.ac.ru
4. РОССИЙСКАЯ АКАДЕМИЯ НАУК

   Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. М.,. 1983. [10] Китаев А.Ю., Шень А.Х., Вялый М.Н. Классические и квантовые вычисле- ния. М ...

   logicalinvestigations.ru
5. Министерство образования Республики Беларусь

   Основные понятия теории разностных схем. Сходимость ... Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. ... Полное руководство, т. 1. – К.: BHV.

   www.bsuir.by
6. Роджерс Х. Теория рекурсивных функций и ...

   Катленд Н. Вычислимость. Введение в теорию рекурсивных функций ... Маслова Книга известного английского математика, охватывающая основные вопросы теории ...

   www.studmed.ru
7. ОСНОВЫ ТЕОРИИ АЛГОРИТМОВ И АНАЛИЗА ИХ ...

   Автор: ВА Носов · Цитируется: 30 — ВВЕДЕНИЕ. § 2 МАШИНА ТЬЮРИНГА И ФУНКЦИИ ... ЧАСТИЧНО РЕКУРСИВНЫЕ ФУНКЦИИ И ИХ ВЫЧИСЛИМОСТЬ. § 5. ... Катленд Н. Вычисл ...

   www.imath.kiev.ua