Refine your search

• Availability

  • Limit to records with available items

• Authors

  • Адян, С. И. (1)
  • Верещагин, Николай Константинович (1)
  • Мендельсон, Эллиот (1)

• Locations

  • Абонемент (1)
  • Книгохранилище (2)
  • Читальный зал 5 (2)

• Item types

  • 1 месяц (1)
  • 1 неделя (2)
  • 6 месяцев (1)
  • Выдается в читальный зал (2)

• Topics

  • Аккермана функция (1)
  • Геделя теорема (1)
  • Мучника-Фридберга теорема (1)
  • Поста конструкции (1)
  • Тарского теорема (2) [x]
  • Тьюринга машины (1)
  • Функции (мат.) вычислимые (1)
  • Хартогса теорема (1)
  • аксиоматическая теория множеств (1)
  • алгоритмов теория (1)
  • алгоритмы (1)
  • алгоритмы вычисляющие (1)
  • арифметика формальная (1)
  • арифметическая иерархия (1)
  • вычислительные модели (1)
  • задачи по математической логике (1)
  • исчисления ассоциативные (1)
  • исчисления двусторонние (1)
  • кванторы (2)
  • логика высказываний (1)
  • логика предикатов (1)
  • математическая логика (2)
  • множества m-полные (1)
  • множества перечислимые (1)
  • множества продуктивные (1)
  • множества простые (1)
  • множества разрешимые (1)
  • множества рекурсивные (1)
  • множества универсальные (1)
  • нумерации (1)
  • полугруппы (1)
  • рекурсии (1)
  • система аксиом (1)
  • степени неразрешимости (1)
  • теорема о неподвижной точке (1)
  • теоремы о полноте (1)
  • теория моделей (1)
  • упражнения (1)
  • учебные пособия для вузов (1)
  • функции рекурсивные (1)
  • функции универсальные (1)
  • Show more
  • Show less