这是一本强化学习入门书籍，从基础概念讲到算法实现。内容包含基于 PyTorch 的多种算法实现，比如蒙特卡洛、PPO 等，也包括动态规划算法的详细推导和严格证明