Математическая логика, Программирование и алгоритмы Лямбда-исчисление, или вычислительная теория доказательств 11.09.2015 Basharov Спецкурс МИАН, 2015 Лектор: Кузнецов Степан Львович http://www.mathnet.ru/conf664 1. λ-термы. Бестиповое λ-исчисление. α-конверсия и β-редукция. Читать далее Лямбда-исчисление, или вычислительная теория доказательств →
Программирование и алгоритмы Программирование в среде MatLab. Начало 21.06.2014 Basharov Учебники Говорухин В, Цибулин Б. Компьютер в математическом исследовании Кетков Ю., Кетков А., Шульц М. MATLAB 7. Программирование, численные методы