Как представить комбинаторами числа и что такое нумералы Чёрча? Душкин объяснит

Описание к видео Как представить комбинаторами числа и что такое нумералы Чёрча? Душкин объяснит

От булевых значений истинности, выразимых при помощи комбинаторов комбинаторной логики, можно перейти к представлению при помощи комбинаторов натуральных чисел — это так называемые нумералы Чёрча. Изучим их.

Подключайтесь к моему ТГ-каналу: https://t.me/drv_official — на нём не только анонсы видео, но и много всякого другого: обзоры книг и статей, душещипательные истории, приглашения на курсы и т. д.

Курс по функциональному программированию на Udemy: https://www.udemy.com/course/fp-haskell/

Комментарии

Информация по комментариям в разработке

Похожие видео