北京航空航天大学2001年数理逻辑与编译原理试题