中国教育装备采购网 【立即登录】 【免费注册】
资讯
专题
人物访谈
政府采购
产品库
求购库
企业库
院校库
案例·技术
会展信息
行业日历
体采通

陈仪香教授应邀来淮北师范大学作学术报告

中国教育装备采购网 2020/11/23 9:06:05 围观0次 我要分享

陈仪香教授应邀来淮北师范大学作学术报告

  2020年11月18日下午,应淮北师范大学科学研究部和计算机科学与技术学院邀请,华东师范大学陈仪香教授、博士生导师使用腾讯会议为淮北师范大学作了题为“人工智能逻辑漫谈”的主题报告,报告由计算机科学与技术学院院长陈得宝教授主持,学院教师及研究生聆听了报告。

  陈仪香教授的报告介绍了与人工智能相关的若干类经典逻辑系统,以及逻辑型程序设计语言,特别介绍基于逻辑的计算机规范语言,如智能系统的时空一致性描述语言STeC,混成时钟逻辑系统,神经网络鲁棒性的逻辑规范验证,探讨逻辑与计算融合一体的Hoare逻辑系统,进一步建立人工智能与逻辑的关系,并对人工智能逻辑的未来提出展望。

  报告会后,陈仪香教授与参会老师进行了深入交流和讨论,营造了学院浓厚的学术氛围。陈教授的报告中蕴藏着丰富的研究课题,拓宽了师生的学术视野,讲座在热烈的掌声中圆满结束。(通讯员:郑颖 吴昕铮 王晶)

来源:中国高校之窗 责任编辑:张肖 我要投稿
2020全国教育装备云展会
采购网二维码

扫一扫,欢迎关注

教育装备采购网官方微信

掌握教育装备行业最新、最权威资讯

相关阅读

  • 贵州医科大学入选“全省消费扶贫示范单位”

    贵州医科大学入选“全省消费扶贫示范单位”
    中国高校之窗11-23
    为深入贯彻落实习近平总书记关于开展消费扶贫行动的重要指示精神、国务院扶贫开发领导小组关于消费扶贫工作的安排部署,贵州医科大学根据《贵州省消费...
  • 北华大学学报自科版和社科版双获“RCCSE中国核心学术期刊”
    中国高校之窗11-23
    由中国科学评价研究中心等联合推出的2020年《中国学术期刊评价研究报告》(第六版)近日发布,北华大学学报自科版和社科版双获“RCCSE中国核心学术期刊”。截至目前,学报自科版三次进入该核心期刊...
  • 安徽工业大学荣获团中央“我的返家乡实践故事”最佳组织单位
    中国高校之窗11-23
    11月17日,团中央组织的“我的返家乡实践故事”评选活动结果揭晓。安徽工业大学荣获“最佳组织单位”;安徽工业大学报送《安徽工业大学:关爱留守儿童,共建美好未来》、《安徽工业大学:迷彩青...
  • 校园空气污染,看溪风大显身手

    校园空气污染,看溪风大显身手
    溪风11-20
    学校是国家人才的重要培育基地,室内教学环境的空气污染将直接影响到学生的健康成长和国家教育事业的发展。一般情况下,影响教室空气质量的主要原因,除了...
  • 中教启星携四大核心方案亮相第二届西北教育装备展

    中教启星携四大核心方案亮相第二届西北教育装备展
    中国教育装备采购网11-20
    11月15日,2020第二届西北教育装备博览会在西安圆满闭幕。为充分发挥教育装备助力教育现代化的积极作用,促进区域性教育工作交流合作,加快西北地区教...
  • 教育部印发通知部署做好2020年全国儿童青少年近视防控试点县(市、区)和改革试验区遴选工作
    教育部11-20
    近日,教育部办公厅印发《关于做好2020年全国儿童青少年近视防控试点县(市、区)和改革试验区遴选工作的通知》,在2019年认定一批试点县(市、区)和改革试验区的基础上,继续遴选和建设一批全...
  • 温州肯恩大学四大科研机构正式揭牌 助力产学研加速融合

    温州肯恩大学四大科研机构正式揭牌 助力产学研加速融合
    Wenzhou-Kean University11-20
    为促进我校科研发展,加快推进产学研融合,11月9日下午,温州肯恩大学中美人文交流研究中心、温州肯恩大学品牌发展研究院、温州肯恩大学交互式学习及沉...
  • 第二届粤港澳青少年棒球精英赛圆满落幕

    第二届粤港澳青少年棒球精英赛圆满落幕
    深圳市无限体育娱乐有限公司11-20
    莲花小学夺冠,大湾区体育交融增强向心力在印有“爱中国,爱棒球!”大字的蓝色主背景板前,小球员们带着比赛完的兴奋劲儿,正欢呼着拍照留念。最前排...
  • 版权与免责声明:

    ① 凡本网注明"来源:中国教育装备采购网"的所有作品,版权均属于中国教育装备采购网,未经本网授权不得转载、摘编或利用其它方式使用。已获本网授权的作品,应在授权范围内使用,并注明"来源:中国教育装备采购网"。违者本网将追究相关法律责任。

    ② 本网凡注明"来源:XXX(非本网)"的作品,均转载自其它媒体,转载目的在于传递更多信息,并不代表本网赞同其观点和对其真实性负责,且不承担此类作品侵权行为的直接责任及连带责任。如其他媒体、网站或个人从本网下载使用,必须保留本网注明的"稿件来源",并自负版权等法律责任。

    ③ 如涉及作品内容、版权等问题,请在作品发表之日起两周内与本网联系,否则视为放弃相关权利。

    2020全国教育装备云展会