Наука программирования | Грис Д.

«Наука программирования» (1984, автор — Дэвид Грис) — монография, написанная как введение в науку программирования и отражающая богатый опыт автора в научной и преподавательской работе. Книга примыкает по замыслу к труду Э. Дейкстры «Дисциплина программирования»: в ней систематично излагаются теоретические основы и логические принципы разработки программ, включая исчисление высказываний и предикатов, семантику императивных языков и методы синтеза кода на базе спецификаций пред‑ и постусловий. Особое внимание уделяется формальным методам доказательства корректности программ и осознанному применению общих принципов вместо следования лишь практическим приёмам. Издание ориентировано на программистов, разработчиков математического обеспечения ЭВМ и студентов старших курсов технических специальностей, обладающих базовой математической подготовкой.

181-324