Майкл Солтис
Книга представляет собой краткое, но математически строгое введение в анализ различных алгоритмов с точки зрения доказывания их правильности. Вы ознакоми-тесь с основными свойствами линейных, ветвящихся и циклических алгоритмов и способами их проверки. Книга содержит большое количество теоретических задач и практических примеров на языке Python. Издание предназначено для студентов вузов, специалистов в области информатики и математики, а также широкого круга программистов и разработчиков.
2
Форматов
Русский
Язык
По жанру и категории
Скотт Манн, Эллен Митчелл, Митчелл Крелл, С. И. Тригуб, Владислав Романович Гинзбург
О. В. Игнатьева
Аарон Торрес
Юрий Максимов

Ларри Петерсон, Брюс Дэви, ООО «Интеджер»