Как представить комбинаторами числа и что такое нумералы Чёрча? Душкин объяснит
- Видео
- О видео
- Скачать
- Поделиться
Как представить комбинаторами числа и что такое нумералы Чёрча? Душкин объяснит
От булевых значений истинности, выразимых при помощи комбинаторов комбинаторной логики, можно перейти к представлению при помощи комбинаторов натуральных чисел — это так называемые нумералы Чёрча. Изучим их. Подключайтесь к моему ТГ-каналу: https://t.me/drv_official — на нём не только анонсы видео, но и много всякого другого: обзоры книг и статей, душещипательные истории, приглашения на курсы и т. д. Курс по функциональному программированию на Udemy: https://www.udemy.com/course/fp-haskell/
488 | 2 год. назад | 20 - 0
От булевых значений истинности, выразимых при помощи комбинаторов комбинаторной логики, можно перейти к представлению при помощи комбинаторов натуральных чисел — это так называемые нумералы Чёрча. Изучим их.
Подключайтесь к моему ТГ-каналу: — на нём не только анонсы видео, но и много всякого другого: обзоры книг и статей, душещипательные истории, приглашения на курсы и т. д.
Курс по функциональному программированию на Udemy:
Чтобы скачать видео "Как представить комбинаторами числа и что такое нумералы Чёрча? Душкин объяснит" передвинте ползунок вправо
- Комментарии
Комментарии ФБ