Скачать
Что такое лямбда-исчисление? Душкин объяснит
Автор: Душкин объяснит
Загружено: 2022-12-04
Просмотров: 5287
Описание:
Следующая базовая вычислительная модель — лямбда-исчисление, предложенное Алонзо Чёрчем. Фактически, это функциональная альтернатива машинам Тьюринга.
Заходите на мой ТГ-канал: https://t.me/drv_official — на нём много всего интересного: анонсы видео, истории и всякий сторителлинг, объявления о мероприятиях и всякое такое разное.
Курс «Основы искусственного интеллекта» на Udemy: https://bit.ly/3BD2I4W
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![Аксиома выбора: как Георг Кантор чуть не сломал математику [Veritasium]](https://imager.clipsaver.ru/Nc8Pxx24f-k/max.jpg)