Книги по программированию

[gnat26]

Свободная программная среда R: практикум для студентов

Язык программирования R поддерживает широкий спектр статистических и численных методов и обладает хорошей расширяемостью с помощью пакетов. Этот практикум формирует следующие профессиональные компетенции: ПК-8 — способность готовить аналитические материалы для оценки мероприятий в области экономической политики и принятия стратегических решений на микро- и макроуровне; ПК-10 — способность составлять прогноз основных социально-экономических показателей деятельности предприятия, отрасли, региона и экономики в целом. Практикум предназначен студентам, обучающимся по направлению подготовки магистратуры «Экономика» для дисциплины «Эконометрика (продвинутый курс)».
Краткое содержание
Введение
Лабораторная работа 1. Основы работы с R. Обработка статистических данных
Лабораторная работа 2. Линейная регрессия
Лабораторная работа 3. Временные ряды
Лабораторная работа 4. Генетические алгоритмы
Литература
Варианты заданий.
Название: Свободная программная среда R: практикум для студентов, обучающихся по направлению 38.04.01 «Экономика» (уровень подготовки магистратуры)
Автор: Кожухова В.Н., Коробецкая А.А., Семенычев В.К.
Издательство: Самара: САГМУ
Год: 2016
Страниц: 48
ISBN: 978-5-94189-154-2
Язык: Русский
Формат: djvu
Размер: 23,2 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Алгоритмические методы в теории графов

В мировой практике накоплен огромный опыт разработки алгоритмов для решения задач комбинаторного характера, значительная часть которых - задачи на графах. В пособии излагаются основные понятия и математические факты из теории графов и наиболее интересные и важные алгоритмы для решения задач на графах. Большое внимание уделяется умению выбрать алгоритмическую структуру для конкретно решаемой задачи, обоснованию алгоритмов и анализу их трудоемкости. Приемы создания алгоритмов и алгоритмические методы рассматриваются во многих не только классических университетских курсах, но и во многих инженерных дисциплинах. Пособие для научных работников, студентов и аспирантов высших учебных заведений.
Краткое содержание
Введение
Глава 1. Структуры данных и алгоритмы
Глава 2. Пространство суграфов
Глава 3. Свойства множества единичных циклов
Глава 4. Программное и алгоритмическое обеспечение системы решения задач методами теории графов
Глава 5. Встроенные процедуры
Литература.
Название: Алгоритмические методы в теории графов
Автор: Курапов С.В.
Издательство: Запорожье: Запорожский национальный университет
Год: 2012
Страниц: 242
ISBN: 978-966-599-408-4
Язык: Русский
Формат: djvu
Размер: 11,9 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Комбинаторные алгоритмы - Асанов М.О., Расин В.В.

В этой книге приводятся алгоритмы дискретной оптимизации на графах и сетях. При построении и анализе алгоритмов, используются основные теоретико-графовые понятия и факты. Подбор тем, поднятых в книге, во многом определен вкусами авторов. Авторам хотелось представить семейство алгоритмов дискретной оптимизации, наиболее часто используемых программистами. Авторы стремились привести главные достижения, не останавливаясь на мелочах и не углубляясь в детальный обзор результатов по обсуждаемым темам. Учебное пособие рекомендовано для студентов, обучающихся по специальностям «Математика, прикладная математика», «Математика, компьютерные науки» и «Компьютерная безопасность».
Название: Комбинаторные алгоритмы: учебное пособие
Автор: Асанов М.О., Расин В.В.
Издательство: Екатеринбург: УрГУ
Год: 2008
Страниц: 152
Язык: Русский
Формат: djvu
Размер: 12,6 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Элементы анализа программ. Частичные функции на множестве состояний

