Что такое лямбда-исчисление? Душкин объяснит

Описание к видео Что такое лямбда-исчисление? Душкин объяснит

Следующая базовая вычислительная модель — лямбда-исчисление, предложенное Алонзо Чёрчем. Фактически, это функциональная альтернатива машинам Тьюринга.

Заходите на мой ТГ-канал: https://t.me/drv_official — на нём много всего интересного: анонсы видео, истории и всякий сторителлинг, объявления о мероприятиях и всякое такое разное.

Курс «Основы искусственного интеллекта» на Udemy: https://bit.ly/3BD2I4W

Комментарии

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