含常微分方程-北京大学逻辑