Добро пожаловать,
Свежие материалы
Обсуждения
Микропроцессор "Эверест" (1)
Запрет регистрации на osrc.info (1)
Ответ Javе и Flash'у (70)
Новая программа поддержки от Microsoft (2)
Solaris будет портирован на Itanium и POWER? (3)
9 декабря вышла новая сборка Xameleon (9)
рассылка (2)
ЗРОС (3)
Новый стиль OSRC.info (2)
Обсуждение статьи "Взгляд на развитие YellowTAB" (124)В Сети
Гостей: 4, Пользователей: 0 ...
рекорд он-лайн: 2015
(Пользователей: 1, Гостей: 2014) в 29.03.2010 00:07
Пользователей: 1007
Новичок: alicemokas
рекорд он-лайн: 2015
(Пользователей: 1, Гостей: 2014) в 29.03.2010 00:07
Пользователей: 1007
Новичок: alicemokas
* Дисциплина программирования *
 На OSRC.info выложена достаточно не новая, однако, от того ничуть не менее актуальная и полезная книга Дейкстры "Дисциплина программирования":Предлагаемая книга пpедставляет собой один из первых шагов в рассмотрении теории процесса программирования. В ней с каждым оператором, с их комбинациями и, в том числе, с циклами связываются преобразования предикатов, являющиеся формальным выражением их свойств, и определение свойств программы в целом превращается в задачу логического вывода. Особенно важно, что aвтop объясняет и демонстрирует на примерах, как этим формализмом можно пользоваться для практического программирования. В ближайшее время рассчитываю пополнить библиотеку несколькими книгами по основам программирования и того, что называют computer science, помощь приветствуется. Дисциплина программирования, PDF, 405 КБ. |
Наши новости доступны в формате RSS.