Ешь, двигайся, спи Жесткий подход Дэна Кеннеди Телефоны Бизбук - c 10 до 18 по будним дням
 
Наши проекты:
Вход для зарегистрированных пользователей
Регистрация нового пользователя
Каталог книг Новинки Анонсы Заказы / Корзина Рассылка Оплата и Доставка Контакты
Вы находитесь в разделе каталога:
• Начала программирования, Александр Степанов, Пол Мак-Джонс


Начала программирования
Начала программирования
Александр Степанов, Пол Мак-Джонс
Год выпуска: 2016
Изд-во: Диалектика-Вильямс
ISBN: 978-5-8459-1708-9
Переплёт: твердый
272 страниц
Цена: 310.00 грн.
Временно отсутствует     Оставить заявку
В книге "Начала программирования" применяется дедуктивный подход к программированию, основанный на объединении программ с абстрактными математическими теориями, которые обеспечивают их работу.

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

Книга "Начала программирования" предназначена для тех, кто стремится глубже понять суть программирования, будь то профессиональные программисты или ученые и инженеры, для которых программирование составляет важную часть их профессиональной деятельности. Книга предназначена для чтения от начала и до конца. Читатели смогут достичь понимания материала, только изучая код, доказывая леммы и выполняя упражнения.

Краткое содержание книги "Начала программирования":
В главе 1 приведено описание значений, объектов, типов, процедур и концепций. Главы 2-5 посвящены алгоритмам на алгебраических структурах, таких как полугруппы и полностью упорядоченные множества. В главах 6-11 описываются алгоритмы на абстрактных представлениях памяти. В главе 12 рассматриваются объекты, содержащие другие объекты.
В послесловии представлены общие размышения о подходе, изложенном в книге.

