Александр Степанов, Пол Мак-Джонс

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

Александр Степанов, Пол Мак-Джонс. Начала программирования

В настоящей книге применяется дедуктивный подход к программированию, основанный на объединении программ с абстрактными математическими теориями, которые обеспечивают их работу. Представлены вместе описания этих теорий, алгоритмы, записанные с точки зрения этих теорий, а также теоремы и леммы, описывающие их свойства. Реализация алгоритмов на реальном языке программирования является центральной темой книги. Эта книга предназначена для тех, кто стремится глубже понять суть программирования, будь то профессиональные программисты или ученые и инженеры, для которых программирование составляет важную часть их профессиональной деятельности. Книга предназначена для чтения от начала и до конца. Читатели смогут достичь понимания материала, только изучая код, доказывая леммы и выполняя упражнения. " В книге содержатся одни из наиболее замечательных образцов кода, с которыми я когда-либо сталкивался. " - Бьярне Страуструп ,...

Книга (2011)
ISBN: 978-5-8459-1708-9
Издательство: Вильямс
Где купить книгу:
987руб.Озон
791руб.My-shop
746руб.Библион
757руб.Sprinter
978руб.Read
E5.ru:проверить наличие
Подобные книги
Каталог


Вы находитесь на странице книги: Начала программирования - Александр Степанов, - Пол Мак-Джонс