#687633
С помощью какой системы было доказано несколько фундаментальных теорем – теорема Черча-Тьюринга?
Варианты ответа:
- лямбда-апликация
- лямбда-исчисление
- лямбда-абстракция
- лямбда-алгоритм
Курсы в категории:
Информационные технологии