课程库 / 大学计算机—计算思维导论

2.2 符号化计算化示例-逻辑

第2讲 符号化、计算化与自动化 · 符号化计算化示例-逻辑