Главная » 2018 » Апрель » 28 » Александр Степанов, Пол Мак-Джоунс - Начала программирования
Александр Степанов, Пол Мак-Джоунс - Начала программирования
12:47
В настоящей книге применяется дедуктивный подход к программированию, основанный на объединении программ с абстрактными математическими теориями, которые обеспечивают их работу. Представлены вместе описания этих теорий, алгоритмы, записанные с точки зрения этих теорий, а также теоремы и леммы, описывающие их свойства. Реализация алгоритмов на реальном языке программирования является центральной темой книги. Эта книга предназначена для тех, кто стремится глубже понять суть программирования, будь то профессиональные программисты или ученые и инженеры, для которых программирование составляет важную часть их профессиональной деятельности. Книга предназначена для чтения от начала и до конца. Читатели смогут достичь понимания материала, только изучая код, доказывая леммы и выполняя упражнения.
"В книге содержатся одни из наиболее замечательных образцов кода, с которыми я когда-либо сталкивался." - Бьярне Страуструп, разработчик языка C++ Краткое содержание книги: В главе 1 приведено описание значений, объектов, типов, процедур и концепций. Главы 2–5 посвящены алгоритмам на алгебраических структурах, таких как полугруппы и полностью упорядоченные множества. В главах 6–11 описываются алгоритмы на абстрактных представлениях памяти. В главе 12 рассматриваются объекты, содержащие другие объекты. В послесловии представлены общие размышения о подходе, изложенном в книге.
Название: Начала программирования Автор: Alexander Stepanov, Paul McJones / Александр Степанов, Пол Мак-Джоунс Язык: Русский Издательство: ООО "И. Д. Вильямс" Жанр: Программирование Год выхода: 2011 Формат: pdf Страниц: 272 Размер: 55 мб
Скачать Александр Степанов, Пол Мак-Джоунс - Начала программирования
К "Александр Степанов, Пол Мак-Джоунс - Начала программирования" пока нет комментариев, но Вы можете стать первым, кто его оставит!
Всего мнений: 0
Ищу на сайте
Случайный анекдот
Пpиходит заяц к сове. А сова обкумаpенная и еще косяк забивает. - Пpивет сова! - (Делая большую затяжку) Пpивет бобеp! - Какой же я бобеp, вот смотpи я сеpый, уши длинные, хвост маленький? - Хм... То-то я смотpю, стpанный ты какой-то бобеp.
