数理逻辑基础 一阶逻辑与一阶理论PDF电子书下载
- 电子书积分：10 积分如何计算积分？
- 作 者：陈慕泽，余俊伟著
- 出 版 社：北京：中国人民大学出版社
- 出版年份：2003
- ISBN：7300049427
- 页数：244 页
图书介绍：本书介绍数理逻辑的基础部分。
《数理逻辑基础 一阶逻辑与一阶理论》目录
第一章 命题逻辑 11
第二章 谓词逻辑 58
第三章 命题演算 111
第四章 谓词演算 164
第五章 一阶理论 203
参考文献 244
相关图书
- 《市政工程基础》杨岚编著 2009
- 《SQL与关系数据库理论》（美）戴特（C.J.Date） 2019
- 《零基础学会素描》王金著 2019
- 《计算机网络与通信基础》谢雨飞，田启川编著 2019
- 《生物质甘油共气化制氢基础研究》赵丽霞 2019
- 《联吡啶基钌光敏染料的结构与性能的理论研究》李明霞 2019
- 《情报学 服务国家安全与发展的现代情报理论》赵冰峰著 2018
- 《英汉翻译理论的多维阐释及应用剖析》常瑞娟著 2019
- 《花时间 我的第一堂花艺课 插花基础技法篇》（日）花时间编辑部编；陈洁责编；冯莹莹译 2020
- 《Photoshop CC 2018基础教程》温培利，付华编著 2019
作者其它书籍
- 《中风偏瘫 脑萎缩 痴呆 最新治疗原则与方法》孙作东著 2004
- 《水面舰艇编队作战运筹分析》谭安胜著 2009
- 《王蒙文集 新版 35 评点《红楼梦》 上》王蒙著 2020
- 《TED说话的力量 世界优秀演讲者的口才秘诀》（坦桑）阿卡什·P.卡里亚著 2019
- 《燕堂夜话》蒋忠和著 2019
- 《经久》静水边著 2019
- 《魔法销售台词》（美）埃尔默·惠勒著 2019
- 《微表情密码》（波）卡西亚·韦佐夫斯基，（波）帕特里克·韦佐夫斯基著 2019
- 《看书琐记与作文秘诀》鲁迅著 2019
- 《酒国》莫言著 2019
出版社其它书籍
- 《大学计算机实验指导及习题解答》曹成志，宋长龙 2019
- 《中国当代乡土小说文库 本乡本土》（中国）刘玉堂 2019
- 《异质性条件下技术创新最优市场结构研究 以中国高技术产业为例》千慧雄 2019
- 《中国铁路人 第三届现实主义网络文学征文大赛一等奖》恒传录著 2019
- 《莼江曲谱 2 中国昆曲博物馆藏稀见昆剧手抄曲谱汇编之一》郭腊梅主编；孙伊婷副主编；孙文明，孙伊婷编委；中国昆曲博物馆编 2018
- 《中国制造业绿色供应链发展研究报告》中国电子信息产业发展研究院 2019
- 《中国陈设艺术史》赵囡囡著 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019
- 《大学生心理健康与人生发展》王琳责任编辑；（中国）肖宇 2019