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

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

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

Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 3. Логика первого порядкаSee more

Лекция 1 | Системы типизации лямбда-исчисления | Денис Москвин | ЛекториумSee more

Лекция 1. С.Л. Кузнецов. Лямбда-исчислениеSee more

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

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

Lambda выражения. Часть 1 (прокачанная Java)See more

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

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

3.5 Инъекция, сюрьекция, биекция | Роман Попков | ИТМОSee more

Отношения между классами - ассоциация, агрегация, композиция: Урок 12. Часть 2.See more

Лекция 2 | Системы типизации лямбда-исчисления | Денис Москвин | ЛекториумSee more

Введение в сейсмическую инверсиюSee more