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