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