| ENGLISH
当前位置: 首页 >> 江淮论坛 >> 正文
江淮论坛(第341期)自动推理与程序验证
日期:2021年07月11日 09:44  浏览量:[]

报告主题: 自动推理与程序验证

主讲人:宋振明西南交通大学教授

时间:202171115:00

地点: 枚乘路校区11号楼403会议室

邀请单位: 计算机与软件工程学院

主讲人简介: 宋振明,博士,教授。先后于19821988年在河南大学分别获学士、硕士学位,1998年在西南交通大学获博士学位。长期从事智能信息处理理论研究与教学工作,共参加了5项国家自然科学基金项目的研究,先后在科学通报“Information Science”“Int. J. of Intelligent Systems”等国内外学术刊物及学术会议上发表研究论文近30篇,合作出版了二本研究生教材和一本本科生教材。现为中国运筹学会模糊信息与工程分会常务理事,中国计算机学会多值逻辑与模糊逻辑专业委员会委员。 先后培养硕士生12人。




上一条:江淮论坛(第342期)逻辑中的真和假

下一条:江淮论坛(第340期)高校中层干部工作方法与能力提升

校区及地址
枚乘路校区
地址:江苏省淮安市枚乘东路1号
北京路校区
地址:淮安市清江浦区北京北路89号
萧湖校区
地址:江苏省淮安市淮安区城河街1号
Copyright 云顶娱乐yd1111网址-云顶国际4008娱乐网站 2018, All Rights Reserved  苏 ICP 备:10033130号-1

苏公网安备 32080102000208号