|
|||||
|
|
| 计算机科学与逻辑学 | |
| 引用本文： | 王元元,汪灵华,骆光武.计算机科学与逻辑学[J].自然杂志,1991(11). |
| 作者姓名： | 王元元 汪灵华 骆光武 |
| 作者单位： | 南京通信工程学院 (王元元)，中国科学院紫金山天文台 (汪灵华)，南京大学(骆光武) |
| 摘 要： | 我现在年纪大了,搞了这么多年软件,错误不知犯了多少,现在觉悟了。我想,假如我早在数理逻辑上好好下点功夫的话,我就不会犯这么多错误。不少东西逻辑学家早就说了,可我不知道。要是我能年轻20岁的话,就要回去学逻辑。 |
| 本文献已被 CNKI 等数据库收录！ | |