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