лямбда
131Теория алгоритмов — Теория алгоритмов  наука, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач,… …
132Чёрч, Алонзо — Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903, Вашингтон, США 11 августа 1995, Хадсон …