搜索
导航
北航数学科学学院受邀参加工信部部属高校数学学院发展研讨会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名学生党支部书记围绕学习贯彻习近平新时代中国特色社会主义思想和党的二十大精神，落实全国组织工作会议和全市组织工作会议部署要求，落实校院两级党建重点任务，对标《中国共产党普通...
【数学论坛】英属哥伦比亚大学蔡岱朋教授应邀来数学科学学院做线上学术报告12月28日，加拿大英属哥伦比亚大学数学系蔡岱朋教授应邀来到北航应用数学系做了题为 “Global Navier-Stokes flows in intermediate spaces”的线上学术报告。此次报告由应用数学系郑孝信老师主持，相关研究领域的师生参加了本次活动。蔡岱朋教授首先介绍了三维不可压缩Navier-Stokes方程的研究背景、研究进程以及国内外研究的最新成果。随后，蔡教授重...
