Refine your search
Availability
-
bib-level
- m (5)
-
Authors
-
Locations
- Абонемент (1)
- Абонемент. Депозитарий (1)
- Книгохранилище (1)
- Отдел рукописей и книжных памятников (2)
- Читальный зал 5 (3)
-
Item types
- 1 неделя (2)
- 6 месяцев (2)
- Выдается в читальный зал (3)
- Выдается по месту хранения (1)
-
Topics
- NP-полнота (2)
- Геделя теорема о неполноте (4)
- Тьюринга машины (3)
- Черча нумералы (2)
- аксиоматика (2)
- алгоритмы (2)
- вычислимость (2)
- исчисление высказываний (2)
- комбинаторы (2)
- куины (2)
- логика предикатов (2)
- логико-математические языки (2)
- лямбда-исчисление (3)
- невычислимость (2)
- операторы рекурсивные (2)
- теория алгоритмов (2)
- учебные пособия для вузов (2)
- функции вычислимые (2)
- функции рекурсивные (2)
- элементарная арифметика (5)
- Show more
- Show less