前面数理逻辑有点难，疯狂担心后面做不完