- Регистрация
- 24.06.19
- Сообщения
- 50,073
- Реакции
- 269,068
Последние темы автора:
- [Московский институт психоанализа] [МИП] Клиническая психология - 7/10 (2023)
- [vegansearth] Веганский план питания на 3 недели. 1600 ккал (2024)
- [Айтишник из Тиндера] PRO Переписки (2024)
- [Ольга Крутилина] [Школа шитья Нет сомнений] [Шитье] Определение точки баланса косточки (2024)
- [Наталья Игнатова] Психофизиология лишнего веса (2024)
- #1
Голосов: 0
Задача данной книги проста: разобрать "идеи", лежащие в основе программ, и показать, как доказывать их правильность.
Как математически доказать, что заданный алгоритм делает то, что он должен делать? И почему это так важно?
Доказывается правильность классических алгоритмов: целочисленного деления, алгоритм Евклида, ранжирования, др. Помимо традиционных алгоритмов, таких как жадные алгоритмы, алгоритмы динамического программирования и алгоритмы "разделяй и властвуй", книга исследует также рандомизированные и онлайновые алгоритмы. Первые стали повсеместными из-за появления криптографии, а вторые необходимы во многих областях, начиная с операционных систем и заканчивая фондовым рынком.
Подробнее:
Скачать:Для просмотра ссылок пройдите регистрацию