10月16日至17日,第四届格上拓扑与非经典数理逻辑学术研讨会在我校高新校区甘棠厅举办,会议采用线上线下相结合方式召开。副校长李景宜出席开幕式并致辞,新加坡南洋理工大学、中科院数学与系统科学研究所、西安交通大学、西北工业大学、陕西师范大学、西安电子科技大学等20多家海内外高校及我校专家学者和研究生共计80余人参加会议。会议开幕式由数学与信息科学学院院长刘淳安主持。
李景宜在致辞中对各位专家学者表示热烈欢迎,对各位专家长期以来对我校数学学科发展的关心和支持表示衷心感谢,对此次研讨会在分享数学学科相关领域最新研究成果、推动学科建设和科学研究方面发挥的作用表示肯定。她希望数学与信息科学学院与会教师和学生珍惜机会、虚心求教。
大会主席、陕西师范大学博士生导师赵彬教授在致辞中简要介绍了拓扑与非经典数理逻辑学术研讨会召开的缘起和历史,并向此次承办会议的数学与信息科学学院师生表示衷心感谢。他从教学、科研和做人三个方面追忆了格上拓扑与非经典数理逻辑研究领域带头人王国俊先生,高度肯定了先生热爱教育事业、关爱学生成长和为格上拓扑学和非经典数理逻辑发展作出的突出贡献。
开幕式后,来自新加坡南洋理工大学的赵东升教授、中科院数学与系统科学研究所的尚云研究员、西安交通大学的赵彬教授、陕西师范大学的周红军教授等14位专家通过线上线下同步的方式作了精彩的大会报告,报告内容涉及拓扑与计量逻辑等领域的基础和应用研究。与会代表围绕大会主题进行了充分、热烈的研讨。
格上拓扑与非经典数理逻辑是理论计算机科学的基础,在人工智能等领域具有重要的应用背景,王国俊先生曾是该领域的带头人,他创立了拓扑分子理论,在国内外有着广泛的影响。本次会议的成功举办,对促进格上拓扑与非经典数理逻辑领域专家学者间的学术交流与合作、推动该领域的深入发展具有重要意义。
西安培华学院学子下乡 | 从周原文化中汲取 “ 三治融合 ” 治理养分 为深入探究基层治理现代化路径,传承中华优秀传统文化中的治理智慧,近日,西安培华学院“法润乡土”社会实践队前往宝鸡市岐山县,开展以“自治、法治、德治”三治融合为核心的专题调研实
为深入贯彻党关于“加大国家通用语言文字推广力度”的决策部署,全面落实习近平总书记关于语言文字的重要指示批示精神,铸牢中华民族共同体意识,7月25日至8月2日,西北农林科技大学“红鹰”训练营在党委学工部、校团委的指导下,组建了一支由植物保护学院、
7月14日,在第十五届全国周培源大学生力学竞赛“基础力学实验”团体赛决赛中,西安交大代表队凭借卓越表现从全国40支顶尖高校队伍中脱颖而出,夺得赛事全国总冠军,并斩获赛事唯一特等奖,实现了特等奖“零的突破”,同时取得下一届全国大赛承办资格。 作为
7月16日上午,2025级学生军训旅在主楼B-305教室召开了校内带队干部培训会。西安交大党委副书记王欢,2025级学生军训旅政委,启德书院院务主任刘恒,军事教研室全体教师,各学院、书院抽调的带队干部出席会议。2025级学生军训旅旅长、校武装部副部长问鸿滨教
为进一步增强校地合作,培养符合行业发展和社会进步需求的综合型人才,7月15日下午,咸阳市2025年大学生进政府机关见习工作启动会在咸阳市人民政府举行,西安交通大学师生参加会议。依托“攀登计划”实践平台,西安交大优秀学子赴咸阳政府机关见习。咸阳市委