The design and analysis of algorithms is one of the two essential cornerstone topics in computer science (the other being automata theory/theory of computation). Every computer scientist has a copy of Knuth"s works on algorithms on his or her shelf. Dexter Kozen, a researcher and professor at Cornell University, has written a text for graduate study of algorithms. This will be an important reference book as well as being a useful graduate-level textbook. Это и многое другое вы найдете в книге The Design and Analysis of Algorithms (TEXTS AND MONOGRAPHS IN COMPUTER SCIENCE) (Dexter C. Kozen)