Домой
Мой канал
Подписки
Смотреть позже
История
Образование
Дети
0-2 года
3-4 года
5-6 лет
Школа
1 класс
2 класс
3 класс
4 класс
5 класс
6 класс
7 класс
8 класс
9 класс
10 класс
11 класс
Среднее профессиональное образование
Высшее образование
Дополнительное образование
Партнеры
Стать партнером
Наука
Культура
Техника и технологии
О проекте
Образование
Дети
0-2 года
3-4 года
5-6 лет
Школа
1 класс
2 класс
3 класс
4 класс
5 класс
6 класс
7 класс
8 класс
9 класс
10 класс
11 класс
Профессия
Среднее профессиональное образование
Высшее образование
Дополнительное образование
Партнеры
Стать партнером
Наука
Культура
Техника и технологии
звук выключен
Видео начнется через 5
Отмена
Смотреть
5
3 года назад
Лекция -1. Свойство подстановок. Доказательство
Курс:
Основы метавычислений
Высшее образование
Программная инженерия
ИНТУИТ.РУ
Подписаться
77 подписчиков
Возраст: 0+
Язык: Русский
Лекция
Абрамов Сергей Михайлович
(Лектор)
Описание
undefined
теория вычислений
функциональное программирование
