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