NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)

NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者:
1987-10
ISBN: 9780521336925
定价: 315.20
装帧: 平装
页数: 124页
正文语种: 英语
  • This short textbook provides a succinct introduction to mathematical logic and set theory, which together form the foundations for the rigorous development of mathematics. It will be suitable for all mathematics undergraduates coming to the subject for the first time. The book is based on lectures given at the University of Cambridge and covers the basic concepts of logic: first order logic, consistency, and the completeness theorem, before introducing the reader to the fundamentals of axiomatic set theory. There are also chapters on recursive functions, the axiom of choice, ordinal and cardinal arithmetic and the incompleteness theorems. Dr Johnstone has included numerous exercises designed to illustrate the key elements of the theory and to provide applications of basic logical concepts to other areas of mathematics. Consequently the book, while making an attractive first textbook for those who plan to specialise in logic, will be particularly valuable for mathematics and computer scientists whose primary interests lie elsewhere.
  • 内容简介:
    This short textbook provides a succinct introduction to mathematical logic and set theory, which together form the foundations for the rigorous development of mathematics. It will be suitable for all mathematics undergraduates coming to the subject for the first time. The book is based on lectures given at the University of Cambridge and covers the basic concepts of logic: first order logic, consistency, and the completeness theorem, before introducing the reader to the fundamentals of axiomatic set theory. There are also chapters on recursive functions, the axiom of choice, ordinal and cardinal arithmetic and the incompleteness theorems. Dr Johnstone has included numerous exercises designed to illustrate the key elements of the theory and to provide applications of basic logical concepts to other areas of mathematics. Consequently the book, while making an attractive first textbook for those who plan to specialise in logic, will be particularly valuable for mathematics and computer scientists whose primary interests lie elsewhere.
查看详情
目前没有书店销售此书
相关图书 / 更多
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
世上为什么要有图书馆
杨素秋
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
经纬度丛书·大变局:晚清改革五十年
谌旭彬
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
拓地降敌:北宋中叶内臣名将李宪研究
何冠环
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
班史:一个大学班级的日常生活(2018—2022)
黄修志 石榴花 著
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
另一场新文化运动:五四前后“梁启超系”再造新文明的努力
周月峰 著
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
无条件投降博物馆
[荷兰]杜布拉夫卡·乌格雷西奇
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
我们为什么会抑郁:哀悼、忧郁与精神分析
达里安·利德
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
被遗忘的大流行:西班牙流感在美国
艾尔弗雷德·W. 克罗斯比 著;李玮璐 译
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
辛弃疾新传
辛更儒 后浪
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
疯狂的尿酸
[美]戴维·珀尔马特 著
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
中国妆束:宋时天气宋时衣
左丘萌 末春
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
阿勒泰的角落
李娟 著;新经典 出品
您可能感兴趣 / 更多
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
狄拉克讲广义相对论
P. A. M. 狄拉克
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
AaronIsCool
P. D. Eastman 著
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
TheLittleRedBoxofBrightandEarlyBoardBooks
P. D. Eastman、Michael Frith 著
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
妈妈的手提包立体书MyMommy'sTote英文原版儿童绘本
P. H. Hanson 著
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
It'sAllDownhillfromHere
P. J. Night 著
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
P.AllenSmith'sSeasonalRecipesfromtheGarden
P. Allen Smith 著
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
SouthofHell
P. J. Parrish 著
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
CorporateWarriors:TheRiseofthePrivatizedMilitaryIndustry
P. W. Singer 著
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
P.AllenSmith'sContainerGardens:60ContainerRecipestoAccentYourGarden
P. Allen Smith 著
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
Thank You, Jeeves
P. G. Wodehouse(P·G·沃德豪斯) 著
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
GoldintheWater:TheTrueStoryofOrdinaryMenandTheirExtraordinaryDreamofOlympicGlory
P. H. Mullen 著
NotesonLogicandSetTheory(CambridgeMathematicalTextbooks)
The Social Origins of Modern Science
P. Zilsel