Центр информации по операционным системам: Новости / Комментарии / * Дисциплина программирования *

На OSRC.info выложена достаточно не новая, однако, от того ничуть не менее актуальная и полезная книга Дейкстры "Дисциплина программирования":

Предлагаемая книга пpедставляет собой один из первых шагов в рассмотрении теории процесса программирования. В ней с каждым оператором, с их комбинациями и, в том числе, с циклами связываются преобразования предикатов, являющиеся формальным выражением их свойств, и определение свойств программы в целом превращается в задачу логического вывода. Особенно важно, что aвтop объясняет и демонстрирует на примерах, как этим формализмом можно пользоваться для практического программирования.

В ближайшее время рассчитываю пополнить библиотеку несколькими книгами по основам программирования и того, что называют computer science, помощь приветствуется.

Дисциплина программирования, PDF, 405 КБ.

Roman I Khimov в Воскресенье, 12 Март 2006, 17:41 |

Комментарии: 8 |

Комментарии

captain cobalt \|13.03.2006 14:31
Комментарии: 83 Зарегистрирован: 04.07.2004 21:44	Замечательный mustread для всех, чьё мастерстсво программирования не ограничивается ораторским искусством. Увы, это не вся книга. Это только первая половина.

Roman I Khimov \|13.03.2006 15:13
Комментарии: 952	captain cobalt написал(а) ... Это только первая половина. Оп-па, кажется, я малость облажался. Капитан, если есть ссылки - обязательно давай, хотя я и сам, конечно, постараюсь найти.

captain cobalt \|13.03.2006 16:08
Комментарии: 83 Зарегистрирован: 04.07.2004 21:44	В том и дело, что на всех известных мне книжных варезятниках только эта часть.

fresco \|13.03.2006 19:55
Комментарии: 19 Зарегистрирован: 21.08.2005 19:42	По поводу computer science и помощи -- есть 3 тома Кнута (Искусство программирования) в .djvu. Если надо -- обращайся.

Roman I Khimov |13.03.2006 23:40

Комментарии: 952

Все бы хорошо, но варезятник на сайте я устраивать просто не могу. К сожалению, поскольку масса хороших книг доступна реально в электронном виде. Кнут, если я правильно понимаю, будет уже варезом...

Правда, я могу давать ссылки на сайты, что-то я сразу не подумал.

fresco \|14.03.2006 07:03
Комментарии: 19 Зарегистрирован: 21.08.2005 19:42	Да, согласен. Поищу, где я его скачал. А полноценный вариант книги Дейкстры я встречал в TeX'е, как только вспомню где -- отпишу.

Roman I Khimov \|14.03.2006 10:35
Комментарии: 952	Собственно, вот: http://lib.ru/CTOTOR/DEJKSTRA/ Если это полная, могу сделать красивый PS или PDF.

Roman I Khimov \|14.03.2006 10:49
Комментарии: 952	Ага, а это, значит, то же самое, а точнее, исходник того PDF, что я выложил. Беда.

Комментарии доступны только авторизованным пользователям, авторизуйтесь или зарегистрируйтесь на сайте здесь