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

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

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

Search results:

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

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

   publ.lib.ru
2. Катленд Н. Вычислимость. Введение в теорию ...

   М.: Мир, 1972. - 624 с. Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено ...

   www.studmed.ru
3. Купить эту книгу
4. Канцтовары
   

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

   my-shop.ruКупить
6. Катленд Н. / Вычислимость. Введение в теорию ...

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

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

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

   mccme.ru
8. Литература по математической логике и теории алгоритмов

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

   logic.math.msu.ru
9. ВЫЧИСЛИМЫЕ ФУНКЦИИ - MCCME

   old.mccme.ru
10. Катленд Н. Вычислимость. Введение в теорию ... - Букинист

    Вычислимость. Введение в теорию рекурсивных функций. М., Мир, 1983 г. 256 с. Состояние очень хорошее. Цена: 80. Гривня, Доллар, Рубль, Евро.

    book-i-nist.com
11. Лекции по математической логике. Часть II

    Введение в теорию моделей и метаматематику алгебры. М.: Наука, 1967. 19. Роджерс Х. Теория рекурсивных функций и вычислимость. М.: Мир, 1972. 20. Соар Р ...

    parallels.nsu.ru
12. рекурсивных

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

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

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

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

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

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

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

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

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

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

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

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

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

    www.imath.kiev.ua
19. Теория алгоритмов

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

    www.ulspu.ru
20. МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ

    класс вычислимых функций остался бы неизменным, хотя некоторые функции мог- ... том, что класс определенных ими функций ... Введение в теорию рекурсивных функций :.

    www.math.tsu.ru
21. Классическая вычислимость и признаки индетерминизма

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

    cyberleninka.ru
22. Диссертация на тему «Теория и алгоритмы обработки ...

    Теория алгоритмов и автоматов / Ю. Г. Карпов. СПб. : Геликон Плюс, 2000. - 256 с. 38. Катленд, Н. Вычислимость. Введение в теорию рекурсивных функций / Н.

    www.dissercat.com
23. ТЕОРИЯ АЛГОРИТМОВ

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

    pastuhova.ucoz.ru
24. Программа учебной дисциплины

    Рекомендуемая основная литература. №п/п. Наименование. 1 Н. Катленд, Вычислимость. Введение в теорию рекурсивных функций, Мир,. М., 1983. 2 С. Г ...

    www.hse.ru
25. 34гр.

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

    yar-pk.edu.yar.ru
26. Схемы рефлексии в формальной арифметике тема ...

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

    www.dissercat.com
27. Программа курса ¾Математическая логика¿

    22. Дж. Булос, Р. Джеффри, Вычислимость и логика, М.: Мир, 1994. 23. Н.Катленд, Вычислимость. Введение в теорию рекурсивных функций, М.: Мир, 1983. 4.

    mmf-old.nsu.ru
28. Теория вычислимости

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

    ru.wikipedia.org
29. Математическая логика

    Алгоритмы и вычислимые функции. Интуитивное ... pdf>.*. 7. Мендельсон Э. Введение в ... Катленд Н. Вычислимость. Введение в теорию рекурсивных функций.

    www.inf.vspu.ac.ru
30. Список важных публикаций по теоретической информатике

    Катленд, Найджел Дж. (1980). Вычислимость: Введение в теорию рекурсивных функций. Издательство Кембриджского университета. ISBN 978-0-521-29465-2 . Обзор этого ...

    ru.wikibrief.org
31. Недетерминированная вычислимость: философские ...

    Автор: АМ Анисов · 2009 · Цитируется: 4 — Детерминированная вычислимость ограничена вычислением функций ... Введение в теорию рекурсивных функций. М., 1983 ... Теория а-рекурсии // Справочная книга по ...

    cyberleninka.ru
32. программа вступительных испытаний в магистратуру

    Линейная алгебра, М.: Физико- математическая литература, 2000. ... Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. ... pdf. 76. Шарковский А.Н., ...

    esstu.ru
33. pdf

    решения: ярким примером тому служит книга Х.Роджерса "Теория рекурсивных функций и эффективная вычислимость", М., "Мир",. 16. Page 17. 1972. К концу лекций мы ...

    ikfia.ysn.ru
34. Автоматные рекурсивные вычисления

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

    habr.com
35. Mathematical works of Vladimir A. Uspensky: a commentary

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

    arxiv.org