[哲学/逻辑读书会]可计算性逻辑介绍-西南大学逻辑与智能研究中心 | 重庆市人文社科重点研究基地

首页/ 师生活动（Seminars & Events）/ 正文

[哲学/逻辑读书会]可计算性逻辑介绍

发布时间：2018-04-27 00:00

作者：本站编辑

来源：本站原创

浏览次数：

时间：2018年4月27日09:15--10:35

地址：逻辑与智能研究中心会议室

题目：可计算性逻辑介绍

成员：熊作军，罗玉林，张冒玲，谭雪叶，安宇辉，张毅飞，孙杨。

资料：乔治·札帕日泽教授讲义

上一篇： [现代逻辑讨论班]张玉志博士生报告：一个时态认知逻辑的新系统——基于对认知算子的时态化处理

下一篇： [哲学/逻辑读书会]“逻辑真”读书会活动及预告