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

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

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

Вильямс, 2011 | Стр. 272 | ISBN 978-5-8459-1708-9 | Pdf | 17.7 Mb