学生
|
教职工
|
校友
|
考生及访客
|
合作伙伴
校长信箱
信息门户
AI服务
OA
图书馆
邮箱
教工邮箱
学生邮箱
EN
学校概况
学校简介
历史沿革
现任领导
历任领导
学校标识
重点学科
西大章程
信息公开
机构设置
师资人才
教师个人主页
人事招聘
教育教学
本科生教育
研究生教育
留学生教育
继续教育
科学研究
学术研究
科研机构
讲座报告
期刊中心
合作交流
国际合作部
国际教育学院
中亚学院
海外留学服务中心
国内合作与校友工作处
中华文化干部学院
招生就业
本科招生
硕、博士招生
继续教育招生
留学生招生
毕业生就业信息
西大生活
西大电话
学校校历
班车时刻表
信息化服务
校园地图
在线支付平台
后勤服务
医疗服务
校园风光
校园文化
社会实践
校友动态
学生
|
教职工
|
校友
|
考生及访客
|
合作伙伴
校长信箱
信息门户
AI服务
OA
图书馆
邮箱
教工邮箱
学生邮箱
EN
学校概况
学校简介
历史沿革
现任领导
历任领导
学校标识
重点学科
西大章程
信息公开
机构设置
师资人才
教师个人主页
人事招聘
教育教学
本科生教育
研究生教育
留学生教育
继续教育
科学研究
学术研究
科研机构
讲座报告
期刊中心
合作交流
国际合作部
国际教育学院
中亚学院
海外留学服务中心
国内合作与校友工作处
中华文化干部学院
招生就业
本科招生
硕、博士招生
继续教育招生
留学生招生
毕业生就业信息
西大生活
西大电话
学校校历
班车时刻表
信息化服务
校园地图
在线支付平台
后勤服务
医疗服务
校园风光
校园文化
社会实践
校友动态
首页
西大要闻
学术研究
师者风范
学子风采
媒体西大
融媒西大
就读西大
学校概况
学校简介
历史沿革
现任领导
历任领导
学校标识
重点学科
西大章程
信息公开
机构设置
师资人才
教师个人主页
人事招聘
教育教学
本科生教育
研究生教育
留学生教育
继续教育
科学研究
学术研究
科研机构
讲座报告
期刊中心
合作交流
国际合作部
国际教育学院
中亚学院
海外留学服务中心
国内合作与校友工作处
中华文化干部学院
招生就业
本科招生
硕、博士招生
继续教育招生
留学生招生
毕业生就业信息
西大生活
西大电话
学校校历
班车时刻表
信息化服务
校园地图
在线支付平台
后勤服务
医疗服务
校园风光
校园文化
社会实践
校友动态
校长信箱
学生
信息门户
教职工
AI服务
校友
OA
考生及访客
图书馆
合作伙伴
教工邮箱
学生邮箱
EN
科学研究
当前位置：
首页
-
科学研究
-
讲座报告
-
正文
科学研究
学术研究
科研机构
讲座报告
期刊中心
西北大学创新论坛第二千三百三十四讲：智能数学推理：从问题探索到形式化验证
作者：文再文 教授
发布时间：2026-11-10
阅读：
主讲人
职称
上一篇：
西北大学创新论坛第二千三百三十五讲：等价关系与波莱尔归约
下一篇：
西北大学创新论坛第二千三百三十三讲：关于散度型超抛物方程弱解的正则性
分享到：
最新新闻
2026.11.10
坚守半世纪 定下新属种——记古脊椎动物学家、西北大学二级教授、博士生导师薛祥煦教授
2026.11.09
我校举办“国泰海通社会公益基金会助学金”签约仪式
2026.11.08
天问三号任务团队访问我校
2026.11.09
我校“文明起源与早期国家”团队在《考古学报》发表学术论文探讨商周变革模式
2026.11.09
李浩：风檐展书读，古道照颜色 《我们的西北大学》序
Copyright 2025 Northwest University. All Rights Reserved.西北大学版权所有 陕ICP备05010980号-4 陕公网安备 61011602000427号
校长信箱
信息门户
AI服务
OA
图书馆
EN
