计算机方法论（Methodology of Computer Science，MCS）是一个具体的科学技术方法论，它将一般科学技术方法论中最基本的C（Cogni...(展开)

逻辑学是一门工具性学科，也是支撑人类思维大厦的基础性学科。1974年，联合国教科文组织将逻辑学与数学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命...(展开)