学校主页

复杂检索
学校主页
马世龙主任受聘我校兼职教授
供稿：      |  编辑：    日期：2008年04月16日
 
     4月14日，北京航空航天大学博士生导师、软件开发环境国家重点实验室常务副主任马世龙教授受聘我校兼职教授并为我校师生做了题为“描述逻辑及其在软件设计中的应用”的学术报告。
    在报告会上，马士龙教授主要从描述逻辑的基本成分和基本理论、描述逻辑研究中的一些理论和技术问题、描述逻辑在计算机软件方面的应用等三个方面做了重点讲解，特别突出了描述逻辑在科学前沿的应用，包括软件工程、构件组装和服务集成、数学图书馆和基于web的信息系统、数据库管理。
    马教授旁征博引、深入浅出的讲解博得大家阵阵热烈的掌声。报告会后，马教授还与信息工程学院师生们进行了广泛的交流。
 
上一篇:校机关举办春季运动会
图说华水

【组图】我校举行2024年春季田径运动会暨全民健身大会

【组图】2023年初冬逢雪 与君共赏

【组图】我校举办第四届水文科学知识创新与发展中国家实践国际会议暨2023年中国水文地理学术年会

最新更新