解决问题的归纳法和假设-演绎方法