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

Математическая логика и теория алгоритмов 16. Лямбда исчисление (продолжение)See more

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

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

Математическая логика и теория алгоритмов 9See more

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

Математическая логика и теория алгоритмов 15. Исчисление предикатовSee more

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

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

Олегу Тинькову* запрещён вход на Мехмат МГУSee more

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

Математика это не ИсламSee more

Яворская Т.Л. - Математическая логика - 15. Теория алгоритмовSee more