Refine your search
Availability
-
Bibliographic level
- Книги (7)
-
Authors
- Плиско, Валерий Егорович (2)
- Верещагин, Николай Константинович (1)
- Вялый, Михаил Николаевич (1)
- Зюзьков, Валентин Михайлович (1)
- Клини, Стивен Коул (1)
- Крупский, Владимир Николаевич (1)
- Лавров, Игорь Андреевич (1)
- Максимова, Лариса Львовна (1)
- Подольский, Дмитрий Владимирович (1)
- Рубцов, Николай Александрович (1)
- Тишин, Владимир Викторович (1)
- Успенский, Владимир Андреевич (1)
- Шелупанов, Александр Александрович (1)
- Show more
- Show less
-
Locations
- Книгохранилище (5)
- Читальный зал 5 (4)
- Абонемент (1)
- Читальный зал. Депозитарий (1)
-
Item types
- Выдается в читальный зал (5)
- 1 неделя (3)
- Выдается по месту хранения (2)
- 1 месяц (1)
- 6 месяцев (1)
-
Topics
- Тьюринга машины [x]
- исчисление предикатов (5)
- множеств теория (5)
- математическая логика (4)
- учебные пособия для вузов (4)
- арифметика формальная (3)
- исчисление высказываний (3)
- логика высказываний (3)
- логика предикатов (3)
- Геделя теорема о полноте (2)
- Черча тезис (2)
- аксиоматические теории (2)
- алгоритмов теория (2)
- теория алгоритмов (2)
- Алгоритмы (1)
- Генцена теорема о нормальной форме (1)
- Дискретная математика (1)
- Задачи (1)
- Кантора теорема (1)
- Клини нумерация (1)
- Математическая логика (1)
- Множеств теория (1)
- Поста нумерация (1)
- Сколема парадокс (1)
- Тьюринга машины (дискретная математика) (1)
- автоморфизмы (1)
- аксиоматические системы (1)
- аксиоматический метод (1)
- алгебра высказываний (1)
- алгебра логики (1)
- алгоритмические проблемы неразрешимые (1)
- бинарные отношения (1)
- булевы алгебры (1)
- булевы функции (1)
- вероятностей теория (1)
- вывод из гипотез (1)
- выразимость (мат. логика) (1)
- выразимость (мат. логика), доказательство (1)
- вычислимости теория (1)
- вычислимые функции (1)
- графики (1)
- графов теория (1)
- дискретная математика (1)
- задачи (1)
- задачи труднорешаемые, примеры (1)
- изоморфизмы (1)
- интуиционизм (основания математики) (1)
- интуиционистская логика (1)
- истинности формальное определение (1)
- истинность (1)
- Show more
- Show less