Ta上传的资源 (0)

描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。作为一种知识表示的有效机制,描述逻辑被广泛地应用到计算机科学的许多领域中。本文对目前描述逻辑的研究与应用现状进行了综述性的介绍,并且从描述逻辑的定义、描述逻辑的基本语法及语义、体系结构以及描述逻辑在语义Web中的地位等方面做了系统阐述。

这是有史以来最全的计算机网络课件,包括以下3位名师的课件:谢希仁(第4版、第5版)、吴功宜、上海交大的翁惠玉。分别对应了3种不同的教材。其中翁惠玉使的是Andrew S. Tenenbaum的《计算机网络》第4版。 本资源还包括了Andrew S. Tenenbaum《计算机网络》第4版全部习题的答