Пропуск в контексте
  • Язык
    • English
    • Русский

Расширенный поиск
  • Машины Тьюринга и рекурсивные...
  • Цитировать
  • Печать
  • Запись для экспорта
    • Экспорт в RefWorks
    • Экспорт в EndNoteWeb
    • Экспорт в EndNote
  • Permanent link
Машины Тьюринга и рекурсивные функции: научное издание/

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

Библиографическая информация
Главные авторы: Эббинхауз, Г. -Д (Автор), Якобс, К. (Автор), Ман, Ф. -К (Автор), Хермес, Г. (Автор)
Другие авторы: Белаги, Э. Г. (Переводчик)
Формат: Книга
Публикация: М.: Мир 1972
Серии:Современная математика. Популярная серия
Предметы:
НАУЧНЫЕ ИЗДАНИЯ
МНОЖЕСТВА
АРИФМЕТИКА
ОПИСАНИЕ
ОПРЕДЕЛЕНИЕ
ПРИМЕРЫ
ВЫЧИСЛИМОСТЬ
ПРЕФИКСЫ
ПЕРЕЧИСЛИМОСТЬ
ЛЕММА
ЛОГИКА ПРЕДИКАТОВ
ПОСЛЕДОВАТЕЛЬНОСТИ
Online-ссылка:Перейти в каталог Библиотеки ТУСУР
  • Фонды
  • Описание
  • Похожие документы
  • Marc-запись

Internet

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

Похожие документы

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

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