Bookcod · Рабочая редакция
Вычисления без чёрного ящика
Данные, алгоритмы и границы вычислений
Учебник о представлении данных, договоре вычислений и выборе алгоритмов. Восемнадцать глав ведут от логических условий и памяти к поиску, графам, динамическому программированию и воспроизводимой проверке локального каталога. Сквозной проект — выдача книг с неизменным журналом операций, индексом и проверкой маршрутов обучения. Примеры ограничены одним процессом; их нельзя выдавать за готовую банковскую или распределённую систему. Независимая предметная редактура рабочей редакции продолжается.
- Задать единицы, ограничения и инварианты данных; объяснить поведение изменяемых объектов.
- Реализовать и трассировать поиск, сортировку, обход графа и динамическое программирование.
- Построить локальный каталог с журналом выдачи, проверить граничные случаи и обосновать стоимость операций.
Первая глава бесплатна. Полное издание готовится к выпуску; продажи пока не открыты.
Редакционное предложение
Три уровня одной темы
Выберите по подготовке и задаче. Все уровни входят в одну книгу.
Что нужно на входе
- Достаточно школьной арифметики; Python нужен только для запуска примеров.
Что сможете проверить на практике
- Различать значение и представление.
- Записывать договор операции.
Главы этого уровня
- Данные: что именно мы считаем
- Алгоритм начинается с договора
- Логика условий и пространство случаев
- Декомпозиция и чистые преобразования
- Память, ссылки и стоимость копии
- Проверка примерами, свойствами и контрпримером
Учебный кейс
Поставка с ведущим нулём
Учебная миссия
Карточка с тайным общим списком
Решите кейс и миссию. Сравните результат с критериями и объясните ход решения.
Программа и задания ещё проходят предметную проверку. Pro обозначает сложность задач.
Оглавление
- Данные: что именно мы считаем
- Алгоритм начинается с договора
- Логика условий и пространство случаев
- Декомпозиция и чистые преобразования
- Память, ссылки и стоимость копии
- Проверка примерами, свойствами и контрпримером
- Поиск: стоимость невидимой работы
- Структура данных выбирает удобные действия
- Сортировка как договор о порядке
- Хеш-таблица, коллизии и ключ предметной области
- Рекурсия, стек и доказательство завершения
- Граф зависимостей и маршрут обучения
- Состояния и допустимые переходы
- Измерение и выбор достаточного решения
- Маршруты с весами и очередь приоритетов
- Динамическое программирование и состояние задачи
- Формат, сериализация и проверка целостности
- Перебор, границы ресурсов и честный результат