![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
С подачи ![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif)
beroal с огромным интересом и удовольствием прочитал статью Дейкстры 88года On the cruelty of really teaching computing science.
Основная мысль, как ни странно, не о преподавании Computer Science, а об опасности аналогий и упрощений. За аналогиями теряется новизна, иногда -- радикальная новизна. Этой мысли в ее различных проявлениях он уделяет большую часть статьи. В приложении же к программированию он предостерегает от аналогии Software Engineering, и совершенно правильно пишет, что программирование -- это в первую очередь формальная логика и формальные методы. Но в отличии, скажем, от примитивной дискретной математики, объекты программирования -- огромной размерности.
Статья написана живым, хотя и не самым простым, языком, с юмором, порой переходящим в сарказм. И увы, почти все, что он "видит" в магическом кристале, на самом деле произошло и происходит сейчас. О деградации преподавания Computer Science я писал, по-моему, не один раз.
Кстати, идеальное преподавание Computer Science он видит тогда, когда программы нельзя запустить! В этом случае приходится проводить максимальную ментальную работу, чтобы на самом деле доказать (себе и преподавателю), что программа "работает" правильно. К тому же:
It is now two decades since it was pointed out that program testing may convincingly demonstrate the presence of bugs, but can never demonstrate their absence.
Не со всем, что он пишет, можно соглашаться, но очень со многим. В общем, рекомендую. Несмотря на то, что это написано четверть века назад, статья нисколько не потеряла актуальности.
Teaching to unsuspecting youngsters the effective use of formal methods is one of the joys of life because it is so extremely rewarding. Within a few months, they find their way in a new world with a justified degree of confidence that is radically novel for them; within a few months, their concept of intellectual culture has acquired a radically novel dimension. To my taste and style, that is what education is about. Universities should not be afraid of teaching radical novelties; on the contrary, it is their calling to welcome the opportunity to do so. Their willingness to do so is our main safeguard against dictatorships, be they of the proletariat, of the scientific establishment, or of the corporate elite.
beroal с огромным интересом и удовольствием прочитал статью Дейкстры 88года On the cruelty of really teaching computing science. Основная мысль, как ни странно, не о преподавании Computer Science, а об опасности аналогий и упрощений. За аналогиями теряется новизна, иногда -- радикальная новизна. Этой мысли в ее различных проявлениях он уделяет большую часть статьи. В приложении же к программированию он предостерегает от аналогии Software Engineering, и совершенно правильно пишет, что программирование -- это в первую очередь формальная логика и формальные методы. Но в отличии, скажем, от примитивной дискретной математики, объекты программирования -- огромной размерности.
Статья написана живым, хотя и не самым простым, языком, с юмором, порой переходящим в сарказм. И увы, почти все, что он "видит" в магическом кристале, на самом деле произошло и происходит сейчас. О деградации преподавания Computer Science я писал, по-моему, не один раз.
Кстати, идеальное преподавание Computer Science он видит тогда, когда программы нельзя запустить! В этом случае приходится проводить максимальную ментальную работу, чтобы на самом деле доказать (себе и преподавателю), что программа "работает" правильно. К тому же:
It is now two decades since it was pointed out that program testing may convincingly demonstrate the presence of bugs, but can never demonstrate their absence.
Не со всем, что он пишет, можно соглашаться, но очень со многим. В общем, рекомендую. Несмотря на то, что это написано четверть века назад, статья нисколько не потеряла актуальности.
Teaching to unsuspecting youngsters the effective use of formal methods is one of the joys of life because it is so extremely rewarding. Within a few months, they find their way in a new world with a justified degree of confidence that is radically novel for them; within a few months, their concept of intellectual culture has acquired a radically novel dimension. To my taste and style, that is what education is about. Universities should not be afraid of teaching radical novelties; on the contrary, it is their calling to welcome the opportunity to do so. Their willingness to do so is our main safeguard against dictatorships, be they of the proletariat, of the scientific establishment, or of the corporate elite.