Программа — это инструкция выбранного языка, чаще всего составная. Поэтому без термина «программа», строго говоря, можно было бы обойтись. Однако этот термин указывает на смысловую законченность текста на выбранном языке программирования. В книге описываются различные подходы к установлению свойств программ и доказательству теорем о программах. Цель книги — дать единую теоретико-множественную схему: с одной стороны, наиболее распространенные традиционные методы, с другой стороны, новые методы анализа программ. Эта книга для студентов и аспирантов математических специальностей, а также научных работников, интересующихся проблемами теоретического программирования.
Краткое содержание
Предисловие
Глава I. Программы и индуцируемые ими преобразования множеств функций (детерминированный случай)
Глава II. О возможностях метода Хоора
Глава III. Программы и индуцируемые ими преобразования множеств функций (общий случай)
Список литературы.
Название: Элементы анализа программ. Частичные функции на множестве состояний
Автор: Абрамов С.А.
Издательство: М.: Наука
Год: 1986
Страниц: 130
ISBN: 519-20122017-64
Серия: Библиотечка программиста
Язык: Русский
Формат: djvu
Размер: 13,9 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Комбинаторные алгоритмы - Федоряева Т.И.

Для понимания материала учебного пособия читатель должен обладать минимальным опытом программирования, каждый изучаемый алгоритм снабжен понятным псевдокодом, позволяющим реализовать рассматриваемый алгоритм на доступном языке программирования. Наряду с теоретическими знаниями дается описание важнейших комбинаторных алгоритмов над объектами дискретной математики, приводится строгое обоснование рассматриваемых алгоритмов и детально изучается их асимптотическая сложность. Пособие ориентировано на студентов программистских специальностей, которым по роду их занятий приходится заниматься разработкой алгоритмов и анализом их вычислительной сложности.
Краткое содержание
Предисловие
Глава 1. Введение
Глава 2. Генерация комбинаторных объектов
Глава 3. Генерация случайных комбинаторных объектов
Глава 4. Разбиения чисел и множеств
Глава 5. Сортировка комбинаторных объектов
Список литературы.
Название: Комбинаторные алгоритмы: Учебное пособие
Автор: Федоряева Т.И.
Издательство: Новосибирск: НГУ
Год: 2011
Страниц: 118
ISBN: 978-5-4437-0019-9
Язык: Русский
Формат: djvu
Размер: 11,7 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Современные методы, модели и алгоритмы интеллектуальных систем

Развитие информационных технологий в XXI веке будет сопряжено с разработкой и созданием интеллектуальных систем обработки информации и управления в различных средах обитания и деятельности человека. В учебном пособии рассмотрены задачи информационных технологий, решение которых позволяет проектировать интеллектуальные системы, а также алгоритмы принятия решений и выработки управления в системах. Представлен ряд современных методов, моделей и алгоритмов интеллектуальных систем, позволяющих проводить исследования информационных процессов в таких системах. Учебное пособие адресовано магистрам, обучающимся по направлению «Автоматизация и управление», может быть полезно специалистам и аспирантам, занимающимся проблемами информационных технологий и теории систем.
Краткое содержание
Введение
1. Интеллектуальные системы
2. Основные функциональные возможности ИС и их элементная база
3. Анализ возможности применения робастных методов в ИС высокой точности и надежности
4. Анализ возможностей использования методов адаптации и самоорганизации в интеллектуальных системах высокой точности и надежности
5. Решение задач анализа изображений в интеллектуальных системах с использованием нейро-нечетких, робастных и адаптивных подходов
6. Применение искусственных нейронных сетей в интеллектуальных системах высокой точности и надежности
7. Алгоритмическая коррекция частотных характеристик датчиков виброускорений в интеллектуальных системах высокой точности и надежности
Выводы
Источники информации
Описание курса и программа.
Название: Современные методы, модели и алгоритмы интеллектуальных систем: Учебное пособие
Автор: Пупков К.А.
Издательство: М.: РУДН
Год: 2008
Страниц: 154
Язык: Русский
Формат: djvu
Размер: 26,8 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Алгоритмы и анализ сложности

В учебнике механизм реализации алгоритмического процесса прослеживается на алгоритмических моделях, использующих конечные наборы простейших алгоритмических объектов и конечные наборы элементарных действий. Приведены основные направления исследований в теории алгоритмов, определены базовые понятия и требования, предъявляемые к написанию алгоритмов и определению порядка их сложности. Описаны методы и подходы для работы с массивами, списками, деревьями, графами и другими линейными и нелинейными структурами. Содержатся задачи и упражнения, а также вопросы для самопроверки. Введены понятия детерминированной и недетерминированной машины Тьюринга. Представлена алгоритмическая модель языка Graph. Учебник предназначен для студентов, обучающихся по направлениям подготовки «Фундаментальная информатика и информационные технологии», «Информатика и вычислительная техника».
Название: Алгоритмы и анализ сложности: учебник
Автор: Коварцев А.Н., Даниленко А.Н.
Издательство: Самара: Издательство Самарского университета
Год: 2018
Страниц: 128
ISBN: 978-5-7883-1263-7
Язык: Русский
Формат: djvu
Размер: 14,9 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Сборник задач по теории алгоритмов

