本报重庆8月31日电第八届亚洲逻辑会议日前在西南师范大学举行。地处重庆北碚的美丽的西南师大校园迎来了出席会议的日本、澳大利亚、新西兰、新加坡等国家和地区的专家教授。这次会议的主题是数理逻辑理论及其在计算机科学中的应用。主要讨论范围是递归论、集合论、模型论、计算机科学等。亚洲逻辑会议1981年在新加坡首次举办,每3年在亚太不同地区轮流举办,现已成为逻辑领域和理论计算科学领域的重要会议。此次会议也是北京国际数学家大会的卫星会议之一。
[值班总编推荐] 65岁女保安遭性侵,正义当照进角落
[值班总编推荐] 习近平会见美国国务卿布林肯
[值班总编推荐] 人间四月,且去 ... 延伸产业链 推...
“群岛哲学”视角下的个体意识与生活哲学
【详细】
刘巽达:沪语版《繁花》,够味儿!
肖新光:全面筑牢国家网络安全防线
作为网安人,面对当前复杂的认知域和网络空间域的综合挑战、面对网络安全威胁向各数字化领域的快速泛化流动、面对人工智能等技术阶段性突破带来的重大发展机遇与综合挑战,我们要以大安全格局,打造信仰坚定、技术过硬、锐意创新、敢于斗争的网络安全产业技术队伍,创新研发保障国家安全和用户安全的核心技术和产品体系,为筑牢国家网络安全屏障供给先进防御能力,随时准备迎击“风高浪急”甚至“惊涛骇浪”的挑战。【详细】
把握好互联网这一“最大变量”
手机光明网
光明网版权所有
光明日报社概况 | 关于光明网 | 报网动态 | 联系我们 | 法律声明 | 光明网邮箱 | 网站地图