Степанов начала программирования pdf

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

Авторы — Александр Степанов, Пол Мак-Джоунс

В книге Александра Степанова и Пола Мак-Джоунса «Начала программирования» применяется дедуктивный подход к программированию, основанный на объединении программ с абстрактными математическими теориями, которые обеспечивают их работу. Представлены вместе описания этих теорий, алгоритмы, записанные в терминах этих теорий, а также теоремы и леммы, описывающие их свойства. Реализация алгоритмов на реальном языке программирования является центральной темой книги. Теоретические описания адресованы людям, поэтому в них научная строгость должна сочетаться с некоторой неформальностью; код предназначен для компьютера, поэтому должен быть абсолютно точным, даже если он имеет общее назначение.

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

Изложение в книге является кратким, но внимательный читатель в конечном итоге сумеет обнаружить связь между ее частями и понять, чем мы руководствовались при выборе материала. Читатель должен поставить перед собой цель — раскрыть принципы построения книги. Предлагается наличие способности выполнять элементарные алгебраические манипуляции. Предполагается, что читатель знаком с основной терминологией логики и теории множеств на уровне базовых университетских курсов по дискретной математике; в приложении А приведены сводные данные об используемой системе обозначений. Приводятся определения некоторых понятий абстрактной алгебры, необходимых для формулировки алгоритмов. Предполагается также наличие развитых навыков программирования и понимания архитектуры ЭВМ и знакомство с элементарными алгоритмами и структурами данных. В качестве примеров авторы выбрали язык С++, поскольку в нем механизмы абстракции сочетаются с точным представлением существующей машины. В книге используется небольшое подмножество языка и записываются требования как структурированные комментарии. Авторы очень надеются, что следовать за изложением в книге смогут и читатели, не знакомые с языком С++. Подмножество языка, используемое в книге, определено в приложении В. Везде, где имеется различие между математической системой обозначений и языком С++, типографский шрифт и контекст определяют, приведено ли описание математического обоснования или кода С++. У многих концепций и программ из этой книги есть параллели в STL (Standard Template Library — стандартная библиотека шаблонов С++), но некоторые решения, принятые в книге, отличаются от таковых в STL. В книге также игнорируются проблемы, которые должны быть решены в реальной библиотеке, такой как STL: пространства имен, видимость, встроенные директивы и т. д.

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

Источник

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

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

Оглавление:
Об авторах
Предисловие
Вводные определения
Преобразования и их орбиты
Ассоциативные операции
Линейные упорядочения
Упорядоченные алгебраические структуры
Итераторы
Координатные структуры
Координаты с изменяемыми последователями
Копирование
Переупорядочения
Разбиение и слияние
Составные объекты
Послесловие
Глава A.Математическая система обозначений
Глава B. Язык программирования
Литература

Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
Регистрация

Смотри также

Бхаргава Адитья. Грокаем алгоритмы. Иллюстрированное пособие для программистов и любопытствующих

СПб.: Питер, 2017. — 288 с. — (Библиотека программиста). — ISBN: 978-5-496-02541-6. Алгоритмы — это всего лишь пошаговые алгоритмы решения задач, и большинство таких задач уже были кем-то решены, протестированы и проверены. Можно, конечно, погрузится в глубокую философию гениального Кнута, изучить многостраничные фолианты с доказательствами и обоснованиями, но хотите ли вы.

Дорф Р., Бишоп Р. Современные системы управления

