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

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

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

Search results:

1. Катленд Найджел

   ⒶⒸКатленд Н. Вычислимость. Введение в теорию рекурсивных функций. (Computability. An introduction to recursive function theory, 1980) [Djv-Fax- 5.2M] ...

   publ.lib.ru
2. Вычислимость. Введение в теорию рекурсивных функций

   Download Вычислимость. Введение в теорию рекурсивных функций book for free from Z-Library. Request Code : ZLIBIO43375. Categories: Suggest Category. Volume:.

   z-lib.io
3. Купить эту книгу
4. Канцтовары
   

   Канцтовары: бумага, ручки, карандаши, тетради. Ранцы, рюкзаки, сумки. И многое другое.

   my-shop.ruКупить
6. Вычислимость. Введение в теорию рекурсивных функций

   Книга охватывает основные вопросы теории вычислимых функций и ее приложений: сложность вычислений и алгоритмов, теоремы Геделя о неполноте и Черча о ...

   z-lib.io
7. Катленд Найджел. Вычислимость. Введение в теорию ...

   — 255 с. Книга известного английского математика, охватывающая основные вопросы теории вычислимых функций и ее приложений: сложность вычислений и алгоритмов, ...

   f.eruditor.link
8. Катленд Н. / Вычислимость. Введение в теорию ...

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

   urss.ru
9. ВЫЧИСЛИМЫЕ ФУНКЦИИ

   Автор: НК Верещагин — [3] Н.Катленд, Вычислимость. Введение в теорию рекурсивных функций. Перевод с английского А.А.Мучника под редакцией. С. Ю. Маслова. М.: Мир, 1983. 256 с. [4] ...

   mccme.ru
10. ВЫЧИСЛИМЫЕ ФУНКЦИИ

    Автор: НК Верещагин — [3] Н.Катленд, Вычислимость. Введение в теорию рекурсивных функций. Перевод с английского. А. А. Мучника под редакцией С. Ю. Маслова. М.: Мир, 1983. 256 с ...

    www.lirmm.fr
11. Литература по математической логике и теории алгоритмов

    [PDF] ... Теория рекурсивных функций и эффективная вычислимость. — М.: Мир, 1972. — 624 с. Катленд Н. Вычислимость. Введение в теорию рекурсивных функций.

    logic.math.msu.ru
12. Катленд, Н. - Вычислимость: Введение в теорию ...

    Книга I-3 К-295. Катленд, Н. Вычислимость: Введение в теорию рекурсивных функций / Н. Катленд, А. А. Мучник, С. Ю. Маслов . – М. : Мир, 1983 . – 256 с.

    elcat.lib.misis.ru
13. Скачать Роджерс Х. Теория рекурсивных функций и ...

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

    i.twirpx.link
14. ОСНОВЫ ТЕОРИИ АЛГОРИТМОВ И АНАЛИЗА ИХ ...

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

    www.imath.kiev.ua
15. Лекции по математической логике. Часть II

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

    parallels.nsu.ru
16. Катленд Н. Вычислимость. Введение в теорию ...

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

    www.studmed.ru
17. рекурсивных

    Зато все остальные разделы общей теории вычислимых функций изложены с энциклопедической полнотой. По широте и полноте охвата книга Роджерса не имеет равных ...

    ijevanlib.ysu.am
18. Вычислимость. Введение в теорию рекурсивных функций ...

    Вычислимость. Введение в теорию рекурсивных функций | Катленд Н. | скачать книгу | BookSee - Download books for free. Find books.

    en.booksee.org
19. Теория вычислимости — Рувики: Интернет-энциклопедия

    Катленд Н. Вычислимость. Введение в теорию рекурсивных функций.. — М. : Мир, 1986. — 256 с. Клини. Введение в метаматематику. — М. : Издательство ...

    ru.ruwiki.ru
