От булевых значений истинности, выразимых при помощи комбинаторов комбинаторной логики, можно перейти к представлению при помощи комбинаторов натуральных чисел — это так называемые нумералы Чёрча. Изучим их.Подключайтесь к моему ТГ-каналу: — на нём не только анонсы видео, но и много всякого другого: обзоры книг и статей, душещипательные истории, приглашения на курсы и т. д.
Курс по функциональному программированию на Udemy:
Музыка
Фильмы
ТВ Шоу
Категории видео
