Литература
- 
Ахо А., Хопкрофт Д., Ульман Д. Построение и анализ вычислительных алгоритмов. 
 М.: Мир, 1979.
- 
Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. 
 М.: Мир, 1982.
- 
Кормен Т., Лейзерсон Ч., Ривест Р., Штайн К. Алгоритмы: построение и анализ. 2-е издание 
 М.: Вильямс, 2005.
- 
Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: построение и анализ. 
 М.: МЦНМО, 2002.
- 
Дасгупта С., Пападимитриу Х., Вазирани У. Алгоритмы. 
 М.: МЦНМО, 2014.
- 
Кнут Д.Э. Искусство программирования (Том 1. Основные алгоритмы) 
 М.: Вильямс, 2001.
- 
Кнут Д.Э. Искусство программирования (Том 2. Получисленные алгоритмы) 
 М.: Вильямс, 2001.
- 
Кнут Д.Э. Искусство программирования (Том 3. Сортировка и поиск) 
 М.: Вильямс, 2001.Посмотреть оглавление, а также скачать все три книги можно здесь 
- 
Шень. А. Х. Программирование: теоремы и задачи 
 М.: МЦНМО, 2004.
- 
Кузюрин Н.Н., Фомин С.А. 
- 
Sipser M. Introduction to the theory of computation
 
- 
Arora S., Barak B. Computational Complexity: A Modern Approach
 
- 
Hopcroft J., Ullman J. Introduction to Automata Theory, Languages, and Computation. 1-st edition.
 1979.
- 
Журавлёв Ю.И., Флёров Ю.А, Вялый М.Н. Дискретный Анализ. Основы высшей алгебры. 
 М.: МЗ-пресс, 2007.
- 
Журавлёв Ю.И., Флёров Ю.А, Вялый М.Н. Дискретный Анализ. Формальные системы и алгоритмы. 
 М.: МЗ-пресс, 2010.
- 
Журавлёв Ю.И., Флёров Ю.А, Федько О.С.. Дискретный Анализ. Комбинаторика. Алгебра логики. Теория графов. 
 М.: МФТИ, 2012.
Ссылки преимущественно ведут на библиотеку http://lib.mipt.ru, в которой я рекомендую зерегистрироваться.
