搜索
首页
读书
首页
读书
学习教育
数理逻辑初步(莫绍揆)(上海人民出版社 1980)
反馈
书名
数理逻辑初步(莫绍揆)(上海人民出版社 1980)
内容简介
书名:数理逻辑初步
出版社:上海人民出版社
作者:莫绍揆
出版年份:1980
电子书格式:
pdf
简介:《数理逻辑初步》是莫绍揆编著的一本经典教材,由上海人民出版社于1980年出版。此书系统地介绍了数理逻辑的基础知识,涵盖命题逻辑、谓词逻辑、证明理论和模型理论等内容,适合作为高等院校逻辑学课程的教材或自学者入门读物。书中不仅有理论讲解,还配有大量习题,帮助读者深入理解和应用数理逻辑。多考网提供免费下载,让更多人能够学习和研究数理逻辑。
ISBN:
下载地址
下载数理逻辑初步(莫绍揆)(上海人民出版社 1980)
猜你喜欢
A Common-sense Guide to Data Structures and Algorithms(Jay Wengrow)(Pragmatic Bookshelf 2017)
Learning SQLite for iOS(Gene Da Rocha)(Packt Publishing 2016)
Head First Kotlin(Dawn Griffiths, David Griffiths)(O’Reilly Media 2019)
Ubuntu and CentOS SERVER ADMINISTRATION(Tanvir Rahman.)(2019)
How to Find Web Design Clients: And How to Win New Clients! How to Start a Web Design Business, How to Get More Clients & New Clients, & Prospecting for New Clients(Dekker Fraser)(2019)
Classic Computer Science Problems in Swift(David Kopec)(Manning Publications 2018)
Exploring Kotlin(Hani M K)(LearnPub 2019)
Learning Elasticsearch 7.x: Index, Analyze, Search and Aggregate Your Data Using Elasticsearch(Anurag Srivastava)(BPB Publications 2020)
Apache Spark 2.x Cookbook: Cloud-ready recipes for analytics and data science(Rishi Yadav)(Packt Publishing 2017)
Treading on Python Volume 1: Foundations of Python(Harrison, Matt)(2011)
大家都喜欢
金田一探案集2021(絶版近10年,重磅归来!推理高峰典范,江户川乱步、青山刚昌推荐。惊骇悬念+诡秘人性,入坑推理佳选,一套10本过足瘾!精美和风装帧,日本系列销量超5500万册)(横沟正史)(壹页科技 2021)
The Murder After the Night Before(Katy Brent)(HQ Digital 2024)
翻译辨误2(图文版)(陈德彰)(外语教学与研究出版社 2011)
PHP 7(Tutorials Point)(Tutorials Point 2016)
C#: 3 books in 1 – The Ultimate Beginner, Intermediate & Advanced Guides to Master C# Programming Quickly with No Experience(Mark Reed)(2022)
UG NX 10.0 数控加工教程(北京兆迪科技有限公司)(机械工业出版社 2016)
《追寻逝去的时光》读本(最通透的普鲁斯特译本,“大跨度”节选七卷本,一字不易;附赠《普罗斯特纸上展览》)(【法】马塞尔•普鲁斯特,周克希译)(广西师范大学出版社 2015)
Web前端技术丛书:新时期的Node.js入门(李锴)(清华大学出版社 2017)
《现代信号处理》第二版(张贤达)
Children’s language: connecting reading, writing, and talk(Judith Wells Lindfors)(Teachers College Press 2008)
身份的焦虑(译文经典)(【英】阿兰·德波顿)(Shanghai Translation Publishing House 2018)
机器学习与应用(雷明)(清华大学出版社 2019)
自动化夹具图集 ((日)藤森洋三)(科学出版社 1982)
地球无应答(中国科幻银河奖最佳新人奖得主首部科幻短篇集!改良基因会不会带来灾难?置身未来,看时间空间合伙变魔术!)(王诺诺 [王诺诺])(湖南文艺出版社 2019)
gRPC: Up and Running(Danesh Kuruppu, Kasun Indrasiri)(O’Reilly Media 2020)
6LoWPAN: The Wireless Embedded Internet (Wiley Series on Communications Networking & Distributed Systems)(Zach Shelby, Carsten Bormann)(Wiley 2010)
Wyrdwalkers: Techniques of Northern-Tradition Shamanism(Raven Kaldera)(2013)
张天翼小说(张天翼)(浙江文艺出版社 2010)
图神经网络概论与风控场景应用(DataFunConunknown)(DataFunCon 2022)
数字信号处理 基于计算机的方法 原书第4版 英文改编版((美)桑吉特·米特拉著;阔永红改编)(北京:电子工业出版社 2011)
热门推荐
1
金田一探案集2021(絶版近10年,重磅归来!推理高峰典范,江户川乱步、青山刚昌推荐。惊骇悬念+诡秘人性,入坑推理佳选,一套10本过足瘾!精美和风装帧,日本系列销量超5500万册)(横沟正史)(壹页科技 2021)
2
The Murder After the Night Before(Katy Brent)(HQ Digital 2024)
3
翻译辨误2(图文版)(陈德彰)(外语教学与研究出版社 2011)
4
PHP 7(Tutorials Point)(Tutorials Point 2016)
5
C#: 3 books in 1 – The Ultimate Beginner, Intermediate & Advanced Guides to Master C# Programming Quickly with No Experience(Mark Reed)(2022)
6
UG NX 10.0 数控加工教程(北京兆迪科技有限公司)(机械工业出版社 2016)
7
《追寻逝去的时光》读本(最通透的普鲁斯特译本,“大跨度”节选七卷本,一字不易;附赠《普罗斯特纸上展览》)(【法】马塞尔•普鲁斯特,周克希译)(广西师范大学出版社 2015)
8
Web前端技术丛书:新时期的Node.js入门(李锴)(清华大学出版社 2017)
9
《现代信号处理》第二版(张贤达)
10
Children’s language: connecting reading, writing, and talk(Judith Wells Lindfors)(Teachers College Press 2008)
11
身份的焦虑(译文经典)(【英】阿兰·德波顿)(Shanghai Translation Publishing House 2018)
12
机器学习与应用(雷明)(清华大学出版社 2019)
13
自动化夹具图集 ((日)藤森洋三)(科学出版社 1982)
14
地球无应答(中国科幻银河奖最佳新人奖得主首部科幻短篇集!改良基因会不会带来灾难?置身未来,看时间空间合伙变魔术!)(王诺诺 [王诺诺])(湖南文艺出版社 2019)
15
gRPC: Up and Running(Danesh Kuruppu, Kasun Indrasiri)(O’Reilly Media 2020)
16
6LoWPAN: The Wireless Embedded Internet (Wiley Series on Communications Networking & Distributed Systems)(Zach Shelby, Carsten Bormann)(Wiley 2010)
17
Wyrdwalkers: Techniques of Northern-Tradition Shamanism(Raven Kaldera)(2013)
18
张天翼小说(张天翼)(浙江文艺出版社 2010)
19
图神经网络概论与风控场景应用(DataFunConunknown)(DataFunCon 2022)
20
数字信号处理 基于计算机的方法 原书第4版 英文改编版((美)桑吉特·米特拉著;阔永红改编)(北京:电子工业出版社 2011)