Книги и курсы по CS и смежным областям, которые я рекомендую

• Курс MIT «Advanced Data Structures». http://courses.csail.mit.edu/6.851/
• В. А. Успенский, Н. К. Верещагин, А. Шень. Колмогоровская сложность. ftp://ftp.mccme.ru/users/shen/kolmbook.pdf
• S. Arora, B. Barak. Computational Complexity: A Modern Approach. http://www.cs.princeton.edu/theory/index.php/Compbook/Draft
• R. Motwani, P. Raghavan. Randomized algorithms. http://lib.mexmat.ru/books/9687
• E. Kushilevitz, N. Nisan. Communication Complexity. http://lib.mexmat.ru/books/13698
• N. Alon, J. Spencer. The probabilistic method. http://lib.mexmat.ru/books/1152
• Н. К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов. Начала теории множеств. ftp://ftp.mccme.ru/users/shen/logic/sets/part1pdf.zip
• Н. К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов. Языки и исчисления. ftp://ftp.mccme.ru/users/shen/logic/firstord/part2pdf.zip
• Н. К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов. Вычислимые функции. ftp://ftp.mccme.ru/users/shen/logic/comput/part3pdf.zip
• А. Е. Ромащенко. Заметки о расширящихся графах (экспандерах). http://www.mccme.ru/~anromash/courses/expanders2009.pdf
• А. Е. Ромащенко, А. Ю. Румянцев, А. Шень. Заметки по теории кодирования. http://www.mccme.ru/~anromash/courses/essential-coding-theory.pdf
• V. Vazirani. Approximation Algorithms. http://books.google.com/books?id=EILqAmzKgYIC&dq=Vazirani+approximation+algorithms&printsec=frontcover&source=bn&hl=en&ei=F8icS6mvDqKqnQPxtPSeCw&sa=X&oi=book_result&ct=result&resnum=4&ved=0CBgQ6AEwAw#v=onepage&q=&f=false
• А. Шень. Программирование: теоремы и задачи. ftp://ftp.mccme.ru/users/shen/progbook2/progbookpdf.zip