适合于有一定编程基础,想深入了解程序设计理论的人