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

[gnat26]

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

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

 

[gnat26]

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

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

 

[gnat26]

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

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

 

[gnat26]

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

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

 

[gnat26]

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

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

 

[gnat26]

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

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

 

[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 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
katfile.com
turbo.to
oxy.cloud

 

[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 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
katfile.com
turbo.to
oxy.cloud

 

[gnat26]

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

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

 

[win32]

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

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

Ибрам_Б_,_Хасс_Р_Паттерны_Kubernetes_2020.pdf

 

[gnat26]

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

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