Во всех сферах своей деятельности, и частности в сфере обработки информации, человек сталкивается с различными способами, или методиками, решения задач. Способы решения задач определяют порядок выполнения действий для получения желаемого результата – это можно трактовать как первоначальное или интуитивное определение алгоритма. Первая часть пособия «Алгоритмы на графах» содержит практические задачи, которые могут быть сформулированы в графовой постановке. Во второй части пособия «Бинарные поисковые деревья» рассматриваются вопросы организации поиска некоторого элемента в совокупности элементов. Пособие предназначено для студентов учреждений высшего образования, обучающихся по специальностям Прикладная математика, Информатика, Актуарная математика, Экономическая кибернетика.
Краткое содержание
Предисловие
Часть 1. Алгоритмы на графах
1.1. Графы
1.2. Орграфы
Часть 2. Бинарные поисковые деревья
2.1. Основные определения
2.2. Представление дерева в памяти компьютера
2.3. Поиск ключа в дереве
2.4. Добавление ключа в дерево
2.5. Удаление из дерева
2.6. Обходы вершин дерева
2.7. Наибольшие полупути
2.8. Задачи для самостоятельного решения
2.9. Указания к решению задач
Библиографические ссылки.
Название: Сборник задач по теории алгоритмов: учебно-методическое пособие
Автор: Котов В.М., Орлович Ю.Л., Соболевская Е.П., Соболь С.А.
Издательство: Минск: БГУ
Год: 2017
Страниц: 184
ISBN: 978-985-566-412-4
Язык: Русский
Формат: djvu
Размер: 12,0 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Основы визуальной алгоритмизации

При проектировании визуальных алгоритмов используют специальные графические элементы, называемые графически блоками. Результатом алгоритмизации решения задачи является блок-схема алгоритма, состоящая из некоторой последовательности графических блоков. Учебное пособие включает изложение методических приемов по практическому составлению визуальных алгоритмов, которые могут быть использованы для подготовки к выполнению практических заданий по курсу "Информатика" и "Программирование". В этой работе определено место проектирования алгоритмов при решении задач на ЭВМ, рассмотрена технология проектирования и способ проверки несложных визуальных алгоритмов, приведено множество заданий для самостоятельного выполнения. Для проверки полученных знаний можно воспользоваться заданиями, приведенными в приложении. Учебное пособие предназначено для студентов вузов.
Краткое содержание
Введение
1. Анализ постановки задачи и ее предметной области
2. Формальное решение задачи
З. Основы алгоритмизации
4. 0сновные средства представления алгоритмов
5. Визуальные алгоритмы
6. Разветвленные алгоритмы
7. Циклические алгоритмы
8. Алгоритмы обработки последовательностей чисел
9. Алгоритмы обработки одномерных числовых массивов
10. Алгоритмы сортировки одномерных массивов
11. Алгоритмы обработки упорядоченных массивов
12. Алгоритмы обработки одномернных символьных массивов
13. Алгоритмы обработки двумерных массивов
Заключение
Приложения
Словарь основных понятий и терминов
Литература
Ответы и решения.
Название: Основы визуальной алгоритмизации: Учебное пособие для студентов спец. 5102, 5525, 5501
Автор: Афанасьева Т.В.
Издательство: Ульяновск: УлГТУ
Год: 2002
Страниц: 70
ISBN: 5-7695-0330-0
Язык: Русский
Формат: djvu
Размер: 11,6 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Информационная чувствительность компьютерных алгоритмов

