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

Uploaded By: Myvideo

Published on

13 Jun 2021

4 views

0

0 votes

0

About Share Download Add to

Лекция посвящена лямбда исчислению, изоморфизму Карри-Говарда и функциональному программированию. Читал во Львове, по приглашению компании Intellias. Лекция “камерная“, поэтому может содержать ненормативную лексику, некоторые неточности и strong opinions :) Слайды -

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/ZHZIREpxWTUxWldCVUJsdjkxdVVBZzRaa1FvUllSMFJxU0RuSWxuVzRFcz0" 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

Зиборов К.В.-Формальная семантика и верификация ПО- Семинар 1.Введение в Isabelle.Лямбда-исчисление

3 weeks ago

01:12:47

Зиборов К.В.-Формальная семантика и верификация ПО- Семинар 1.Введение в Isabelle.Лямбда-исчисление

5 95%

Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 2. Доказательства в Isabelle

3 weeks ago

01:21:28

Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 2. Доказательства в Isabelle

1 80%

Грамматики Ламбека: неклассическая логика для математической лингвистики. Семинар 4 // Степан Кузнецов / ЛШСМ 2024

4 weeks ago

01:17:43

Грамматики Ламбека: неклассическая логика для математической лингвистики. Семинар 4 // Степан Кузнецов / ЛШСМ 2024

617 74%

Грамматики Ламбека: неклассическая логика для математической лингвистики. Семинар 3 // Степан Кузнецов / ЛШСМ 2024

4 weeks ago

01:15:57

Грамматики Ламбека: неклассическая логика для математической лингвистики. Семинар 3 // Степан Кузнецов / ЛШСМ 2024

371 68%

Грамматики Ламбека: неклассическая логика для математической лингвистики. Семинар 2 // Степан Кузнецов / ЛШСМ 2024

4 weeks ago

01:11:49

Грамматики Ламбека: неклассическая логика для математической лингвистики. Семинар 2 // Степан Кузнецов / ЛШСМ 2024

231 53%

Грамматики Ламбека: неклассическая логика для математической лингвистики. Семинар 1 // Степан Кузнецов / ЛШСМ 2024

4 weeks ago

01:14:22

Грамматики Ламбека: неклассическая логика для математической лингвистики. Семинар 1 // Степан Кузнецов / ЛШСМ 2024

202 16%

Математическая логика и теория алгоритмов 14. Лямбда-исчисление

1 month ago

01:26:54

Математическая логика и теория алгоритмов 14. Лямбда-исчисление

10 28%

Ранние философские и научные идеи сыграли неоценимую роль в формировании фундамента, на котором в XX веке возник и начал ...

4 months ago

00:00:53

Ранние философские и научные идеи сыграли неоценимую роль в формировании фундамента, на котором в XX веке возник и начал ...

14 12%

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

5 months ago

00:36:36

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

3.5K 6%

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

6 months ago

01:06:25

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

1 41%

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

9 months ago

00:36:13

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

1 20%

Лямбда-исчисление и теория типов (обзорная лекция)

10 months ago

01:00:54

Лямбда-исчисление и теория типов (обзорная лекция)

894 31%

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

1 year ago

01:53:08

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

1 60%

MIPT-Coq-21-Lect-1

1 year ago

02:35:51

MIPT-Coq-21-Lect-1

16 8%

MIPT-Coq-21-Lect-2

1 year ago

02:13:03

MIPT-Coq-21-Lect-2

3 92%

MIPT-Coq-21-Lect-3

1 year ago

02:06:57

MIPT-Coq-21-Lect-3

2 81%

MIPT-Coq-22-Lect-01

1 year ago

01:45:49

MIPT-Coq-22-Lect-01

3 92%

MIPT-Coq-22-Lect-02

1 year ago

02:09:26

MIPT-Coq-22-Lect-02

1 52%

MIPT-Coq-22-Lect-03

1 year ago

02:07:34

MIPT-Coq-22-Lect-03

1 25%

MIPT-Coq-22-Lect-04

1 year ago

02:08:38

MIPT-Coq-22-Lect-04

3 32%

MIPT-Coq-CyPr-23-Lect-01

1 year ago

01:25:42

MIPT-Coq-CyPr-23-Lect-01

2 27%

MIPT-Coq-23-Lect-01

1 year ago

01:29:43

MIPT-Coq-23-Lect-01

3 70%

MIPT-FP-23-Lect-01

1 year ago

01:15:18

MIPT-FP-23-Lect-01

8 16%

MIPT-Coq-23-Lect-02

1 year ago

01:47:31

MIPT-Coq-23-Lect-02

1 80%

0 Comments

Guest