• English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
Avanzata
  • Вычислимость. Введение в теори...
  • Citazione
  • Invia SMS
  • Invia email
  • Stampa
  • Esporta il record
    • Esporta a RefWorks
    • Esporta a EndNoteWeb
    • Esporta a EndNote
  • PLink permanente
Вычислимость. Введение в теорию рекурсивных функций: пер. с англ.

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

Dettagli Bibliografici
Autore principale: Катленд Н. Найджел
Altri autori: Маслов С. Ю. (редактор)
Lingua:russo
Pubblicazione: Москва, Мир, 1983
Soggetti:
Рекурсивные функции
вычислимость
множества
функции
отношения
предикаты
тезис Черча
нумерация
универсальные программы
разрешимость
неразрешимость
Natura: Libro
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=290736
  • Posseduto
  • Descrizione
  • Documenti analoghi
  • MARC21

Documenti analoghi

  • Элементарные рекурсивные функции
    di: Марченков С. С. Сергей Серафимович
    Pubblicazione: (Москва, МЦНМО, 2003)
  • Математическая логика: пер. с англ.
    di: Клини С. К. Стивен Коул
    Pubblicazione: (Москва, Едиториал УРСС, 2005)
  • Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции
    di: Верещагин Н. К
    Pubblicazione: (Москва, МЦНМО, 1999)
  • Математическая логика: пер. с англ.
    di: Клини С. К. Стефан Коул
    Pubblicazione: (Москва, Мир, 1973)
  • Теория алгоритмов: учебник
    di: Матрос Д. Ш. Дмитрий Шаевич
    Pubblicazione: (Москва, БИНОМ. Лаборатория знаний, 2008)