Основная цель, которую ставят перед собой авторы, состоит в изложении нашего понимания чувствительности компьютерных алгоритмов к входным данным на основе аппарата теории вероятностей. Пособие иллюстрировано целым рядом примеров, содержит вопросы и задачи по материалу каждой главы и может использоваться в качестве современного дополнения к существующей учебной литературе по данной проблематике. Авторы надеются, что читатели самостоятельно получат значимые результаты анализа интересующих их алгоритмов на основе излагаемого подхода. Учебное пособие ориентировано на разработчиков алгоритмического обеспечения и предназначено студентам, аспирантам и преподавателям вузов, специализирующимся в области математической информатики.
Краткое содержание
Предисловие
Введение
Глава 1. Алгоритмы: определения, требования, оценки
Глава 2. Специальные классификации компьютерных алгоритмов
Глава 3. Вероятностный подход к описанию трудоёмкости компьютерных алгоритмов
Глава 4. Аппроксимация распределения значений трудоёмкости функциями плотности с ограниченной вариацией
Глава 5. Информационная чувствительность компьютерных алгоритмов и её количественные меры
Глава 6. Размерностная чувствительность компьютерных алгоритмов
Глава 7. Статистические исследования ресурсных характеристик алгоритмов
Глава 8. Сравнительный анализ компьютерных алгоритмов с использованием информационной чувствительности.
Название: Информационная чувствительность компьютерных алгоритмов
Автор: Петрушин В.Н., Ульянов М.В.
Издательство: М.: Физматлит
Год: 2010
Страниц: 224
ISBN: 978-5-9221-1264-2
Язык: Русский
Формат: djvu
Размер: 13,5 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[win32]

Научный редактор М. Малявин
Переводчик А. Макарова
Литературный редактор А. Руденко
Художники В. Мостипан, А. Шляго (Шантурова)
Корректоры С. Беляева, Н. Викторова
Верстка Л. Егорова
Билджин Ибрам, Роланд Хасс
Паттерны Kubernetes: Шаблоны разработки собственных
облачных приложений. — СПб.: Питер, 2020.
ISBN 978-5-4461-1443-6

С развитием микросервисов и контейнеров изменились подходы к проектированию, созданию и запуску программного обеспечения. Познакомьтесь с новыми паттернами и принципами разработки, которые нужны для реализации облачных приложений в Kubernetes.
Эта книга адресована разработчикам, желающим проектировать и разрабатывать облачные приложения для платформы Kubernetes. Наибольшую пользу из нее извлекут читатели, которые хотя бы немного знакомы с контейнерами и хотят подняться на новый уровень. Каждый паттерн проектирования представляет собой описание реальной задачи, а решение поддерживается и иллюстрируется конкретными примерами кода.
Вы узнаете о следующих категориях паттернов:
- Основные паттерны охватывают базовые принципы и практики создания приложений на основе контейнеров.
- Поведенческие паттерны предназначены для управления взаимодействиями контейнеров и платформ.
- Структурные паттерны помогают организовать контейнеры в поды.
- Конфигурационные паттерны позволяют разобраться в настройке приложений.
- Дополнительные паттерны охватывают более сложные темы: операторы и автоматическое масштабирование.
"Прочитав эту книгу, вы узнаете не только о паттернах Kubernetes, но и о том, зачем они нужны и как их использовать".
Брендан Бернс, Kubernetes "Уникальный подход, который знакомит с ключевыми концепциями Kubernetes, чтобы каждый разработчик смог понять и быстро реализовать их на практике".
Эндрю Блок, главный консультант, Red Hat "Отличная книга, в которой объясняется как решать реальные задачи".
Майкл Хюттерманн, главный консультант по DevOps, Huettermann.net

Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Верификация программ методом Model Checking

Гарантированное обоснование качества систем может быть получено только при помощи альтернативного подхода, принципиально отличного от тестирования. Данный подход называется верификацией. В учебном пособии подробно рассматривается распространенный подход к моделированию и верификации программных систем, известный под названием Model Checking. Рассказывается о результатах в области верификации с помощью метода Model Checking и приводятся примеры приложений этого метода в самых разных областях. Учебное пособие предназначено для студентов вузов, специализирующимся в области теоретической и практической информатики. Книга может быть полезна программистам и инженерам, специализирующимся в области вычислительной технике и прикладной математики.
Краткое содержание
1. Введение
2. Модели систем
3. Темпоральная логика
4. Символьный Model Checking
5. Логика LTL.
Название: Верификация программ методом Model Checking
Автор: Миронов А.М.
Издательство: М.: МГУ, Мех-мат
Год: 2012
Страниц: 86
Язык: Русский
Формат: djvu
Размер: 13,8 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся

 

