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