20. Вычислимость. Введение в теорию рекурсивных функций

    18 нояб. 2005 г. — Автор: Катленд Н. Аннотация: Книга охватывает основные вопросы теории вычислимых функций и ее приложений: сложность вычислений и алгоритмов, ...

    lib.mexmat.ru
21. Скачать Петер Р. Рекурсивные функции [DJVU]

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

    i.twirpx.link
22. Теория алгоритмов

    Автор: ВЕ Плиско — ... функция для класса K существует в том и только в том ... Введение в теорию рекурсивных функций. М., Мир ... Теория рекурсивных функций и эффективная вычислимость.

    logic.math.msu.ru
23. Министерство образования Республики Беларусь

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

    www.bsuir.by
24. Теория алгоритмов

    Понятие ограниченных суммы и произведения функций ... Правильная вычислимость простейших рекурсивных функций. ... Введение в теорию рекурсивных функций [Текст] / ...

    www.ulspu.ru
25. ТЕОРИЯ АЛГОРИТМОВ

    Автор: АА Волочков · 2013 — Нельзя сказать, что теория рекурсивных функций в том виде, в каком ... Рекурсивная функция и вычислимость ... Введение в теорию рекурсивных функций. –. М.: Мир ...

    pastuhova.ucoz.ru
26. Автоматные рекурсивные вычисления

    18 мар. 2020 г. — Катленд Н. Вычислимость. Введение в теорию рекурсивных функций: Пер. с англ. – М.: Мир, 1983. – 256 с. 7. Рекурсия и цикл, в чем разница? На ...

    habr.com
27. Классическая вычислимость и признаки индетерминизма

    Автор: АМ Анисов · 2007 · Цитируется: 3 — Разумеется, функцию fatum можно воспроизвести средствам и МНР, позаботившись о том ... [7] Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. М., ...

    cyberleninka.ru
28. Государственное образовательное учреждение среднего ...

    Часть 1, Теория моделей. М.: Наука, 1982. 5. Гейтинг А. Интуиционизм. М., Мир, 1965. 6. Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. М ...

    yar-pk.edu.yar.ru
29. Теория алгоритмов

    Дополнительная литература. 1. Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. – М: Мир,. 1983.-256с. (Библиотека УлГПУ). 2. Лавров И.А ...

    www.ulspu.ru
30. Mathematical works of Vladimir A. Uspensky: a commentary

    Автор: A Shen · 2020 — Катленд, Вычислимость. Введение в теорию рекурсивных функций. М.:Мир,. 1983. [109] A.Шень, Аксиоматический подход к теории алгоритмов и ...

    arxiv.org
31. Диссертация на тему «Методы обращения дискретных ...

    Катленд H. Вычислимость. Введение в теорию рекурсивных функций / Н. Катленд. — Москва: «Мир», 1983. — С. 256. 11. Гэри М. Вычислительные машины и ...

    www.dissercat.com
32. Математическая логика и теория алгоритмов

    17 сент. 2015 г. — уточнения класса вычислимых объектов (вычислимых функций и ... Катленд К. Вычислимость. Введение в теорию рекурсивных функций. Пер. c англ. M.:Мир ...

    old.sgu.ru
33. курсовая работа Rekursia Nikolaenko

    Сапуглецева 10) Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. - М., 1983 11) Кормен, Т., Алгоритмы: построение и анализ [Текст]: учебник ...

    www.calameo.com
34. Математическая логика и теория алгоритмов

    Автор: АП Замятин · 2008 · Цитируется: 1 — ко в том случае, когда функции f(x1 , …, xn ) и g ... вычислимых функций и рекурсивных функций? Ответ ... ные функции) можно было бы ввести временную сложность ра-.

    elar.urfu.ru
35. Методология науки

    Том 3. АНАЛИЗ ПОНЯТИЙ. И КОНЦЕПЦИЙ. Page 2. 2 ... Том 3. АНАЛИЗ ПОНЯТИЙ И КОНЦЕПЦИЙ ... Катленд Н. Вычислимость: Введение в теорию рекурсивных функций.

    sarfti.ru