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

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

Издательство: Вильямс
Год: 2011
Страниц: 272
Формат: pdf

 

Скачать книгу "Начала программирования" (17,7 МБ):