Что такое лямбда-исчисление? Душкин объяснит
Следующая базовая вычислительная модель — лямбда-исчисление, предложенное Алонзо Чёрчем. Фактически, это функциональная альтернатива машинам Тьюринга. Заходите на мой ТГ-канал: https://t.me/drv_official — на нём много всего интересного: анонсы видео, истории и всякий сторителлинг, объявления о мероприятиях и всякое такое разное. Курс «Основы искусственного интеллекта» на Udemy: https://bit.ly/3BD2I4W
▶︎
Что такое рекурсивные функции? Душкин объяснит
▶︎
Лямбда-исчисление
▶︎
Лямбда-исчисление и теория типов (обзорная лекция)
▶︎
Что такое сеть Петри. Душкин объяснит
▶︎
Теоремы Гёделя о неполноте
▶︎
Матлогика 32. Лямбда-исчисление
▶︎
ИСТОРИЯ НЕЙРОСЕТЕЙ - ОТ ПЕРЦЕПТРОНА ДО CHATGPT
▶︎
Математик Алексей Савватеев разбирает сцены из фильмов «Игры разума», «Пи», «Двадцать одно»
▶︎
Теренс Тао о том, как Григорий Перельман решил гипотезу Пуанкаре | Лекс Фридман
▶︎
Математическая логика и теория алгоритмов 14. Лямбда-исчисление
▶︎
Математик объясняет теорему неполноты Гёделя | Эдвард Френкель и Лекс Фридман
▶︎
Programming with Math | The Lambda Calculus
▶︎
Лямбды. Не такие и страшные
![Цепи Маркова — математика предсказаний [Veritasium]](https://i.ytimg.com/vi/QI7oUwNrQ34/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLDz0E4MWk9wsmjc3xMrK9fiXiDDdg)
▶︎
Цепи Маркова — математика предсказаний [Veritasium]
▶︎
Что такое фреймы? Душкин объяснит
▶︎
Быстрое Преобразование Фурье (FFT): Самый Идейный Алгоритм Когда-либо?
▶︎
1. Лямбда-исчисление
▶︎
Bobby Fischer didn't touch his pawns for 20 moves - and this is what came of it!
▶︎
Топ-5 ошибок при объяснении метрик на собеседованиях по ML
▶︎