Методы доказательства в информатике

В современном мире информатика и компьютерная техника развиваются очень стремительно. И у многих студентов возникает вопрос: «А нужны ли алгоритмы в программировании вообще как таковые?» Они поднимают это вопрос на основании того, что быстродействие современных компьютеров очень велико, память предостаточно, а само компьютерное время очень дешевое. Им кажется, что разные задачи можно решить перебором. А так ли это на самом деле? Прочитав эту книгу вы сможете приблизится к ответу на этот вопрос. И сделать выводы в каком направлении нужно развиваться.