Добро пожаловать, Гость! Вы можете войти или зарегистрироваться
Обратная связь
Visa MasterCard WebMoney Яндекс.Деньги PayPal
+7 (495) 638-5305
+7 (812) 380-5006
Мой регион
[Previous]
[далее]
Начала программирования
Заглянуть внутрь
Начала программирования

Книга







Александр Степанов

Начала программирования

     1
5.00 (1 голос )

Это книга на бумаге. А еще можно скачать файл Начала программирования

  • ISBN: 978-5-8459-1708-9
  • 272 страницы
  • июнь 2011
  • Вильямс
  • 490 г
.

Аннотация к книге "Начала программирования"

В настоящей книге применяется дедуктивный подход к программированию, основанный на объединении программ с абстрактными математическими теориями, которые обеспечивают их работу.

 

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

 ...