搜索
首页
读书
首页
读书
学习教育
数理逻辑(余俊伟, 赵晓玉, 裘江杰, 张立英)(中国人民大学出版社 2020)
反馈
书名
数理逻辑(余俊伟, 赵晓玉, 裘江杰, 张立英)(中国人民大学出版社 2020)
内容简介
书名:数理逻辑
出版社:中国人民大学出版社
作者:余俊伟, 赵晓玉, 裘江杰, 张立英
出版年份:2020
电子书格式:
pdf
简介:《数理逻辑》由余俊伟、赵晓玉、裘江杰、张立英编著,2020年由中国人民大学出版社出版。本书深入浅出地介绍了数理逻辑的基本理论和方法,涵盖命题逻辑、谓词逻辑、公理系统、哥德尔不完备性定理等内容。适用于高等院校数学、计算机科学、哲学等专业学生和研究者。多考网提供此书免费下载,助力学术研究和学习。
ISBN:9787300284392, 73002
下载地址
下载数理逻辑(余俊伟, 赵晓玉, 裘江杰, 张立英)(中国人民大学出版社 2020)
猜你喜欢
做不抱怨的教师丛书 10 学学苏霍姆林斯基怎样当老师(张仁贤总主编;薛妙轶,张红伟主编)(北京:世界知识出版社 2013)
谁是谷歌想要的人才?破解世界最顶尖公司的面试密码(威廉·庞德斯通)(浙江人民出版社 2013)
汉语作为第二语言教学 课程设计与教学实例=Teaching Chinese as Second Language Curriculum Design & Instruction(温晓虹主编, 温晓虹,毕念平主编, Pdg2Pic)(北京:北京语言大学出版社 2015)
凯瑟琳·曼斯菲尔德小说文体研究(徐晗著)(北京:现代出版社 2017)
中国图书馆分类法 第五版(国家图书馆《中国图书馆分类法》编辑委员会编)(2013)
为绘画角色注入生命力4(toshi)
名师视点 初中语文 写作(冯连荣主编)(长春:东北师范大学出版社 2002)
课时详解 随堂通 高一语文 下(边少初本册主编)(延吉:延边教育出版社 2005)
商周古文字读本(增补本)(董琨)(商务印书馆 2017)
管子诵读本–“中华诵·经典诵读行动”读本系列 (中华书局出品)(“中华诵·经典诵读行动”读本编委会编,陈永革注释)(中华书局 2013)
大家都喜欢
Learning Android(Marko Gargenta)(2011)
数学分析新讲(全三册))(张筑生)(北京大学出版社 1990)
歌德诗选((德)歌德著)(2000)
电子技术基础 数字部分 第六版(康华光, 华中科技大学. 电子技术课程组)(高等教育出版社 2014)
数据结构与算法之美(王争)(人民邮电出版社)
机器人技术实践教程.pdf(俞建荣,王殿君,王振华,陈亚,杨德宇)(机械工业出版社 2016)
Python灰帽子-黑客与逆向工程师的Python编程之道(Justin.Seitz)(电子工业出版社)
机器学习实践指南:案例应用解析(第2版)(麦好)(机械工业出版社 2016)
算法通关之路(路志鹏等)
最优控制理论与应用(张洪钺,王青)(高等教育出版社 2006)
微服务设计 (图灵程序设计丛书)(纽曼(Sam Newman) [纽曼(Sam Newman)])(人民邮电出版社 2016)
编译系统透视:图解GCC编译器工作机制与实现原理(新设计团队)(机械工业出版社 2018)
Certified Kubernetes Administrator (CKA) Study Guide (Third Early Release) (Benjamin Muschko)
民间文学资料 第61集 苗族祭鼓词、贾理词(贵州省民族事务委员会,中国民间文艺研究会贵州分会编)(贵州省民族事务委员会 1983)
Handbook of Peer-to-Peer Networking(John F. Buford, Heather Yu (auth.), Xuemin Shen, Heather Yu, John Buford, Mursalin Akon (eds.))(Springer US 2010)
讲练课堂 初三语文(蒋念祖,丁翌平主编)(长春:东北师范大学出版社 2003)
深入解析IPv6(第3版)(Joseph Davies)(人民邮电出版社 2014)
Adventures of a Computational Explorer(Stephen Wolfram)(Wolfram Media 2019)
Prometheus监控实战 (云计算与虚拟化技术丛书)(詹姆斯·特恩布尔(James Turnbull))(北京华章图文信息有限公司 2019)
C#灰帽子:设计安全测试工具((美)布兰德·佩里(Brandon Perry), 王自亮;侯敬宜;李伟)(机械工业出版社 2018)
热门推荐
1
Learning Android(Marko Gargenta)(2011)
2
数学分析新讲(全三册))(张筑生)(北京大学出版社 1990)
3
歌德诗选((德)歌德著)(2000)
4
电子技术基础 数字部分 第六版(康华光, 华中科技大学. 电子技术课程组)(高等教育出版社 2014)
5
数据结构与算法之美(王争)(人民邮电出版社)
6
机器人技术实践教程.pdf(俞建荣,王殿君,王振华,陈亚,杨德宇)(机械工业出版社 2016)
7
Python灰帽子-黑客与逆向工程师的Python编程之道(Justin.Seitz)(电子工业出版社)
8
机器学习实践指南:案例应用解析(第2版)(麦好)(机械工业出版社 2016)
9
算法通关之路(路志鹏等)
10
最优控制理论与应用(张洪钺,王青)(高等教育出版社 2006)
11
微服务设计 (图灵程序设计丛书)(纽曼(Sam Newman) [纽曼(Sam Newman)])(人民邮电出版社 2016)
12
编译系统透视:图解GCC编译器工作机制与实现原理(新设计团队)(机械工业出版社 2018)
13
Certified Kubernetes Administrator (CKA) Study Guide (Third Early Release) (Benjamin Muschko)
14
民间文学资料 第61集 苗族祭鼓词、贾理词(贵州省民族事务委员会,中国民间文艺研究会贵州分会编)(贵州省民族事务委员会 1983)
15
Handbook of Peer-to-Peer Networking(John F. Buford, Heather Yu (auth.), Xuemin Shen, Heather Yu, John Buford, Mursalin Akon (eds.))(Springer US 2010)
16
讲练课堂 初三语文(蒋念祖,丁翌平主编)(长春:东北师范大学出版社 2003)
17
深入解析IPv6(第3版)(Joseph Davies)(人民邮电出版社 2014)
18
Adventures of a Computational Explorer(Stephen Wolfram)(Wolfram Media 2019)
19
Prometheus监控实战 (云计算与虚拟化技术丛书)(詹姆斯·特恩布尔(James Turnbull))(北京华章图文信息有限公司 2019)
20
C#灰帽子:设计安全测试工具((美)布兰德·佩里(Brandon Perry), 王自亮;侯敬宜;李伟)(机械工业出版社 2018)