Начала программирования

Начала программирования

Степанов Александр

     

бумажная книга



Издательство: Вильямс/Диалектика
Серия: Несерийные
Дата выхода: август 2017
ISBN: 978-5-8459-1708-9
Тираж: 1 000 экземпляров
Объём: 272 страниц
Масса: 490 г
Размеры(В x Ш x Т), см: 24 x 17
Обложка: твёрдая
Переводное издание: Elements of Programming

В настоящей книге применяется дедуктивный подход к программированию, основанный на объединении программ с абстрактными математическими теориями, которые обеспечивают их работу.

 

Представлены вместе описания этих теорий, алгоритмы, записанные с точки зрения этих теорий, а также теоремы и леммы, описывающие их свойства. Реализация алгоритмов на реальном языке программирования является центральной темой книги.

 

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

 

"В книге содержатся одни из наиболее замечательных образцов кода, с которыми я когда-либо сталкивался." - Бьярне Страуструп, разработчик языка C++