20. 符号化计算化示例-逻辑 - 3

战德臣，哈尔滨工业大学计算机学院教授，博士生导师。本课程由战德臣等三位名师授课。大学计算机课程应围绕着大学计算思维教育空间-计算之树，进行内容的组织和讲解。本课程分四个部分：(I)计算与程序，(II)计算系统，(III)算法思维，(IV)数据化与网络化思维。