Страницы, ссылающиеся на «Чёрч, Алонзо»
Перейти к навигации
Перейти к поиску
Следующие страницы ссылаются на Чёрч, Алонзо:
Показано 19 элементов.
- Язык программирования (← ссылки)
- Алгоритм (← ссылки)
- Лямбда-исчисление (← ссылки)
- История математики (← ссылки)
- Комбинаторная логика (← ссылки)
- Формальная система (← ссылки)
- История математических обозначений (← ссылки)
- Лямбда-куб (← ссылки)
- Теория алгоритмов (← ссылки)
- Польская запись (← ссылки)
- Основания математики (← ссылки)
- Условная дизъюнкция (← ссылки)
- Просто типизированное лямбда-исчисление (← ссылки)
- Теорема Чёрча — Тьюринга (← ссылки)
- Логика высшего порядка (← ссылки)
- Дедекиндово число (← ссылки)
- Кодирование Чёрча (← ссылки)
- Закон двойственности (← ссылки)
- Релевантная логика (← ссылки)