Книга: Солтис М. «Введение в анализ алгоритмов»
|
Серия: "-" Задача данной книги проста: разобрать&# 171;идеи&# 187;, лежащие в основе программ, и показать, как доказывать их правильность. Как математически доказать, что заданный алгоритм делает то, что он должен делать? И почему это так важно?Доказывается правильность классических алгоритмов: целочисленного деления, алгоритм Евклида, ранжирования, др. Помимо традиционных алгоритмов, таких как жадные алгоритмы, алгоритмы динамического программирования и алгоритмы&# 171;разделяй и властвуй&# 187;, книга исследует также рандомизированные и онлайновые алгоритмы. Первые стали повсеместными из-за появления криптографии, а вторые необходимы во многих областях, начиная с операционных систем и заканчивая фондовым рынком. Книга усеяна задачами. Большинство задач теоретические, но многие требуют реализации алгоритма; для таких задач используется язык программирования Python 3. Несмотряна свою краткость, издание является математически строгим. Желательно предварительное знакомство с дискретной математикой. Издание предназначено для студентов вузов, специалистов в области информатики и математики, а также широкого круга программистов и разработчиков. Издательство: "ДМК Пресс" (2019)
ISBN: 978-5-97060-696-4 Купить за 1312 руб в My-shop |
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|---|
| Солтис Майкл | Введение в анализ алгоритмов | Как доказать, что заданный алгоритм делает то, что он должен делать? Ключевые идеи индукции и инвариантности… — ДМК-Пресс, Подробнее... | 2019 | 1652 | бумажная книга |
| Солтис Майкл | Введение в анализ алгоритмов | Как доказать, что заданный алгоритм делает то, что он должен делать? Ключевые идеи индукции и… — ДМК-Пресс, (формат: 240x170x20мм, 278 стр.) Подробнее... | 2019 | 1205 | бумажная книга |
| С. Гудман, С. Хидетниеми | Введение в разработку и анализ алгоритмов | Монография американских авторов, посвященная общим принципам решения задач на ЭВМ, разработке и анализу… — Мир, (формат: 60x90/16, 368 стр.) Подробнее... | 1981 | 220 | бумажная книга |
| Д. Э. Кнут | Устойчивые паросочетания и другие комбинаторные задачи. Введение в математический анализ алгоритмов | Цель этой книги состоит в том, чтобы познакомить читателя с основами анализа алгоритмов, причём сделать это… — МЦНМО, (формат: 60x90/16, 80 стр.) Подробнее... | 2014 | 136 | бумажная книга |
| Д. Э. Кнут | Устойчивые паросочетания и другие комбинаторные задачи. Введение в математический анализ алгоритмов | Цель этой книги состоит в том, чтобы познакомить читателя с основами анализа алгоритмов, причём сделать это… — МЦНМО, (формат: 60x90/16, 80 стр.) Подробнее... | 2014 | 122 | бумажная книга |
| Хаубольд Б. | Введение в вычислительную биологию. Эволюционный подход (+ CD-ROM) | Предлагаемое введение в вычислительную эволюционную биологию сочетает два основных подхода в анализе… — Регулярная и хаотическая динамика, Институт компьютерных исследований, - Подробнее... | 2011 | 1045 | бумажная книга |
| Ботов Михаил Иванович | Введение в теорию радиолокационных систем. Монография | В первом разделе монографии рассматриваются вопросы теории и&# 160;методологии радиолокационных систем… — Инфра-М, Научная мысль Подробнее... | 2017 | 1384 | бумажная книга |
| Ботов Михаил Иванович | Введение в теорию радиолокационных систем. Монография | В первом разделе монографии рассматриваются вопросы теории и&160;методологии радиолокационных систем… — ИНФРА-М, Научная мысль Подробнее... | 2017 | 1790 | бумажная книга |
| А. А. Болотов, С. Б. Гашков, А. Б. Фролов | Элементарное введение в эллиптическую криптографию. Протоколы криптографии на эллиптических кривых | Настоящая книга содержит описание и сравнительный анализ алгоритмов на эллиптических кривых. Изучаются… — КомКнига, (формат: 60x90/16, 306 стр.) Подробнее... | 2012 | 696 | бумажная книга |
См. также в других словарях:
Анализ данных — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка… … Википедия
АНАЛИЗ ЛАТЕНТНО-СТРУКТУРНЫЙ — – метод вероятно статистич. моделирования, идея к рого основана на предположении, что наблюдаемое поведение (напр., ответы индивидов на вопросы теста или анкеты) есть внешнее проявление нек рой скрытой (латентной) характеристики, присущей… … Российская социологическая энциклопедия
Математический анализ — У этого термина существуют и другие значения, см. Анализ. Математический анализ совокупность разделов математики, посвящённых исследованию функций и их обобщений методами дифференциального и интегрального исчислений. При столь общей… … Википедия
Сравнение алгоритмов выделения лиц — Содержание 1 Аннотация 2 Введение 2.1 Методы, основанные на знаниях … Википедия
КОНСТРУКТИВНЫЙ АНАЛИЗ — рекурсивный анализ, вычислимый анализ, название, объединяющее различные течения в основаниях математики и математич. анализе. При развитии К. а., как правило, преследуются обе или вторая из следующих двух принципиальных целей: (1) нетрадиционное… … Математическая энциклопедия
ДИСКРЕТНЫЙ АНАЛИЗ — область математики, занимающаяся изучением свойств структур финитного (конечного) характера, к рые возникают как в самой математике, так и в области ее приложений. К числу таких конечных структур могут быть отнесены, напр., конечные группы,… … Математическая энциклопедия
