本报重庆8月31日电第八届亚洲逻辑会议日前在西南师范大学举行。地处重庆北碚的美丽的西南师大校园迎来了出席会议的日本、澳大利亚、新西兰、新加坡等国家和地区的专家教授。这次会议的主题是数理逻辑理论及其在计算机科学中的应用。主要讨论范围是递归论、集合论、模型论、计算机科学等。亚洲逻辑会议1981年在新加坡首次举办,每3年在亚太不同地区轮流举办,现已成为逻辑领域和理论计算科学领域的重要会议。此次会议也是北京国际数学家大会的卫星会议之一。
[值班总编推荐] 以劳动谱写时代华章
[值班总编推荐] 习近平离京对法国、塞尔维亚和匈 ...
[值班总编推荐] 低空经济已经“起飞”
“群岛哲学”视角下的个体意识与生活哲学
【详细】
刘巽达:沪语版《繁花》,够味儿!
奋斗的青春,为伟大时代写下生动注脚
一往无前,新时代中国青年要勇做走在时代前列的奋进者;奋发有为,新时代中国青年要勇做走在时代前列的开拓者;心系家国,新时代中国青年要勇做走在时代前列的奉献者。【详细】
深刻领会加强党的纪律建设的重大意义
手机光明网
光明网版权所有
光明日报社概况 | 关于光明网 | 报网动态 | 联系我们 | 法律声明 | 光明网邮箱 | 网站地图