Refine your search
Availability
-
Bibliographic level
- Книги (9)
-
Authors
- Кузнецов, Олег Петрович (3)
- Игошин, Владимир Иванович (2)
- Дехтярь, Михаил Иосифович (1)
- Капитонова, Юлия Владимировна (1)
- Кривой, Сергей Лукьянович (1)
- Лавров, Игорь Андреевич (1)
- Латотин, Леонид Александрович (1)
- Летичевский, Александр Адольфович (1)
- Луцкий, Георгий Михайлович (1)
- Макаренков, Юрий Алексеевич (1)
- Максимова, Лариса Львовна (1)
- Николаева, Валентина Владимировна (1)
- Столяр, Абрам Аронович (1)
- Show more
- Show less
-
Locations
- Книгохранилище (7)
- Читальный зал 5 (3)
- Абонемент (2)
- Читальный зал. Депозитарий (2)
- Абонемент. Депозитарий (1)
-
Item types
- Выдается в читальный зал (7)
- 1 неделя (3)
- 1 месяц (3)
- 6 месяцев (3)
-
Topics
- логика предикатов (9)
- Тьюринга машины (8)
- рекурсивные функции [x]
- учебные пособия для вузов (8)
- множества (7)
- алгоритмы (5)
- дискретная математика (5)
- исчисление высказываний (5)
- алгебра высказываний (4)
- графы неориентированные (4)
- графы ориентированные (4)
- графы планарные (4)
- деревья (теория графов) (4)
- полугруппы (4)
- аксиоматические теории (3)
- анализ автоматов (3)
- бинарные отношения (3)
- булева алгебра (3)
- булевы функции (3)
- вычислимость (теория алгоритмов) (3)
- вычислительная сложность алгоритмов (3)
- графы двудольные (3)
- группы (3)
- исчисление предикатов (3)
- формальные грамматики (3)
- Геделя теорема о существовании модели (2)
- Маркова нормальные алгоритмы (2)
- Поста теорема о полноте системы булевых функций (2)
- аксиоматическая теория алгебры высказываний (2)
- аксиоматическая теория высказываний (2)
- аксиоматические теории неформальные (2)
- аксиоматические теории формальные (2)
- аксиоматический метод в математике (2)
- алгебра множеств (2)
- алгоритмические проблемы неразрешимые (2)
- булевы функции и релейно-контактные схемы (2)
- булевы функции от n аргументов (2)
- булевы функции от двух аргументов (2)
- булевы функции от одного аргумента (2)
- верификация программ (2)
- графы (2)
- дедуктивные умозаключения (2)
- диагностика заболеваний (2)
- задачи (2)
- логические исчисления (2)
- математическая логика (2)
- метатеория логических исчислений (2)
- операции на множествах (2)
- оптимизационные задачи на графах (2)
- покрытия (теория графов) (2)
- Show more
- Show less