• 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
    • हिंदी
    • Հայերէն
    • Українська
Розширений
  • Теория формальных систем: пер....
  • Цитувати
  • Відправити по sms
  • Відправити е-поштою
  • Друк
  • Експортувати запис
    • Екпортувати в RefWorks
    • Екпортувати в EndNoteWeb
    • Екпортувати в EndNote
  • Постійне посилання
اكتمل التصدير — 
Теория формальных систем: пер. с англ.

Теория формальных систем: пер. с англ.

Бібліографічні деталі
Автор: Смальян Р. Раймонд
Інші автори: Шанин Н. А. (редактор)
Мова:Російська
Опубліковано: Москва, Наука, 1981
Серія:Математическая логика и основания математики
Предмети:
Математическая логика
формальные системы
теория
математические системы
рекурсивная перечислимость
неполнота
неразрешимость
рекурсивные функции
креативность
приложения
Формат: Книга
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=308410
  • Примірники
  • Опис
  • Схожі ресурси
  • Службовий вигляд

Схожі ресурси

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