逻辑学与程序设计(1)

- 逻辑学与程序设计(1) - 2012年 2月 22xianyubo@mail.sysu.edu.cn - 逻辑学与计算科学的关系 本课程开设目