Коллега поделился.
Он учится в Высшей Школе Экономики (ГУ ВШЕ), на специальности "управление разработкой программного обеспечения".
Так вот, им дают всякого рода теорию - лямбда-исчисление, формальные грамматики, теорию сложности и прочие тройки Хоара, - на английском языке.
Коллега сказал, что "въезжает быстрей всех" потому, что я приходил и про всё это рассказывал, когда мне делать нечего. ;)
Собственно, мыслей две: у нас есть ВУЗы с нормальной программой для программистов, и стоит рассказывать про всякие теории просто так, кому-нибудь обязательно пригодится.
Так вот, им дают всякого рода теорию - лямбда-исчисление, формальные грамматики, теорию сложности и прочие тройки Хоара, - на английском языке.
Коллега сказал, что "въезжает быстрей всех" потому, что я приходил и про всё это рассказывал, когда мне делать нечего. ;)
Собственно, мыслей две: у нас есть ВУЗы с нормальной программой для программистов, и стоит рассказывать про всякие теории просто так, кому-нибудь обязательно пригодится.