Четверг, 27.01.2022, 16:49

Электронная библиотека системного администратора

Приветствую Вас Гость | RSS
Главная Учебники Регистрация Вход
Реклама


Рубрики

Книги и учебники
Microsoft [186]
Linux, Unix, FreeBSD, Solaris [149]
Oracle [36]
Cisco [41]
IBM [22]
1C [46]
SAS [10]
СУБД и базы данных [56]
Web технологии [116]
Компьютерные сети [125]
Компьютеры, hardware [103]
Защита информации [132]
Программирование [169]
Тестирование ПО [23]
DevOps [16]
Начинающим админам [204]
Общие вопросы по IT [68]
Справочники [202]

Программы
Администрирование [58]
Архиваторы [8]
Безопасность [17]
Полезный софт [32]
Программы для hardware [17]
Работа с DJVU, PDF, FB2 [10]
Сетевые сервисы [17]
Сетевые утилиты [79]

Статистика
Онлайн всего: 1
Гостей: 1
Пользователей: 0


Главная » Учебники » Программирование

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

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

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

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

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

Издательство – БХВ-Петербург

Год издания – 2011

Формат книги - PDF

Размер - 17,7 Мб

СКАЧАТЬ с gigapeta.com

Или

СКАЧАТЬ с turbobit.net

Или

СКАЧАТЬ с hitfile.net

Категория: Программирование | Добавил: strelsov (29.11.2021)
Просмотров: 73 | Теги: алгоритмы, Начала программирования, Александр Степанов, Пол Мак-Джоунс, язык программирования, принципы программирования | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Форма входа

Поиск по сайту

Облако тегов
Справочник администратора Уильям Р. Станек cmd Microsoft shell php lan ЛВС vpn SQL СУБД СУБД MySQL Windows PowerShell Java DNS DHCP telnet разработка Web-приложений MySql БД SSH Компьютерные сети Linux Perl информационная безопасность СУБД Oracle ftp xml Интернет BIOS

...

Copyright IT-Ebooks.Ru © 2022