Название: Начала программирования
Автор: Степанов Александр, Мак-Джоунс Пол
Издательство: Вильямс
Год: 2011
Страниц: 272
Формат: pdf
Размер: 17,7 мб
Качество: хорошее
Язык: русский

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