中科院计算所培训中心教材,着重于理论方面