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