数理逻辑在飞行决策中的应用

1