В настоящей книге применяется дедуктивный подход к программированию, основанный на объединении программ с абстрактными математическими теориями, которые обеспечивают их работу. Представлены вместе описания этих теорий, алгоритмы, записанные с точки зрения этих теорий, а также теоремы и леммы, описывающие их свойства. Реализация алгоритмов на реальном языке программирования является центральной темой книги. Эта книга предназначена для тех, кто стремится глубже понять суть программирования, будь то профессиональные программисты или ученые и инженеры, для которых программирование составляет важную часть их профессиональной деятельности. Книга предназначена для чтения от начала и до конца. Читатели смогут достичь понимания материала, только изучая код, доказывая леммы и выполняя упражнения. "В книге содержатся одни из наиболее замечательных образцов кода, с которыми я когда-либо сталкивался." - Бьярне Страуструп, разработчик языка C++ Краткое содержание книги В главе 1 приведено описание значений, объектов, типов, процедур и концепций. Главы 2–5 посвящены алгоритмам на алгебраических структурах, таких как полугруппы и полностью упорядоченные множества. В главах 6–11 описываются алгоритмы на абстрактных представлениях памяти. В главе 12 рассматриваются объекты, содержащие другие объекты. В послесловии представлены общие размышения о подходе, изложенном в книге. www.ozon.ru/context/detail/id/6279127/ www.kniga.ru/books/819864 Об авторе: ru.wikipedia.org/wiki/Степанов,_Александр_Александрович_(учёный)
Похожие складчины: Открыто - Политическое убежище в США: полное пошаговое практическое пособие [Евгений Степанов] Доступно - Дезаккомодация. Тренировка мышц глаза [М.Степанов] + Инструкция по управлению собой. Управляешь счастьем – управляешь успехом [А.Гущин] Открыто - [Аудиокнига] Скринлайф. В поисках нового языка кино [Тимур Бекмамбетов, Василий Степанов] Открыто - Скринлайф. В поисках нового языка кино [Тимур Бекмамбетов, Василий Степанов] Доступно - Нет Эго, нет проблем. Что буддисты знали о мозге раньше всех ученых [Крис Нибауэр] + Живая психология. Уроки знаменитых экспериментов [С. Степанов]
дата выхода оригинала - не уверен, но где-то 2003 это математика, не стареет, как Кнут сумма в шапке если STL для вас не просто набор букв, вы в курсе
Ситуация немного изменилась. Стоимость книги в Украине 214,58 грн Спойлер www.bookzone.com.ua/Netshop/catalogue/catalogue_32807.html с учетом доставки (17 грн фиксированно и 2% ) получим 235,28 грн Что по курсу Web-money даст 922 р. Я перенес сборы еще на неделю, чтобы все нежелающие успели выписаться. Если найдется орг, который захочет взяться на более выгодных для всех складчиков условиях - я с радостью уступлю
выписываюсь из оргов в пользу voidrealms - у него есть возможность создания более выгодных для складчиков условий