Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.mccme.ru/mathinmoscow/courses/view.php?name=Programming.htm
Дата изменения: Unknown Дата индексирования: Sun Mar 2 02:54:29 2014 Кодировка: Поисковые слова: п п п п п п п п п п п п п п п п п п п п п п п п п п |
Traditionally programming is considered as something practically important but very boring, something like looking for errors in long unreadable non-working programs. However, it is quite possible to learn how to write short and elegant programs when they exist; the key idea is that you try to construct a program together with the proof of its correctness. We will try to show you this technique using many examples (from Dijkstra, Gries, and other books). At the same time we will learn some techniques for constructing effective (fast) algorithms. Curriculum:
Textbooks
|
![]() |
Copyright ©1996-2013 MCCME |