近日，理学院邀请韩国全北国立大学Eunsuk Yang教授来校，为师生讲授《模糊逻辑理论及其应用》课程。课程围绕子结构逻辑与模糊逻辑的前沿发展展开，吸引了学院相关专业师生积极参与。
Eunsuk Yang教授以子结构逻辑为学术背景，从带单位元的基础子结构逻辑GL及其有界扩张SL切入，系统讲解Rlu-群胚代数结构和矩阵语义。在此基础上，课程进一步延伸至半线性逻辑系统MIAL和MICAL，及其对应的mianorm和micanorm代数语义。Eunsuk Yang教授还介绍了所提出的RML（Residuated Monotone Logic）及其多种扩张系统，由此构建了一个完整的无单位元逻辑家族。
教学过程中，Eunsuk Yang教授注重将抽象概念与具体数值实例紧密结合，使高度形式化的逻辑理论变得直观可感，有效提升学生对知识的理解和掌握。针对学生在代数构造步骤中遇到的困难，他通过板书逐步推演，从条件设定到性质验证，完整展示mianorm和manorm的具体构造过程。在讲解聚合运算的性质验证时，课堂设置了多个边讲边练的环节，引导学生在掌握核心知识的同时，学会运用数学抽象思维分析和解决问题。
Eunsuk Yang教授“由熟入新、由浅入深”的渐进式课程设计，取得了良好的教学效果，课程内容展现出跨学科的研究价值和应用潜力。此次国际短期课程的顺利开展，进一步深化上海海事大学师生对逻辑学前沿动态的认知，也为学校持续推进高水平国际学术交流与合作奠定坚实基础。
图1 教学活动现场
图2 教学活动现场