Principles of Computer Programming: A Mathematical Approach

Книга «Principles of Computer Programming: A Mathematical Approach» представляет собой фундаментальный труд, посвящённый математическим основам программирования. Авторы — известные специалисты в области программной инженерии — предлагают строгий подход к разработке программ, опираясь на математическую логику и теорию вычислений.

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

Издание будет полезно студентам, изучающим информатику и программную инженерию, а также практикующим разработчикам, желающим углубить понимание теоретических основ программирования. Материал сопровождается примерами и упражнениями, способствующими усвоению математического аппарата.

Книга входит в коллекцию Harlan D. Mills Collection и доступна в открытом доступе через Trace: Tennessee Research and Creative Exchange.