Додати до Chrome
✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
Лямбда-числення можна вважати
імперативною мовою програмування
теорією предикатів
S-численням
абстрактною обчислювальною машиною
Отримайте необмежений доступ до відповідей на екзаменаційні питання - встановіть розширення Crowdly зараз!