计算机科学与逻辑学
文献类型：期刊论文
| 作者 | 王元元 ; 汪灵华 ; 骆光武 |
| 刊名 | 自然杂志
 |
| 出版日期 | 1991 |
| 卷号 | 14期号:22页码:832-837 |
| 关键词 | 计算机科学理论:5679 逻辑型程序设计语言:3832 可计算函数:3711 图灵机:2943 一阶逻辑:2718 可计算性理论:2402 计算理论:2204 演绎数据库:2075 程序语言:2048 关系数据库:2024 |
| ISSN号 | 0253-9608 |
| 中文摘要 | <正> 我现在年纪大了,搞了这么多年软件,错误不知犯了多少,现在觉悟了。我想,假如我早在数理逻辑上好好下点功夫的话,我就不会犯这么多错误。不少东西逻辑学家早就说了,可我不知道。要是我能年轻20岁的话,就要回去学逻辑。 |
| 学科主题 | 天文和天体物理 |
| 公开日期 | 2012-03-03 |
| 源URL | [http://libir.pmo.ac.cn/handle/332002/3884]  |
| 专题 | 紫金山天文台_PMO中文期刊 |
| 推荐引用方式 GB/T 7714 | 王元元,汪灵华,骆光武. 计算机科学与逻辑学[J]. 自然杂志,1991,14(22):832-837. |
| APA | 王元元,汪灵华,&骆光武.(1991).计算机科学与逻辑学.自然杂志,14(22),832-837. |
| MLA | 王元元,et al."计算机科学与逻辑学".自然杂志 14.22(1991):832-837. |
入库方式： OAI收割
来源：紫金山天文台
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。