Пер. с англ. Б. И. Копылова. — М.: Лаборатория базовых знаний, 2002. — 832 с. — ISBN 5-93208-119-8. В книге излагаются методы анализа и синтеза современных систем автоматического управления (САУ). Показано, как с использованием принципа обратной связи могут быть созданы высокоэффективные системы управления различного назначения (аэрокосмическая техника, промышленные работы.

Кнут Д. Искусство программирования. Том 1. Основные алгоритмы

В 4-х томах. Пер. с англ. — 3-е изд. — М.: Вильямс, 2006. — 682 с. Первый том посвящен основам понятий и методов программирования. Для последующего описания алгоритмов автором вводится гипотетический компьютер MIX с языком ассемблера MIXAL. В книге рассматриваются представлениие информации внутри компьютера, структурные связи между элементами данных и способах эффективной.

Кнут Д. Искусство программирования. Том 3. Сортировка и поиск

В 4-х томах. Пер. с англ. — 2-е изд. — М.: Вильямс, 2007. — 824 с. — ISBN 978-5-8459-0082-1. Во втором издании третьего тома содержится полный обзор классических алгоритмов сортировки и поиска. Представленная в нем информация дополняет приведенное в первом томе обсуждение структур данных. Автор рассматривает принципы построения больших и малых баз данных, а также внутренней и.

Рассел С., Норвиг П. Искусственный интеллект. Современный подход

2-е изд. — М.: Вильямс, 2007. — 1410 с. — ISBN 5-8459-0887-2, 0-13-790395-2, 978-5-8459-0887-2. В книге представлены все современные достижения и изложены идеи, которые были сформулированы в исследованиях, проводившихся в течение последних пятидесяти лет, а также собраны на протяжении двух тысячелетий в областях знаний, ставших стимулом к развитию искусственного интеллекта как.

Хайкин С. Нейронные сети. Полный курс

2-e изд. — Пер. с англ. — М.: Вильямс, 2006. — 1104 с.: ил. В книге рассматриваются основные парадигмы искусственных нейронных сетей. Представленный материал содержит строгое математическое обоснование всех нейросетевых парадигм, иллюстрируется примерами, описанием компьютерных экспериментов, содержит множество практических задач, а также обширную библиографию. В книге также.

Источник

Степанов начала программирования pdf

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

Автор — Александр Степанов, Пол Мак-Джоунс

В книге Александра Степанова и Пола Мак-Джоунса «Начала программирования» применяется дедуктивный подход к программированию, основанным на объединении программ с абстрактными математическими теориями, которые обеспечивают их работу. Представлены вместе описания этих теорий, алгоритмы, записанные в терминах этих теорий, а также теоремы и леммы, описывающие их свойства Реализация алгоритмов на реальном языке программирования является центральной темой книги. Теоретические описания адресованы людям, поэтому в них научная строгость должна сочетаться с некоторой неформальностью: код предназначен для компьютера, поэтому должен быть абсолютно точным, даже если он имеет общее назначение. Как и в других областях науки, в программировании наиболее подходящей основой является дедуктивный метод. Он обеспечивает декомпозицию сложных систем на компоненты с математически обоснованным поведением Создание таких компонентов, в свою очередь, служит необходимой предпосылкой разработки эффективного, надежного, безопасного и экономически эффективного программного обеспечения. Эта книга предназначена для тех, кто стремится глубже понять суть программирования, будь то профессиональные программисты или ученые и инженеры, для которых программирование составляет важную часть их профессиональной деятельности.

Книга предназначена для чтения от начала и до конца. Читатели смогут достичь понимания материала, только изучая код, доказывая леммы и выполняя упражнения. Кроме того, предлагаются несколько проектов, причем решения авторам не известны. Изложение в книге является кратким, но внимательный читатель в конечном итоге сумеет обнаружить связь между ее частями и понять, чем руководствовались авторы при выборе материала. Авторы предполагают наличие способности выполнять элементарные алгебраические манипуляции. Также предполагается, что читатель знаком с основной терминологией логики и теории множеств на уровне базовых университетских курсов по дискретной математике, в приложении А приведены сводные данные об используемой нами системе обозначений. Приводятся определения некоторых понятий абстрактной алгебры, необходимых для формулировки алгоритмов. Предполагается также наличие развитых навыков программирования и понимания архитектуры ЭВМ и знакомство с элементарными алгоритмами и структурами данных. В главе 1 приведено описание значений, объектов, типов, процедур и концепций. Главы 2-5 посвящены алгоритмам на алгебраических структурах, таких как полугруппы и полностью упорядоченные множества. В главах 6-11 описываются алгоритмы на абстрактных представлениях памяти. В главе 12 рассматриваются объекты, содержащие другие объекты. В послесловии представлены размышления о подходе, изложенном в книге.

Источник