咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >计算机科学与逻辑学 收藏
分享

计算机科学与逻辑学

作     者：王元元 汪灵华 骆光武 

作者机构：南京通信工程学院 中国科学院紫金山天文台 南京大学 

出 版 物：《自然杂志》 (Chinese Journal of Nature)

年 卷 期：1991年第14卷第11期

页      面：832-837页

学科分类：07[理学] 08[工学] 

主　　题：逻辑学家 计算机科学 我不知道 丘奇论题 谓词演算 约束变元 演绎数据库 现代逻辑 逻辑演算 模态逻辑 

摘      要：我现在年纪大了,搞了这么多年软件,错误不知犯了多少,现在觉悟了。我想,假如我早在数理逻辑上好好下点功夫的话,我就不会犯这么多错误。不少东西逻辑学家早就说了,可我不知道。要是我能年轻20岁的话,就要回去学逻辑。

电子资源

读者评论 与其他读者分享你的观点

学校读者
用户名:未登录
我的评分