Refine your search
Availability
-
Bibliographic level
- Книги (2)
-
Authors
-
Locations
-
Item types
- 1 месяц (2)
- Выдается в читальный зал (1)
-
Topics
- множеств теория (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)
- комбинаторные задачи (1)
- комбинационные схемы (1)
- комбинационные схемы (мат. кибернетика) (1)
- контактные структуры, виды (1)
- контрольные работы (1)
- конъюктивные нормальные формы (1)
- логика высказываний (1)
- логические операции (1)
- логические элементы, функциональная полнота (1)
- логическое следование (1)
- математическая логика (1)
- Show more
- Show less