Refine your search
Availability
-
Bibliographic level
- Книги (3)
-
Authors
- Бабичева И. В. (1)
- Бродская Ю. А. (1)
- Лихтарников Л. М. (1)
- Розен В. В. (1)
- Сукачева Т. Г. (1)
-
Topics
- логика предикатов (3)
- математическая логика (3)
- алгебра (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)
- Show more
- Show less
-
Places
- ЭБС Лань [x]