Теория алгоритмов

[незваный гость]

maxal писал:

Сложность вычислений:

Complexity Zoo

Annotated List of Selected NP-complete Problems

A compendium of NP optimization problems

List of NP-complete problems @ Wikipedia

[Brukvalub]

Нашёл интересную библиотеку алгоритмов с кратким объяснением используемой в реализации алгоритма "математики" : http://doors.infor.ru/allsrs/alg/index.html

[Brukvalub]

Курс "Формальные языки и грамматики" http://www.eltech.ru/misc/LGA_2007_FINAL/Allpage/content.htm

[Brukvalub]

Кое-что про графы и математическую логику

http://www.nkzu.kz/NKZU/FIT/mat/discretmath/metweb.htm

[Профессор Снэйп]

http://www.nsu.ru/education/podzorov/Alg/Course.pdf
http://www.nsu.ru/education/podzorov/Comput/Comput.pdf

Это то, что я сам читал в НГУ. Первая ссылка --- основной курс теории алгоритмов для первокурсников (конечные автоматы, машины Тьюринга, частично рекурсивные функции и т. д.) Вторая --- "продолжение" для старшекурсников; спецкурс.