搜索
导航
为进一步弘扬以“空天报国”为内核的北航精神，促进大中衔接，深化与广东省优秀中学的交流互动，1月22日，北航广东招生组结合中学具体需求，邀请广东实验中学160余名师生来北航研学交流。 校关工委常务副秘书长陈志英教授主讲“蕴含科学定律的飞行器设计”讲座，从飞行器的飞行原理、喷火的航空发动机、飞机的飞行特性等方面系统介绍了飞行器设计中蕴含的科学知识。 来访师生参观航空航天博物馆、校史馆、微纳公共创新中心，游...
北航数学科学学院受邀参加工信部部属高校数学学院发展研讨会2024年1月12日至14日工信部部属高校数学学院发展研讨会暨“面向服务国家战略需求，加强数学学科理工结合能力”主题交流研讨会在哈尔滨工程大学举办。本次会议共有北京航空航天大学、北京理工大学、哈尔滨工业大学、南京航空航天大学、南京理工大学、西北工业大学、哈尔滨工程大学7所高校的数学学院参加，我院院长韩德仁、副院长马声明等出席此次会议。本次会议旨在搭...
北京雁栖湖应用数学研究院李文娟博士应邀访问北航1月12日，应中国逻辑学会非经典逻辑与计算专委会主任、我院杨义川教授邀请，北京雁栖湖应用数学研究院李文娟博士在主楼E404作精彩报告，介绍他们在反推数学和理论计算机领域的相关工作。李文娟博士以寻找一类博弈的必胜策略为例，引出了自动机识别的语言与“决定集”的相关问题，并深入浅出地介绍了她在这一领域结合反推数学所做的一系列工作，最后提出了一些开放性的问题与未来...
2024年1月6日，数学、信息与行为教育部重点实验室学术委员会2023年度会议在张家界顺利召开。北京航空航天大学吕金虎副校长、科学技术研究院蒋崇文副院长、人工智能研究院金蓉书记、数学科学学院韩德仁院长，实验室学术委员会主任文兰院士、顾问郑志明院士、主任刘铁钢教授，以及实验室学术委员会委员和实验室成员30余人参加会议。来自北京大学、北京应用物理与计算数学研究所、浙江大学、中国科学院数学与系统科学院、吉林大学...
国际数理逻辑著名专家Kazuyuki Tanaka教授访问北航近日，应中国逻辑学会非经典逻辑与计算专委会主任、我院杨义川教授邀请，北京雁栖湖应用数学研究院Kazuyuki Tanaka教授为北航数学科学学院师生做了题为“Two topics in reverse mathematics”的学术报告。Tanaka教授在报告中向大家介绍了反推数学 (Reverse mathematics) 这一领域：寻找尽可能弱的集合存在公理来保证特定数学定理的成立。其中系统WKL0起到了关键的作用。Tanaka...
2024年1月3日下午，数学科学学院院党委在沙河校区E306会议室召开2023年度党支部书记抓支部工作述职评议会。数学科学学院党委委员、专职组织员、分团委书记、师生党支部书记和党员代表参加了会议。会上，4个教职工党支部、1名师生联合党支部和8名学生党支部书记围绕学习贯彻习近平新时代中国特色社会主义思想和党的二十大精神，落实全国组织工作会议和全市组织工作会议部署要求，落实校院两级党建重点任务，对标《中国共产党普通...
