7 - 综合推理及数理逻辑