Евгений Тюменцев - Программирование глазами математика

Ссылка: Как определить абстракцию и инкапуляцию языком математики? Что такое “хорошие“ и “плохие“ абстракции? Математик и программист занимаются доказательствами, но чем они отличаются? Тестировщик без куска хлеба не останется никогда! В отличие от программиста. Современные практики разработки ПО с позиции математики. P.S.: В докладе расскажу, почему на самом деле нельзя использовать goto и глобальные переменные. Точнее от глобальных переменных Вы сами откажетесь.