Refine your search
Availability
-
Bibliographic level
- Книги (8)
- Статьи из сериальных изданий (1)
-
Authors
- Зюзьков, Валентин Михайлович (2)
- Автухов, В. В. (1)
- Волченков, Николай Геннадьевич (1)
- Герасимов, Александр Сергеевич (1)
- Горбатов, В. А. (1)
- Зайцев, Дмитрий Владимирович (1)
- Зайцева, Наталья Валентиновна (1)
- Осипов, Владимир Михайлович (1)
- Петцольд, Чарльз (1)
- Пирс, Бенджамин (1)
- Сергиевский, Георгий Максимович (1)
- Филд, Антони (1)
- Харрисон, Петер (1)
- Show more
- Show less
-
Locations
-
Item types
- Выдается в читальный зал (5)
- 6 месяцев (3)
- Выдается по месту хранения (2)
- 1 неделя (1)
- 1 месяц (1)
-
Topics
- лямбда-исчисление (7)
- Тьюринга машины (4)
- Геделя теорема о неполноте (3)
- вычислимость (3)
- элементарная арифметика (3)
- NP-полнота (2)
- Черча нумералы (2)
- аксиоматика (2)
- алгоритмы (2)
- исчисление высказываний (2)
- комбинаторы (2)
- куины (2)
- логика предикатов (2)
- логико-математические языки (2)
- невычислимость (2)
- операторы рекурсивные (2)
- теория алгоритмов (2)
- учебные пособия для вузов (2)
- функции вычислимые (2)
- функции рекурсивные (2)
- функции частично рекурсивные (2)
- EURICA (1)
- Haskell (1)
- Hope, язык программирования (1)
- Java облегченная (1)
- SECD-машина (1)
- Интернет-ресурсы (1)
- Лисп (1)
- Маркова алгоритмы нормальные (1)
- Математическая логика (1)
- Пролог (1)
- Теория (1)
- Тьюринга машины, моделирование (1)
- Тьюринга машины, разновидности (1)
- Фурье коэффициенты (1)
- Фурье преобразования обобщенных функций (1)
- Хоара исчисление (1)
- Цермело-Френкеля теория множеств (1)
- Черча лямбда-исчисление (1)
- Языки программирования (1)
- аксиоматические теории формальные (1)
- алгоритмов теория (1)
- арифметические выражения бестиповые (1)
- арифметические выражения на языке ML (1)
- встроенные предикаты (1)
- вычислимые функции (1)
- вычислительные машины, теория (1)
- дельта-последовательности (обобщенных функций теория) (1)
- дельта-последовательности пуассоновские (1)
- дельта-последовательности финитные (1)
- Show more
- Show less