Каталог
Обложка «Вычисления без чёрного ящика»

Bookcod · Рабочая редакция

Вычисления без чёрного ящика

Данные, алгоритмы и границы вычислений

Учебник о представлении данных, договоре вычислений и выборе алгоритмов. Восемнадцать глав ведут от логических условий и памяти к поиску, графам, динамическому программированию и воспроизводимой проверке локального каталога. Сквозной проект — выдача книг с неизменным журналом операций, индексом и проверкой маршрутов обучения. Примеры ограничены одним процессом; их нельзя выдавать за готовую банковскую или распределённую систему. Независимая предметная редактура рабочей редакции продолжается.

  • Задать единицы, ограничения и инварианты данных; объяснить поведение изменяемых объектов.
  • Реализовать и трассировать поиск, сортировку, обход графа и динамическое программирование.
  • Построить локальный каталог с журналом выдачи, проверить граничные случаи и обосновать стоимость операций.

Первая глава бесплатна. Полное издание готовится к выпуску; продажи пока не открыты.

Редакционное предложение

Три уровня одной темы

Выберите по подготовке и задаче. Все уровни входят в одну книгу.

Что нужно на входе

  • Достаточно школьной арифметики; Python нужен только для запуска примеров.

Что сможете проверить на практике

  • Различать значение и представление.
  • Записывать договор операции.

Главы этого уровня

  1. Данные: что именно мы считаем
  2. Алгоритм начинается с договора
  3. Логика условий и пространство случаев
  4. Декомпозиция и чистые преобразования
  5. Память, ссылки и стоимость копии
  6. Проверка примерами, свойствами и контрпримером

Учебный кейс

Поставка с ведущим нулём

Учебная миссия

Карточка с тайным общим списком

Решите кейс и миссию. Сравните результат с критериями и объясните ход решения.

Программа и задания ещё проходят предметную проверку. Pro обозначает сложность задач.

Оглавление

  1. Данные: что именно мы считаем
  2. Алгоритм начинается с договора
  3. Логика условий и пространство случаев
  4. Декомпозиция и чистые преобразования
  5. Память, ссылки и стоимость копии
  6. Проверка примерами, свойствами и контрпримером
  7. Поиск: стоимость невидимой работы
  8. Структура данных выбирает удобные действия
  9. Сортировка как договор о порядке
  10. Хеш-таблица, коллизии и ключ предметной области
  11. Рекурсия, стек и доказательство завершения
  12. Граф зависимостей и маршрут обучения
  13. Состояния и допустимые переходы
  14. Измерение и выбор достаточного решения
  15. Маршруты с весами и очередь приоритетов
  16. Динамическое программирование и состояние задачи
  17. Формат, сериализация и проверка целостности
  18. Перебор, границы ресурсов и честный результат