Степанов Александр, Мак-Джоунс Пол - Начала программирования
Просмотров : 376 15-08-2014, 12:16
В настоящей книге применяется дедуктивный подход к программированию, основанный на объединении программ с абстрактными математическими теориями, которые обеспечивают их работу. Представлены вместе описания этих теорий, алгоритмы, записанные с точки зрения этих теорий, а также теоремы и леммы, описывающие их свойства. Реализация алгоритмов на реальном языке программирования является центральной темой книги.
Немного информации об материале: 15-08-2014, 12:16 наш лучший журналист - admin написал статью - " Степанов Александр, Мак-Джоунс Пол - Начала программирования " и сразу же добавил её к нам на сайт! Хотелось бы добавить, что наш журналист подобрал лучшее оформление и качественное содержание данной новости. Так же советуем вам посетить категорию Warez, чтобы найти другие отличные материалы, как и этот!