Сортировать статьи по: дате | популярности | посещаемости | комментариям | алфавиту
  • »

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

15-08-2014, 12:03Warez (Автор: kinogrant)

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


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

Статистика Онлайн

Наши партнеры

Популярное

Наши друзья

. .