• 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
    • हिंदी
    • Հայերէն
    • Українська
Avançada
  • Рекурсивно перечислимые множес...
  • Citar
  • Enviar por SMS
  • Enviar por e-mail
  • Imprimir
  • Exportar registro
    • Exportar para RefWorks
    • Exportar para EndNoteWeb
    • Exportar para EndNote
  • Link permanente
Exportação concluída — 
Рекурсивно перечислимые множества и степени неразрешимости

Рекурсивно перечислимые множества и степени неразрешимости

Detalhes bibliográficos
Autor principal: Арсланов М. М. Марат Мирзаевич
Idioma:russo
Publicado em: Казань, Изд-во Казанского ун-та, 1986
Assuntos:
R-множества
Математическая логика
математика
рекурсивные функции
степени
неразрешимость
полурешетки
Formato: Livro
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=281332
  • Itens
  • Descrição
  • Registros relacionados
  • Registro fonte

Registros relacionados

  • Степени неразрешимости: пер. с англ.; Три теоремы о степенях рекурсивно перечислимых множеств; Решетка рекурсивно перечислимых множеств; Иерархия булевых алгебр; Гипотеза сильной однородности
    por: Шенфилд Дж. Джозеф
    Publicado em: (Москва, Наука, 1977)
  • Рекурсивно перечислимые множества и сводимости табличного типа
    por: Дегтев А. Н. Александр Николаевич
    Publicado em: (Москва, Наука, 1998)
  • Локальная теория степеней неразрешимости
    por: Арсланов М. М. Марат Мирзаевич
    Publicado em: (Казань, Изд-во Казанского ун-та, 1987)
  • Теория формальных систем: пер. с англ.
    por: Смальян Р. Раймонд
    Publicado em: (Москва, Наука, 1981)
  • Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции
    por: Верещагин Н. К
    Publicado em: (Москва, МЦНМО, 1999)