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

发布时间:2018-04-27 来源:本站原创 作者:本站编辑   浏览次数:

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

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

题目:可计算性逻辑介绍

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

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