> -- Валерий Лаптев писал(а):
> Однако меня и при первом прочтении книги Дейкстры, и сейчас не покидает мысль, что написание "под доказательство" касается только самого начального программирования.То есть максимум до уровня написания процедур и функций.Книгу я до конца пока не дочитал (отложил из-за более приоритетной на данный момент задачи), но думаю, что предисловию автора можно доверять : ). А там он говорит, что оставляет за рамками книги процедуры, потому что эта тема не менее сложная, чем описываемый материал, но является менее важной по сравнению с содержанием книги. Как-то так.