Автор: Александр Степанов, Пол Мак-Джонс
Год: 2011
Издательство: И. Д. Вильямс
ISBN 978–5–8459–1708–9
Страниц: 272
Язык: Русский
Формат: PDF
Размер: 3 Mb

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

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

Реализация алгоритмов на реальном языке программирования является центральной темой книги.

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

Книга предназначена для чтения от начала и до конца.

Читатели смогут достичь понимания материала, только изучая код, доказывая леммы и выполняя упражнения.