Название: Программирование. Теоремы и задачи (2021)
Автор: Шень А.
Издательство: М.: МЦНМО
Год: 2012
Формат: pdf
Страниц: 320
Размер: 12 mb
Язык: Русский

Книга написана в убеждении, что программирование имеет свой предмет, не сводящийся ни к конкретным языкам и системам, ни к методам построения быстрых алгоритмов.
Кто-то однажды сказал, что можно убедить в правильности алгоритма, но не в правильности программы. Одна из целей книги — попытаться продемонстрировать, что это не так.
Характер глав различен: в одних предлагается набор мало связанных друг с другом задач с решениями, в других по существу излагается о дин-единственный алгоритм. Темы глав во многом пересекаются, и мы предпочли кое-какие повторения формальным ссылкам.
Уровень трудности задач и глав весьма различен. Мы старались включить как простые задачи, которые могут быть полезны для начинающих, так и трудные задачи, которые могут посадить в лужу сильного школьника.