Литература

1. Ахо А., Хопкрофт Д., Ульман Д.

   Построение и анализ вычислительных алгоритмов.
   
   М.: Мир, 1979.
   
   

2. Гэри М., Джонсон Д.

   Вычислительные машины и труднорешаемые задачи.
   
   М.: Мир, 1982.
   
   

3. Кормен Т., Лейзерсон Ч., Ривест Р., Штайн К.

   Алгоритмы: построение и анализ. 2-е издание
   
   М.: Вильямс, 2005.
   
   

4. Кормен Т., Лейзерсон Ч., Ривест Р.

   Алгоритмы: построение и анализ.
   
   М.: МЦНМО, 2002.
   
   

5. Дасгупта С., Пападимитриу Х., Вазирани У.

   Алгоритмы.
   
   М.: МЦНМО, 2014.
   
   

6. Кнут Д.Э.

   Искусство программирования (Том 1. Основные алгоритмы)
   
   М.: Вильямс, 2001.
   
   

7. Кнут Д.Э.

   Искусство программирования (Том 2. Получисленные алгоритмы)
   
   М.: Вильямс, 2001.
   
   

8. Кнут Д.Э.

   Искусство программирования (Том 3. Сортировка и поиск)
   
   М.: Вильямс, 2001.
   
   

   Посмотреть оглавление, а также скачать все три книги можно здесь

9. Шень. А. Х.

   Программирование: теоремы и задачи
   
   М.: МЦНМО, 2004.
   
   

10. Кузюрин Н.Н., Фомин С.А.

    Эффективные алгоритмы и сложность вычислений
    
    2012.
    
    

11. Sipser M.

    Introduction to the theory of computation
    
    

12. Hopcroft J., Ullman J.

    Introduction to Automata Theory, Languages, and Computation. 1-st edition.
    
    1979.
    
    

13. Журавлёв Ю.И., Флёров Ю.А, Вялый М.Н.

    Дискретный Анализ. Основы высшей алгебры.
    
    М.: МЗ-пресс, 2007.

14. Журавлёв Ю.И., Флёров Ю.А, Вялый М.Н.

    Дискретный Анализ. Формальные системы и алгоритмы.
    
    М.: МЗ-пресс, 2010.

15. Журавлёв Ю.И., Флёров Ю.А, Федько О.С..

    Дискретный Анализ. Комбинаторика. Алгебра логики. Теория графов.
    
    М.: МФТИ, 2012.

 

Ссылки преимущественно ведут на библиотеку http://lib.mipt.ru, в которой я рекомендую зерегистрироваться.