咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >面向计算机科学的数理逻辑 收藏

面向计算机科学的数理逻辑

丛 书 名:中国科学院研究生教学丛书

版本说明:一版

作     者:陆钟万 

I S B N:(纸本) 7030060652 

出 版 社:科学出版社 

出 版 年:1998年

页      数:258页

主 题 词:研究生 教材 数理逻辑 

学科分类:01[哲学] 12[管理学] 07[理学] 08[工学] 070104[理学-应用数学] 070101[理学-基础数学] 0101[哲学-哲学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 010104[哲学-逻辑学] 0701[理学-数学] 081201[工学-计算机系统结构] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)] 

馆 藏 号:201376738...

摘      要:本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。

实体馆藏
馆藏地名称 定位 索书号 条码号 文献状态
数学科学学院资料室 查看 O141/L867.1 ST1S01367 可借

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

用户名:未登录
我的评分