编程逻辑-数学判定