10月16日至17日,第四届格上拓扑与非经典数理逻辑学术研讨会在我校高新校区甘棠厅举办,会议采用线上线下相结合方式召开。副校长李景宜出席开幕式并致辞,新加坡南洋理工大学、中科院数学与系统科学研究所、西安交通大学、西北工业大学、陕西师范大学、西安电子科技大学等20多家海内外高校及我校专家学者和研究生共计80余人参加会议。会议开幕式由数学与信息科学学院院长刘淳安主持。
李景宜在致辞中对各位专家学者表示热烈欢迎,对各位专家长期以来对我校数学学科发展的关心和支持表示衷心感谢,对此次研讨会在分享数学学科相关领域最新研究成果、推动学科建设和科学研究方面发挥的作用表示肯定。她希望数学与信息科学学院与会教师和学生珍惜机会、虚心求教。
大会主席、陕西师范大学博士生导师赵彬教授在致辞中简要介绍了拓扑与非经典数理逻辑学术研讨会召开的缘起和历史,并向此次承办会议的数学与信息科学学院师生表示衷心感谢。他从教学、科研和做人三个方面追忆了格上拓扑与非经典数理逻辑研究领域带头人王国俊先生,高度肯定了先生热爱教育事业、关爱学生成长和为格上拓扑学和非经典数理逻辑发展作出的突出贡献。
开幕式后,来自新加坡南洋理工大学的赵东升教授、中科院数学与系统科学研究所的尚云研究员、西安交通大学的赵彬教授、陕西师范大学的周红军教授等14位专家通过线上线下同步的方式作了精彩的大会报告,报告内容涉及拓扑与计量逻辑等领域的基础和应用研究。与会代表围绕大会主题进行了充分、热烈的研讨。
格上拓扑与非经典数理逻辑是理论计算机科学的基础,在人工智能等领域具有重要的应用背景,王国俊先生曾是该领域的带头人,他创立了拓扑分子理论,在国内外有着广泛的影响。本次会议的成功举办,对促进格上拓扑与非经典数理逻辑领域专家学者间的学术交流与合作、推动该领域的深入发展具有重要意义。
长安大学公路学院联合中国民航总局智能建设与维护重点实验室,在机场道面标线材料领域取得重大突破。研究团队成功开发出一种基于铝酸锶(SrAlO:EuDy)的长余辉蓄能发光标线涂料,显著提升了标线在夜间及恶劣天气下的可视性与耐久性,为航空交通安全提供了创
为了深入贯彻落实《教育部等十八部门关于加强新时代中小学科学教育工作的意见》,传播科学知识、弘扬科学精神、提升公众科学素养,7月12日至20日,陕西科技大学“辉光日新”科普支教服务队赴汉中市南郑区法镇茨坝村开展系列科普支教服务活动。 做中学,用趣
前言:为贯彻落实习近平总书记关于教育、卫生与健康的重要论述,按照《“健康中国2030”规划纲要》《教育部等五部门关于全面加强和改进新时代学校卫生与健康教育工作的意见》以及《陕西省教育厅、陕西省红十字会关于做好首批全国和全省学校急救教育试点和管
3月20日,“榜样的力量”上海交通大学2023年度优秀学生表彰大会在闵行校区陈瑞球楼报告厅举行。校党委书记杨振斌,党委副书记、副校长胡薇薇出席。学校有关单位负责同志、获奖学生导师代表、思政教师代表、学生代表参加会议。 大会分“问学篇”“通达篇”“
传承 之路 :红色 基因 在高校社团中的弘扬与发展 高校学生社团是落实立德树人根本任务、推进素质教育的重要载体,是以习近平新时代中国特色社会主义思想为指导,团结凝聚广大青年学生,坚持思想性、知识性、艺术性、多样性相统一的原则,积极开展方向正确、