Книга: Степанов Александр Александрович, Мак-Джонс Пол «Начала программирования»
В настоящей книге применяется дедуктивный подход к программированию, основанный на объединении программ с абстрактными математическими теориями, которые обеспечивают их работу. Представлены вместе описания этих теорий, алгоритмы, записанные с точки зрения этих теорий, а также теоремы и леммы, описывающие их свойства. Реализация алгоритмовна реальном языке программирования является центральной темой книги. Эта книга предназначена для тех, кто стремится глубже понять суть программирования, будь то профессиональные программисты или ученые и инженеры, для которых программирование составляет важную часть их профессиональной деятельности. Книга предназначена для чтения от начала и до конца. Читатели смогут достичь понимания материала, только изучая код, доказывая леммы и выполняя упражнения. Об авторах Александр Степанов изучал математику в Московском государственном университете с 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" . Издательство: "Вильямс" (2017)
ISBN: 978-5-8459-1708-9 Купить за 2074 руб в Лабиринте |
Степанов, Александр Александрович
Алекса́ндр Алекса́ндрович Степа́нов:
- Степанов, Александр Александрович (род. 1950) — российско-американский учёный, программист, создатель Стандартной библиотеки шаблонов (STL).
- Степанов, Александр Александрович (род. 1979) — российский хоккеист.
Список полных тёзок. Если вы попали сюда из другой статьи Википедии, возможно, стоит уточнить ссылку так, чтобы она указывала на статью о конкретном человеке. См. также полный список существующих статей. |
- Списки полных тёзок
Источник: Степанов, Александр Александрович
Другие книги схожей тематики:
Автор | Книга | Описание | Год | Цена | Тип книги |
---|---|---|---|---|---|
Александр Степанов, Пол Мак-Джонс | Начала программирования | 272 стр. Две идеи, на которых основана эта книга, пришли мне в голову в середине 1970-х годов, когда я еще жил в… — Вильямс, (формат: 170мм х 240мм, 272 стр.) Несерийные Подробнее... | 2011 | 348 | бумажная книга |
Степанов Александр Александрович, Мак-Джонс Пол | Начала программирования | В настоящей книге применяется дедуктивный подход к программированию, основанный на объединении программ с… — Вильямс, Подробнее... | 2017 | 2074 | бумажная книга |
Александр Степанов,Пол Мак-Джоунс | Начала программирования | От издателя:В настоящей книге применяется дедуктивный подход к программированию, основанный на объединении… — (формат: 70х100/16 (~170х240 мм), 272стр. стр.) Подробнее... | 2011 | 528 | бумажная книга |
С. А. Абрамов, Е. В. Зима | Начала программирования на языке паскаль | Предлагается сокращенный вариант языка программирования паскаль. Всякая программа, правильно написанная… — Главная редакция физико-математической литературы издательства "Наука", (формат: 84x108/32, 112 стр.) Подробнее... | 1987 | 100 | бумажная книга |
В. С. Новичков, А. Н. Пылькин | Начала программирования на языке QBasic | Рассмотрены вопросы программирования для персональных компьютеров на алгоритмическом языке QBasic. Приведено… — Горячая Линия - Телеком, (формат: 60x88/16, 268 стр.) Специальность. Для высших учебных заведений Подробнее... | 2007 | 180 | бумажная книга |
Ишкова Элеонора Алексеевна | Самоучитель С#. Начала программирования | Данная книга является превосходным и эффективным учебным пособием для изучения языка программирования С# с… — Наука и Техника, Самоучитель. Подробнее... | 2013 | 564 | бумажная книга |
Ишкова Элеонора Алексеевна | Самоучитель С . Начала программирования | Данная книга является превосходным и эффективным учебным пособием для изучения языка программирования С с… — Наука и техника, (формат: 70x100/16, 496 стр.) Компьютерная литература. Самоучитель Подробнее... | 2013 | 605 | бумажная книга |
С. А. Абрамов, Е. В. Зима | Начала информатики | Содержит систематизированное изложение основных понятий и методов информатики (вычислительной техники… — Главная редакция физико-математической литературы издательства "Наука", (формат: 84x108/32, 256 стр.) Библиотечка программиста Подробнее... | 1989 | 110 | бумажная книга |
Липпман Стенли Б., Лажойе Жози, Му Барбара Э. | Язык программирования C++. Базовый курс | Книга "Язык программирования C++. Базовый курс" (5-е издание) - лучшее руководство по программированию и… — Вильямс, Подробнее... | 2018 | 4538 | бумажная книга |
Куляс О. Л., Никитин К. А. | Курс программирования на ASSEMBLER | Учебное пособие может использоваться студентами вузов, ссузов и учащимися старших классов очной, заочной и… — Солон-пресс, Библиотека студента Подробнее... | 2017 | 613 | бумажная книга |
См. также в других словарях:
Паскаль (язык программирования) — Эта статья или раздел нуждается в переработке. В Паскале нет модулей, ООП и прочих новомодных веяний. Описание расширений должно присутствовать только в статьях о соответ … Википедия
Forth (язык программирования) — Forth Семантика: императивный Тип исполнения: интерпретатор/компилятор Появился в: 1971 г. Автор(ы): Чарльз Х. Мур Основные реализации: gForth, pForth, kForth, SP Forth, win32forth … Википедия
Форт (язык программирования) — У этого термина существуют и другие значения, см. Форт (значения). Forth Семантика: императивный Тип исполнения: интерпретатор/компилятор Появился в: 1971 Автор(ы): Чарльз Х. Мур Основные реализации … Википедия
Лого (язык программирования) — У этого термина существуют и другие значения, см. Лого. Лого (англ. Logo) Появился в: 1967 Автор(ы): Сеймур Пейперт, Идит Харель Испытал влияние: Лисп … Википедия
Mercury (язык программирования) — У этого термина существуют и другие значения, см. Mercury. Mercury Класс языка: логический, функциональный Появился в: 1995 Автор(ы) … Википедия
Euphoria (язык программирования) — У этого термина существуют и другие значения, см. Euphoria. Euphoria Семантика: императивный Класс языка: процедурный Тип исполнения: интерпретация, интерп … Википедия