тмічного вирішення деяких математичних проблем. Такі докази нездійсненні без точного поняття алгоритму (для доказу неіснування алгоритму вирішення того чи іншого класу задач, треба точно знати неіснування чого потрібно довести).
СПИСОК
1.Томас Х. Кормен, Чарльз І. Лейзерсон, Рональд Л. Ривест, Кліффорд Штайн. Алгоритми: побудова й аналіз=INTRODUCTION TO ALGORITHMS.- 2-е вид.- М.: «Вільямс», 2006. - С. 1296. - ISBN 0-07-013151-1
. Дональд Кнут Мистецтво програмування, том 1. Основні алгоритми=The Art of Computer Programming, vol.1. Fundamental Algorithms.- 3-е вид.- М.: «Вільямс», 2006. - С. 720. - ISBN 0-201-89683-4
. Порублев Ілля Миколайович, Ставровский Андрій Борисович. Алгоритми і програми. Рішення олімпіадних завдань.- М.: «Вільямс», 2007. - С. 480. - ISBN 978-5-8459-1244-2
. Игошин В. І. Математична логіка і теорія алгоритмів.- 2-е вид., Стер.- М.: ВЦ «Академія», 2008. - 448 с.- ISBN 5-7695-1363-2
