搜索
首页
读书
首页
读书
学习教育
数理逻辑(余俊伟, 赵晓玉, 裘江杰, 张立英)(中国人民大学出版社 2020)
反馈
书名
数理逻辑(余俊伟, 赵晓玉, 裘江杰, 张立英)(中国人民大学出版社 2020)
内容简介
书名:数理逻辑
出版社:中国人民大学出版社
作者:余俊伟, 赵晓玉, 裘江杰, 张立英
出版年份:2020
电子书格式:
pdf
简介:《数理逻辑》由余俊伟、赵晓玉、裘江杰、张立英编著,2020年由中国人民大学出版社出版。本书深入浅出地介绍了数理逻辑的基本理论和方法,涵盖命题逻辑、谓词逻辑、公理系统、哥德尔不完备性定理等内容。适用于高等院校数学、计算机科学、哲学等专业学生和研究者。多考网提供此书免费下载,助力学术研究和学习。
ISBN:9787300284392, 73002
下载地址
下载数理逻辑(余俊伟, 赵晓玉, 裘江杰, 张立英)(中国人民大学出版社 2020)
猜你喜欢
Mastering Linux Kernel Development(Raghu Bharadwaj)(Packt Publishing 2017)
UNIX: A History and a Memoir(Brian W. Kernighan)(Kindle Direct Publishing 2019)
Python Programming Made Easy for Dummies: Learning this Programming Language with Great Ease for Beginners(Orwell Girard)(2021)
Statistical Analysis Illustrated: Foundations You Should Know(Jeffrey Kottemann)(2022)
SQL Coding For Beginners(Leonard Base)(Independently Published 2020)
Computer Vision and Recognition Systems Using Machine and Deep Learning(Chiranji Lal Chowdhary, Mamoun Alazab, Ankit Chaudhary, Saqib Hakak, Thippa Reddy Gadekallu)(The Institution of Engineering and Technology 2021)
Oracle Database Programming with Visual Basic.NET: Concepts, Designs and Implementations(Ying Bai)(John Wiley & Sons 2021)
The DevOps Handbook, Second Edition(Gene Kim & Jez Humble & Patrick Debois & John Willis & Nicole Forsgren)(IT Revolution Press 2021)
Linux Command Line: An Admin Beginners Guide(Hearth, Troy)(2020)
Natural Language Processing Recipes: Unlocking Text Data with Machine Learning and Deep Learning Using Python(Akshay Kulkarni, Adarsha Shivananda)(Apress 2021)
大家都喜欢
Learning Android(Marko Gargenta)(2011)
数学分析新讲(全三册))(张筑生)(北京大学出版社 1990)
歌德诗选((德)歌德著)(2000)
电子技术基础 数字部分 第六版(康华光, 华中科技大学. 电子技术课程组)(高等教育出版社 2014)
数据结构与算法之美(王争)(人民邮电出版社)
机器人技术实践教程.pdf(俞建荣,王殿君,王振华,陈亚,杨德宇)(机械工业出版社 2016)
Python灰帽子-黑客与逆向工程师的Python编程之道(Justin.Seitz)(电子工业出版社)
机器学习实践指南:案例应用解析(第2版)(麦好)(机械工业出版社 2016)
算法通关之路(路志鹏等)
最优控制理论与应用(张洪钺,王青)(高等教育出版社 2006)
微服务设计 (图灵程序设计丛书)(纽曼(Sam Newman) [纽曼(Sam Newman)])(人民邮电出版社 2016)
零基礎也不怕,史丹佛給你最好懂的經濟學:總體經濟篇(提摩太・泰勒 (Timothy Taylor))(城邦文化 2019)
编译系统透视:图解GCC编译器工作机制与实现原理(新设计团队)(机械工业出版社 2018)
Data Structures and Algorithms Using Python(Rance D. Necaise)(Wiley 2010)
Java Programming for Engineers (Mechanical Engineering Series (Boca Raton, Fla.).)(Julio Sanchez Maria P. Canton)(2002)
语文 第3册(人民教育出版社语文一室编, 人民教育出版社语文一室编, 人民教育出版社)(北京:人民教育出版社 1987)
Certified Kubernetes Administrator (CKA) Study Guide (Third Early Release) (Benjamin Muschko)
JavaFX 1.2 Application Development Cookbook(Vladimir Vivien)(Packt Publishing 2010)
Learning Python(Mark Lutz)(O’Reilly Media 2007)
Pronunciation Pairs – An Introduction to the Sounds of English – Student’s Book(Ann Baker, Sharon Goldstein)(Cambridge University Press 2007)
热门推荐
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
零基礎也不怕,史丹佛給你最好懂的經濟學:總體經濟篇(提摩太・泰勒 (Timothy Taylor))(城邦文化 2019)
13
编译系统透视:图解GCC编译器工作机制与实现原理(新设计团队)(机械工业出版社 2018)
14
Data Structures and Algorithms Using Python(Rance D. Necaise)(Wiley 2010)
15
Java Programming for Engineers (Mechanical Engineering Series (Boca Raton, Fla.).)(Julio Sanchez Maria P. Canton)(2002)
16
语文 第3册(人民教育出版社语文一室编, 人民教育出版社语文一室编, 人民教育出版社)(北京:人民教育出版社 1987)
17
Certified Kubernetes Administrator (CKA) Study Guide (Third Early Release) (Benjamin Muschko)
18
JavaFX 1.2 Application Development Cookbook(Vladimir Vivien)(Packt Publishing 2010)
19
Learning Python(Mark Lutz)(O’Reilly Media 2007)
20
Pronunciation Pairs – An Introduction to the Sounds of English – Student’s Book(Ann Baker, Sharon Goldstein)(Cambridge University Press 2007)