Skip to content
  • Language
    • English
    • Русский

Advanced
  • Машины Тьюринга и рекурсивные...
  • Cite this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Машины Тьюринга и рекурсивные функции: научное издание/

Машины Тьюринга и рекурсивные функции: научное издание/

Bibliographic Details
Main Authors: Эббинхауз, Г. -Д (Author), Якобс, К. (Author), Ман, Ф. -К (Author), Хермес, Г. (Author)
Other Authors: Белаги, Э. Г. (Translator)
Format: Book
Published: М.: Мир 1972
Series:Современная математика. Популярная серия
Subjects:
НАУЧНЫЕ ИЗДАНИЯ
МНОЖЕСТВА
АРИФМЕТИКА
ОПИСАНИЕ
ОПРЕДЕЛЕНИЕ
ПРИМЕРЫ
ВЫЧИСЛИМОСТЬ
ПРЕФИКСЫ
ПЕРЕЧИСЛИМОСТЬ
ЛЕММА
ЛОГИКА ПРЕДИКАТОВ
ПОСЛЕДОВАТЕЛЬНОСТИ
Online Access:Перейти в каталог Библиотеки ТУСУР
  • Holdings
  • Description
  • Similar Items
  • Staff View

Internet

Перейти в каталог Библиотеки ТУСУР

Similar Items

  • Элементы математической логики
    by: Новиков, Петр Сергеевич
    Published: (1959)
  • Вводный курс математической логики [учебное пособие]
    by: Успенский, Владимир Андреевич 1930-2018
    Published: (2004)
  • Вводный курс математической логики [учебное пособие]
    by: Успенский, Владимир Андреевич 1930-2018
    Published: (2007)
  • Введение в математическую логику
    by: Мендельсон, Эллиот
    Published: (1971)
  • Читаем Тьюринга. Путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга
    by: Петцольд, Чарльз
    Published: (2016)
|   Advanced Search   |   Search Tips   |

Большой университет Томска
https://university-tomsk.ru/
Loading...