开放课件

分类浏览

课程名称

学科领域

授课人

发布机构

出版时间

已选条件：

全选【符合条件的数据共：17条】

1 6 Nonstandard Models of Arithmetic [开放课件]

授课人:Prof. Vann McGee

课程:Logic II,

关键词:

发布机构:

使用许可:CC BY-NC-SA

预览 | 原文链接 | 全文 [ 浏览：0 下载：6 ]

摘要

2 1 Why Study Computability? [开放课件]

授课人:Prof. Vann McGee

课程:Logic II,

关键词:

发布机构:

使用许可:CC BY-NC-SA

预览 | 原文链接 | 全文 [ 浏览：0 下载：7 ]

摘要

3 17 Interpretations [开放课件]

授课人:Prof. Vann McGee

课程:Logic II,

关键词:

发布机构:

使用许可:CC BY-NC-SA

预览 | 原文链接 | 全文 [ 浏览：4 下载：0 ]

摘要

4 22 Introduction to Modal Logic [开放课件]

授课人:Prof. Vann McGee

课程:Logic II,

关键词:

发布机构:

使用许可:CC BY-NC-SA

预览 | 原文链接 | 全文 [ 浏览：0 下载：0 ]

摘要

5 9-10 Coding Proofs [开放课件]

授课人:Prof. Vann McGee

课程:Logic II,

关键词:

发布机构:

使用许可:CC BY-NC-SA

预览 | 原文链接 | 全文 [ 浏览：6 下载：0 ]

摘要

6 23-24 Provability Logic [开放课件]

授课人:Prof. Vann McGee

课程:Logic II,

关键词:

发布机构:

使用许可:CC BY-NC-SA

预览 | 原文链接 | 全文 [ 浏览：1 下载：0 ]

摘要

Copyright © 2016 中国科学院文献情报中心

京公网安备340104078870146号 878987797 028-85220240

OAinOne平台基于对开放资源的发现、遴选和评价方式，发现、获取、集成9类优质的开放科技资源，包括开放期刊、开放会议论文、开放课件、科技政策、开放学位论文、开放图书、开放科技报告、科研项目、开放科学数据。同时，为实现开放知识资源普遍服务、个性化服务、精准服务，基于OAinONE集成的丰富开放资源，开发建设领域开放知识资源服务定制工具(OAtoYOU)、开放资源评价评估体系（OAEvaluation），建设集成OAinONE资源及其他第三方资源的OA Hub，及其面向我院分布式大数据知识资源系统及其他第三方的开放接口服务，并打造特色专题数据库产品建设，包括科技政策集成及趋势平台、开放课程大讲堂等。此外，OAinOne构建开放知识资源建设的可持续发展机制，支持我院研究所特色馆藏资源、自建资源、古籍资源等在OAinONE平台上的集成、开放、共享。