Сторінки, що посилаються на «Алонзо Черч»
Перейти до навігації
Перейти до пошуку
Такі сторінки посилаються на Алонзо Черч:
Показано 19 елементів.
- Інформатика (← посилання)
- Теорія алгоритмів (← посилання)
- Джон фон Нейман (← посилання)
- Формальна система (← посилання)
- Логічне програмування (← посилання)
- Польська нотація (← посилання)
- Задача розв'язності (← посилання)
- Теорія обчислюваності (← посилання)
- Пророча машина (← посилання)
- Умовна диз'юнкція (← посилання)
- Мартін Девіс (← посилання)
- Основи математики (← посилання)
- Портал:Українська наука/Основні терміни і поняття точних наук (← посилання)
- Квантове програмування (← посилання)
- Доведення неможливості (← посилання)
- Теорія типів (← посилання)
- Комбінаторна логіка (← посилання)
- Лямбда-куб (← посилання)
- Вираз (математика) (← посилання)