Refine your search
Availability
-
bib-level
- m (2)
-
Authors
-
Locations
- Книгохранилище (1)
- Читальный зал 5 (2)
-
Item types
-
Topics
- Геделя теорема о неполноте (1)
- Маркова алгоритмы нормальные (1)
- Математическая логика (1)
- Поста теорема (1)
- Тьюринга машины (2)
- Тьюринга-Черча тезис (1)
- Хоара исчисление (1)
- Цермело-Френкеля теория множеств (1)
- алгоритмов теория (1)
- алгоритмы (1)
- булевы функции (1)
- вычислимые функции (1)
- графы (1)
- деревья (графов теория) (1)
- дизъюнктивные нормальные формы (1)
- дискретная математика (1)
- задачи (1)
- исчисление гильбертовского типа (1)
- исчисление предикатов (1)
- рекурсивные функции частично (2)
- Show more
- Show less