[Dr.Pavlov]

Языки программирования. Концепции и принципы
В. Ш. Кауфман
2010
PDF

Рассмотрены фундаментальные концепции и принципы, воплощенные в современных и перспективных языках программирования. Представлены разные стили программирования (операционный, ситуационный, функциональный, реляционный, параллельный, объектно-ориентированный). Базовые концепции и принципы рассмотрены с пяти различных позиций (технологической, авторской, математической, семиотической и реализаторской) и проиллюстрированы примерами из таких языков, как Паскаль, Симула-67, Смолток, Рефал, Ада, Модула-2, Оберон, Оккам-2, Турбо Паскаль, С++ и др.

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

Новые подходы применены при изложении известных фактов (пошаговая модификация нормальных алгоритмов Маркова сначала до Рефала, а затем до реляционных языков, сопоставление принципов "сундука" и "чемоданчика" при создании Ады, Модулы-2 и Оберона, развитие концепции наследуемости от модульности до объектной ориентации, систематическое сопоставление концепции параллелизма в Аде и Оккаме-2, и др.).

Для всех, серьезно интересующихся программированием, в том числе научных работников, программистов, преподавателей и студентов.

Для просмотра ссылки Войди или Зарегистрируйся

 

[win32]

Мартин Роберт
М29 Чистый Agile. Основы гибкости. — СПб.: Питер, 2020. — 352 с.: ил. — (Серия
«Библиотека программиста»).
ISBN 978-5-4461-1552-5

Прошло почти двадцать лет с тех пор, как появился Манифест Agile. Легендарный Роберт
Мартин (Дядя Боб) понял, что пора стряхнуть пыль с принципов Agile и заново рассказать о гибком подходе не только новому поколению программистов, но и специалистам из других отраслей.
Автор полюбившихся айтишникам книг «Чистый код», «Идеальный программист», «Чистая архитектура» стоял у истоков Agile. «Чистый Agile» устраняет недопонимание и путаницу, которые
за годы существования Agile усложнили его применение по сравнению с изначальным замыслом.
По сути Agile — это всего лишь небольшая подборка методов и инструментов, помогающая небольшим командам программистов управлять небольшими проектами, но приводящая к большим
результатам, потому что каждый крупный проект состоит из огромного количества кирпичиков.
Пять десятков лет работы с проектами всех мыслимых видов и размеров позволяют Дяде Бобу
показать, как на самом деле должен работать Agile.
Если вы хотите понять преимущества Agile, не ищите легких путей — нужно правильно применять Agile. «Чистый Agile» расскажет, как это делать разработчикам, тестировщикам, руководителям, менеджерам проектов и клиентам.


Для просмотра ссылки Войди или Зарегистрируйся

 

[gnat26]

Метавычисления, сборник. 3 книги

Сборник рекомендован для научных сотрудников и студентов, изучающих методы автоматического преобразования программ или проводящих исследования в этой области. Изложение в сборнике рассчитано на специалистов в области программирования. В сборнике из 3-х книг приводятся основные понятия метавычислений, дается описание вопросов теории метавычислений и их применения, примеры построения и использования простых метапрограмм, а также задачи для овладения методами анализа и преобразования программ. В этом сборнике в качестве языка реализации будет использован язык TSG — простой и компактный, алгоритмически полный язык, диалект языка S-Graph, использованного в работе. Простота TSG и предметной области языка позволяет значительно упростить изложение методов метавычислений для TSG, в то же время не упуская ни одного существенного момента.
Список книг:
Абрамов С.М., Пармёнова Л.В.
Метавычисления. Часть I.
Метавычисления. Часть II.
Метавычисления. Сборник задач.
Название: Метавычисления, часть I, II. Сборник задач
Автор: Абрамов С.М., Парменова Л.В.
Издательство: Переславль-Залесский: Изд-во «Университет города Переславля»
Год: 2016
Страниц: 226
ISBN: 978-5-901795-26-2, 978-5-901795-27-9, 978-5-901795-25-5
Язык: Русский
Формат: djvu
Размер: 34,2 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся
Для просмотра ссылки Войди или Зарегистрируйся