Название: Программирование. Теоремы и задачи (2021) Автор: Шень А. Издательство: М.: МЦНМО Год: 2012 Формат: pdf Страниц: 320 Размер: 12 mb Язык: Русский
Книга написана в убеждении, что программирование имеет свой предмет, не сводящийся ни к конкретным языкам и системам, ни к методам построения быстрых алгоритмов. Кто-то однажды сказал, что можно убедить в правильности алгоритма, но не в правильности программы. Одна из целей книги — попытаться продемонстрировать, что это не так. Характер глав различен: в одних предлагается набор мало связанных друг с другом задач с решениями, в других по существу излагается о дин-единственный алгоритм. Темы глав во многом пересекаются, и мы предпочли кое-какие повторения формальным ссылкам. Уровень трудности задач и глав весьма различен. Мы старались включить как простые задачи, которые могут быть полезны для начинающих, так и трудные задачи, которые могут посадить в лужу сильного школьника.