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