Лямбда-исчисление

Uploaded By: Myvideo

Published on

22 May 2021

1 view

0

0 votes

0

About Share Download Add to

Введение. Функциональное и императивное программирование. Лямбда-исчисление. Применение и абстракция. Свободные и связанные переменные. Комбинаторы. Функции нескольких переменных, каррирование. Подстановка, лемма подстановки. Бета-преобразование. Эта-преобразование. Расширение чистого лямбда-исчисления: дельта-преобразование. Лекция №1 в курсе “Функциональное программирование“ (весна 2015). Преподаватель курса: Денис Николаевич Москвин. Страница лекции на сайте CS центра:

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/L2FscHRaV2RickNHWUN5b2lYSnczVC85bTFmMlhhMFVWUkxQMW8wSFpkQT0" frameborder="0" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>

Video Size:

Custom size:

x

Autoplay video

Hide player controls

Hide resume playing

Add to Playlist:

Favorites

My Playlist

Watch Later

Дмитрий Сошников Введение в теорию функционального программирования с примерами на F#

1 year ago

01:06:25

Дмитрий Сошников Введение в теорию функционального программирования с примерами на F#

0 30%

Функциональное программирование во фронтенде: лямбда-исчисление и JS, монады, Elm, Fantasy Land

1 year ago

00:36:13

Функциональное программирование во фронтенде: лямбда-исчисление и JS, монады, Elm, Fantasy Land

0 28%

Вычислимость и неразрешимые задачи

2 years ago

01:53:08

Вычислимость и неразрешимые задачи

0 78%

Формальная философия-78: доклад Степана Кузнецова Категориальные грамматики Ламбека (часть 2)

2 years ago

01:21:07

Формальная философия-78: доклад Степана Кузнецова Категориальные грамматики Ламбека (часть 2)

10 86%

Формальная философия-78: доклад Степана Кузнецова Категориальные грамматики Ламбека(часть 1)

2 years ago

01:21:46

Формальная философия-78: доклад Степана Кузнецова Категориальные грамматики Ламбека(часть 1)

9 90%

Теория алгоритмов: лямбда исчисления

2 years ago

01:01:31

Теория алгоритмов: лямбда исчисления

2 40%

Глеб Красилич//Лямбда-исчисление и Соответствие Карри-Говарда

2 years ago

01:28:40

Глеб Красилич//Лямбда-исчисление и Соответствие Карри-Говарда

8 14%

Вячеслав Шебанов Системы типов в двух словах

3 years ago

00:59:45

Вячеслав Шебанов Системы типов в двух словах

0 89%

3. Просто типизированное лямбда-исчисление

3 years ago

01:31:16

3. Просто типизированное лямбда-исчисление

0 27%

1. Лямбда-исчисление

3 years ago

01:30:11

1. Лямбда-исчисление

0 72%

Лямбды. Не такие и страшные

3 years ago

00:36:37

Лямбды. Не такие и страшные

0 25%

Лямбда исчисление и функциональное программирование. Часть 1 | Лекция

4 years ago

02:02:57

Лямбда исчисление и функциональное программирование. Часть 1 | Лекция

4 87%

Лямбда-исчисление

4 years ago

02:23:43

Лямбда-исчисление

1 49%

Просто типизированное лямбда-исчисление

4 years ago

01:50:47

Просто типизированное лямбда-исчисление

6 94%

tap unplugged #18

5 years ago

00:00:00

tap unplugged #18

0 49%

Коллоквиум: Линейная логика и функциональное программирование

5 years ago

01:24:18

Коллоквиум: Линейная логика и функциональное программирование

14 19%

Лекция 1. Л.Д. Беклемишев, С.Л. Кузнецов. Введение. Бестиповое лямбда-исчисление. Представление...

5 years ago

01:36:02

Лекция 1. Л.Д. Беклемишев, С.Л. Кузнецов. Введение. Бестиповое лямбда-исчисление. Представление...

9 39%

С.Л. Кузнецов. Спецкурс Лямбда-исчисление, или вычислительная теория доказательств

6 years ago

00:56:50

С.Л. Кузнецов. Спецкурс Лямбда-исчисление, или вычислительная теория доказательств

3 45%

HoTT 1: Типизированное лямбда исчисление

7 years ago

01:34:22

HoTT 1: Типизированное лямбда исчисление

18 84%

Лямбда исчисление 2_2

8 years ago

00:46:54

Лямбда исчисление 2_2

10 34%

Лямбда исчисление 2_1

8 years ago

01:07:45

Лямбда исчисление 2_1

10 16%

Лямбда исчисление 1_2

8 years ago

00:49:33

Лямбда исчисление 1_2

19 34%

Лямбда исчисление 1_1

8 years ago

00:56:50

Лямбда исчисление 1_1

61 27%

Лямбда исчисление 3 (3). Типизированное лямбда исчисление

9 years ago

01:50:47

Лямбда исчисление 3 (3). Типизированное лямбда исчисление

11 25%

0 Comments

Guest