Книга: Солтис Майкл «Введение в анализ алгоритмов»

Введение в анализ алгоритмов

Производитель: "ДМК-Пресс"

Как доказать, что заданный алгоритм делает то, что он должен делать? Ключевые идеи индукции и инвариантностиСтандартные методы проектирования: жадные алгоритмы, динамическое программирование и парадигма`разделяй и властвуй`Математическая основа алгоритмовРасширенные алгоритмыЗадания с предельными срокамиОнлайновые алгоритмыШифрование с публичным ключомРешение оптимизационных задачЗадача данной книги проста: разобрать`идеи`, лежащие в основе программ, и показать, как доказыватьих правильность. Как математически доказать, что заданный алгоритм делает то, что он должен делать? И почему это так важно?Доказывается правильность классических алгоритмов: целочисленного деления, алгоритм Евклида, ранжирования, др. Помимо традиционных алгоритмов, таких как жадные алгоритмы, алгоритмы динамического программирования и алгоритмы`разделяй и властвуй`, книга исследует также рандомизированные и онлайновые алгоритмы. Первые стали повсеместными из-за появления криптографии, а вторые необходимы во многих областях, начиная с операционных систем и заканчивая фондовым рынком. Книга усеяна задачами. Большинство задач теоретические, но многие требуют реализации алгоритма; для таких задач используется язык программирования Python 3. Несмотря на свою краткость, издание является математически строгим. Желательно предварительное знакомство с дискретной математикой. Издание предназначено для студентов вузов, специалистов в области информатики и математики, а такжеширокого круга программистов и разработчиков.

Издательство: "ДМК-Пресс" (2019)

Формат: 240x170x20мм, 278 стр.

ISBN: 978-5-97060-696-4

Купить за 1205 грн (только Украина) в

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Введение в анализ алгоритмовКак доказать, что заданный алгоритм делает то, что он должен делать? Ключевые идеи индукции и инвариантности… — ДМК-Пресс, Подробнее...20191652бумажная книга

См. также в других словарях:

  • Анализ данных — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка… …   Википедия

  • АНАЛИЗ ЛАТЕНТНО-СТРУКТУРНЫЙ — – метод вероятно статистич. моделирования, идея к рого основана на предположении, что наблю­даемое поведение (напр., ответы индивидов на вопросы теста или анкеты) есть внешнее проявление нек рой скрытой (латентной) характери­стики, присущей… …   Российская социологическая энциклопедия

  • Математический анализ — У этого термина существуют и другие значения, см. Анализ. Математический анализ  совокупность разделов математики, посвящённых исследованию функций и их обобщений методами дифференциального и интегрального исчислений. При столь общей… …   Википедия

  • Сравнение алгоритмов выделения лиц — Содержание 1 Аннотация 2 Введение 2.1 Методы, основанные на знаниях …   Википедия

  • КОНСТРУКТИВНЫЙ АНАЛИЗ — рекурсивный анализ, вычислимый анализ, название, объединяющее различные течения в основаниях математики и математич. анализе. При развитии К. а., как правило, преследуются обе или вторая из следующих двух принципиальных целей: (1) нетрадиционное… …   Математическая энциклопедия

  • ДИСКРЕТНЫЙ АНАЛИЗ — область математики, занимающаяся изучением свойств структур финитного (конечного) характера, к рые возникают как в самой математике, так и в области ее приложений. К числу таких конечных структур могут быть отнесены, напр., конечные группы,… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»