现在位置:首页 > 教育法律 > 孙希文《数理逻辑》PDF

孙希文《数理逻辑》PDF

作者:旧书库 分类: 时间:11-18

数理逻辑


【作 者】孙希文编著
【形态项】 500
【出版项】 北京:高等教育出版社 , 2019.07
【ISBN号】7-04-051352-3
【中图法分类号】O141
【主题词】数理逻辑-高等学校-教材
【参考文献格式】 孙希文编著. 数理逻辑. 北京:高等教育出版社, 2019.07.
内容提要:
本书包含一阶数理逻辑的基本核心内容,具体包括一阶理论简介、一阶理论的若干定理、一阶理论的特殊问题、形式系统的一般理论、模型论、递归函数和图灵机、哥德尔不完全性定理、递归论等。可分别作为计算机科学和数学专业的本科生和研究生教材。也可供相关科技工作者参考。


下载地址
数理逻辑 孙希文.rar

 

评论列表
挤眼 亲亲 咆哮 开心 想想 可怜 糗大了 委屈 哈哈 小声点 右哼哼 左哼哼 疑问 坏笑 赚钱啦 悲伤 耍酷 勾引 厉害 握手 耶 嘻嘻 害羞 鼓掌 馋嘴 抓狂 抱抱 围观 威武 给力
提交评论

清空信息
关闭评论