Об авторах книги "Начала программирования":
Александр Степанов
изучал математику в Московском государственном университете с 1967 по 1972 гг. Он работает в области программирования с 1972 года: сначала в Советском Союзе, а после эмиграции в 1977 году в Соединенных Штатах. Он занимался программированием операционных систем, инструментов программирования, компиляторов и библиотек. Его работа над началами программирования поддерживалась General Electric, Политехническим институтом Бруклина, AT&T, HP, SGI, и, с 2002 года, - Adobe. В 1995 году он получил премию "Excellence in Programming" (от Dr. Dobb's Journal) за проект стандартной библиотеки шаблонов C++.
Пол Мак-Джоунс изучал прикладную математику в Калифорнийском университете, Беркли, с 1967 до 1971 гг. С 1967 года он занимался программированием в областях операционных систем, сред программирования, систем обработки транзакций и приложений для промышленных предприятий и потребительского рынка. Он работал в Калифорнийском университете, IBM, Xerox, Tandem, DEC, и, с 2003 года, - в Adobe. В 1982 году он и его соавторы получили премию "ACM Programming Systems and Languages Paper" за статью "Диспетчер по восстановлению системы управления базами данных System R".

Рецензии на книгу "Начала программирования":

"В книге содержатся одни из наиболее замечательных образцов кода, с которыми я когда-либо сталкивался."
- Бьярне Страуструп, разработчик языка C++

"Как известно, инженеры-механики, строители и электрики в своей работе опираются на надежные математические основания. С другой стороны, инженеры-программисты часто практикуют свое ремесло, не имея или почти не имея представления о том, на каком математическом фундаменте зиждется то, чем они занимаются. А потом мы не можем понять, почему программное обеспечение печально известно тем, что поставляется с опозданием и содержит много ошибок, тогда как другие инженеры обычно сдают в эксплуатацию готовые мосты, автомобили, электрические приборы и пр. своевременно и с незначительными дефектами. Настоящая книга призвана устранить это неравенство. Члены моего коллектива, занимающиеся сложными разработками в компании Adobe, после прохождения курса по материалам книги получили чрезвычайно положительную отдачу от вложенных усилий. На первый взгляд книга может показаться весьма специализированной, предназначенной только для теоретиков в области компьютерных наук, но в действительности она должна быть обязательно изучена всеми инженерами-программистами, которые ставят перед собой серьезные задачи".
- Мартин Ньюэлл, заслуженный исследователь Adobe

"Я счастлив видеть, что содержимое курса Алекса, разработку которого я настоятельно поддерживал как технический директор Silicon Graphics, теперь доступно для всех программистов в этой изящной небольшой книге".
- Форест Баскетт, главный партнер, New Enterprise Associates

"Терпение и организационный опыт Пола помогли создать на базе математического подхода Алекса четко структурированное произведение, а это - впечатляющий подвиг!"
- Роберт В. Тэйлор, основатель Xerox PARC SCL и DEC Systems Research Center




Содержание книги "Начала программирования"




Предисловие 10
Глава 1. Вводные определения 15
1.1 Категории идей: сущность, вид, род 15
1.2 Значения 16
1.3 Объекты 18
1.4 Процедуры 20
1.5 Регулярные типы 22
1.6 Регулярные процедуры 23
1.7 Концепции 25
1.8 Резюме 29
Глава 2. Преобразования и их орбиты 31
2.1 Преобразования 31
2.2 Орбиты 34
2.3 Точка столкновения 36
2.4 Измерение размеров орбиты 42
2.5 Действия 43
2.6 Резюме 44
Глава 3. Ассоциативные операции 45
3.1 Ассоциативность 45
3.2 Вычисление степеней 47
3.3 Преобразования программ 49
3.4 Процедуры для специального случая 53
3.5 Параметризация алгоритмов 56
3.6 Линейные рекуррентные соотношения 57
3.7 Процедуры накопления 60
3.8 Резюме 60
Глава 4. Линейные упорядочения 63
4.1 Классификация отношений 63
4.2 Полные и слабые упорядочения 65
4.3 Выбор порядка 66
4.4 Естественное полное упорядочение 74
4.5 Семейства производных процедур 75
4.6 Расширение процедур выбора порядка 75
4.7 Резюме 76
Глава 5. Упорядоченные алгебраические структуры 77
5.1 Основные алгебраические структуры 77
5.2 Упорядоченные алгебраические структуры 82
5.3 Остаток 83
5.4 Наибольший общий делитель 86
5.5 Обобщение НОД 89
5.6 Алгоритм gcd по Штейну 91
5.7 Частное 92
5.8 Частное и остаток для отрицательных величин 93
5.9 Концепции и их модели 95
5.10 Компьютерные целочисленные типы 97
5.11 Резюме 98
Глава 6. Итераторы 99
6.1 Читаемость 99
6.2 Итераторы 101
6.3 Интервалы 102
6.4 Читаемые интервалы 105
6.5 Увеличение интервалов 112
6.6 Прямые итераторы 114
6.7 Индексированные итераторы 119
6.8 Двунаправленные итераторы 119
6.9 Итераторы с произвольным доступом 121
6.10 Резюме 122
Глава 7. Координатные структуры 125
7.1 Бифуркатные координаты 125
7.2 Двунаправленные бифуркатные координаты 129
7.3 Координатные структуры 133
7.4 Изоморфизм, эквивалентность и упорядочение 134
7.5 Резюме 140
Глава 8. Координаты с изменяемыми последователями 141
8.1 Связанные итераторы 141
8.2 Переупорядочение связей 142
8.3 Области применения переупорядочений связей 148
8.4 Связанные бифуркатные координаты 151
8.5 Резюме 155
Глава 9. Копирование 157
9.1 Записываемость 157
9.2 Копирование с учетом позиции 159
9.3 Копирование на основе предиката 165
9.4 Взаимная перестановка интервалов 171
9.5 Резюме 174
Глава 10. Переупорядочения 177
10.1 Перестановки 177
10.2 Переупорядочения 180
10.3 Алгоритмы обращения 182
10.4 Алгоритмы вращения 185
10.5 Выбор алгоритма 192
10.6 Резюме 196
Глава 11. Разбиение и слияние 197
11.1 Разбиение 197
11.2 Сбалансированное приведение 203
11.3 Слияние 207
11.4 Резюме 212
Глава 12. Составные объекты 213
12.1 Простые составные объекты 213
12.2 Динамические последовательности 220
12.3 Основополагающий тип 227
12.4 Резюме 230
Послесловие 231
Глава A. Математическая система обозначений 235
Глава B. Язык программирования 237
B.1 Определение языка 237
B.2 Макросы и характеристические структуры 244
Литература 246
Предметный указатель 250

С этой книгой чаще всего покупают:
Алгоритмы на C++

Алгоритмы на C++

рекомендуем
Роберт Седжвик
Год выпуска: 2016
Изд-во: Диалектика-Вильямс
в корзину
Только на 1 книгу
 
Структуры данных и алгоритмы

Структуры данных и алгоритмы

рекомендуем
Альфред Ахо, Джон Хопкрофт, Джеффри Ульман
Год выпуска: 2018
Изд-во: Диалектика-Вильямс
в корзину
Только на 1 книгу
Цена: 1050.00 грн. 
 
Цена: 310.00 грн. 
Конкретная математика. Математические основы информатики

Конкретная математика. Математические основы информатики

Рональд Л. Грэхем, Дональд Э. Кнут, Орен Паташник
Год выпуска: 2016
Изд-во: Диалектика-Вильямс
Временно отсутствует   Оставить заявку
 
Алгоритмы: построение и анализ, 3-е издание

Алгоритмы: построение и анализ, 3-е издание

рекомендуем
Томас Х. Кормен, Чарльз И. Лейзерсон, Рональд Л. Ривест, Клиффорд Штайн
Год выпуска: 2016
Изд-во: Диалектика-Вильямс
в корзину
Только на 1 книгу
Цена: 1050.00 грн. 
 
Цена: 1400.00 грн. 

Хотите оставить отзыв? У Вас возникли вопросы о книге "Начала программирования, Александр Степанов, Пол Мак-Джонс" ? Пишите:

* Текст сообщения:
 
  Отправить
Поиск по каталогу
 поиск в аннотациях
Искать

* Подробнее об условиях доставки смотрите в разделе "Оплата и Доставка" нашего магазина.
Если у Вас возникли вопросы как подобрать и купить книги в нашем интернет-магазине звоните с 9 до 18 по будним дням: Киев 331-04-53, МТС (050) 809-56-66, Киевстар (067) 408-26-36, Лайф (063) 227-24-47, Интертелеком (094) 831-04-53 или пишите нам

 
   
  Programming - Dmitriy Kotov & Andrey Kotov