Refine your search
Availability
-
Bibliographic level
- Книги (5)
-
Authors
-
Locations
- Книгохранилище (3)
- Читальный зал 5 (2)
- Читальный зал. Депозитарий (2)
- Библиотека РФФ (1)
-
Item types
- Выдается в читальный зал (3)
- 1 месяц (2)
- Выдается по месту хранения (2)
- 6 месяцев (1)
-
Topics
- Тьюринга машины (5)
- множества разрешимые (5)
- Черча тезис (4)
- Тарского теорема (3)
- кванторы (3)
- математическая логика (3)
- множества перечислимые (3)
- теорема о неподвижной точке (3)
- учебные пособия для вузов (3)
- функции рекурсивные (3)
- функции универсальные (3)
- NP-полные массовые проблемы (2)
- Геделя теорема о неполноте (2)
- Геделя теорема о полноте (2)
- Гильберта десятая проблема (2)
- Евклида алгоритм (2)
- Кантора теорема (2)
- Маркова алгоритмы нормальные (2)
- автоморфизмы (2)
- аксиоматический метод (2)
- алгоритмическая сложность математических теорий разрешимых (2)
- алгоритмически неразрешимые проблемы массовые (2)
- алгоритмические проблемы математики (2)
- алгоритмические проблемы математической логики (2)
- алгоритмические проблемы неразрешимые (2)
- алгоритмические проблемы разрешимые частично (2)
- алгоритмов теория (2)
- алгоритмы универсальные (2)
- арифметика формальная (2)
- вывод из гипотез (2)
- выразимость (мат. логика) (2)
- выразимость (мат. логика), доказательство (2)
- изоморфизмы (2)
- истинности формальное определение (2)
- истинность (2)
- исчисление предикатов (2)
- категоричность (мат. логика) (2)
- логика высказываний (2)
- логические операции (2)
- логическое следование (2)
- массовые проблемы вычислительных задач (2)
- математические теории разрешимые (2)
- множества полуразрешимые (2)
- множества счетные (2)
- множества эквивалентные (2)
- нумерации алгоритмов (2)
- нумерации функций вычислимых (2)
- перечислимость множества теорем (2)
- предикаты рекурсивные примитивно (2)
- проблема тождества слов (2)
- Show more
- Show less