久久精品一区二区,久久久一区二区三区,欧美日韩视频|欧美福利视频

久久精品一区二区

学术活动

人文社会科学名家讲坛第493讲暨马克思主义学院“新时代的中国”大讲坛2025年第11讲: 逻辑遇见人工智能:经典故事(Logic Meets AI: The Classical Story)

发布日期:2025-09-24 文章来源:马克思主义学院

主 讲 人:范丙申(Johan van Benthem) 讲座时间:2025年9月26日9:00--10:30 讲座地点:包玉书科学楼7号楼513报告厅 承办单位:马克思主义学院、省习近平新时代中国特色社会主义思想研究中心久久精品一区二区基地、宁波市高校思想政治教育研究中心 欢迎感兴趣的师生观摩、学习! 范丙申(Johan van Benthem)教授简介: 荷兰阿姆斯特丹大学荣休的大学教授(University Professor),美国斯坦福大学的人文科学的博撒 (Bonsall) 教授,清华大学金岳霖讲席教授。荷兰艺术与科学学院(the Dutch Academy of Arts and Sciences)、欧洲科学院(the Academia Europaea)和国际哲学院(the Institut International de Philosophie)院士。在上世纪90年代,他创建了阿姆斯特丹大学的逻辑、语言与计算研究所(the Institute for Logic, Language & Computation,缩写为 ILLC)。该研究是当今世界最著名的逻辑学交叉学科研究所。曾担任欧洲逻辑、语言和信息基金会(the European Foundation for Logic, Language and Information,缩写为 Folli)的第一任主席。迄今已经出版了专著 10余部, 发表了大约 400篇论文,指导了100多名研究生。1996 年被荷兰政府授予斯宾诺莎奖。

上一条:浙东法学讲坛第七十二讲:法学生法学研究之方法论 下一条:人文社会科学名家讲坛第494讲暨马克思主义学院“新时代的中国”大讲坛2025年第12讲: 大语言模型的逻辑推理

关闭

久久精品一区二区