دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The Mathematics of Logic. A guide to completeness theorems and their applications
دانلود کتاب ریاضیات منطق. راهنمایی برای کامل بودن قضایا و کاربردهای آنها
مشخصات کتاب
The Mathematics of Logic. A guide to completeness theorems and their applications
دسته بندی: ریاضیات ویرایش: 1 نویسندگان: Richard W. Kaye سری: ISBN (شابک) : 052170877X, 9780511342738 ناشر: Cambridge University Press سال نشر: 2007 تعداد صفحات: 217 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 959 کیلوبایت
قیمت کتاب (تومان) : 42,000
در صورت تبدیل فایل کتاب The Mathematics of Logic. A guide to completeness theorems and their applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ریاضیات منطق. راهنمایی برای کامل بودن قضایا و کاربردهای آنها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ریاضیات منطق. راهنمایی برای کامل بودن قضایا و کاربردهای آنها
توضیحاتی درمورد کتاب به خارجی
This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to a minimum, no background in formal set-theory is required, and the book contains proofs of all the required set theoretical results. The reader is taken on a journey starting with König's Lemma, and progressing via order relations, Zorn's Lemma, Boolean algebras, and propositional logic, to completeness and compactness of first-order logic. As applications of the work on first-order logic, two final chapters provide introductions to model theory and nonstandard analysis.
فهرست مطالب
Contents......Page 6
Preface......Page 8
How to read this book......Page 13
1.1 Two ways of looking at mathematics......Page 14
1.2 Examples and exercises......Page 19
1.3 Konig’s Lemma and reverse mathematics*\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 22
2.1 Introduction to order......Page 24
2.2 Examples and exercises Exercise 2.21......Page 30
2.3 Zorn’s Lemma and the Axiom of Choice*......Page 33
3.1 Formal systems......Page 37
3.2 Examples and exercises......Page 46
3.3 Post systems and computability*......Page 48
4.1 Proving statements about a poset......Page 51
4.2 Examples and exercises......Page 60
4.3 Linearly ordering algebraic structures*......Page 62
5.1 Boolean algebras......Page 68
5.3 Boolean algebra and the algebra of Boole*......Page 74
6.1 A system for proof about propositions......Page 77
6.2 Examples and exercises Exercise 6.17......Page 88
6.3 Decidability of propositional logic*......Page 90
7.1 Semantics for propositional logic......Page 93
7.2 Examples and exercises......Page 103
7.3 The complexity of satis.ability*......Page 108
8.1 Algebraic theory of boolean algebras......Page 113
8.2 Examples and exercises Exercise 8.18......Page 120
8.3 Tychonov’s Theorem*......Page 121
8.4 The Stone Representation Theorem*......Page 123
9.1 First-order languages......Page 129
9.2 Examples and exercises......Page 147
9.3 Secondand higher-order logic*......Page 150
10.1 Proof of completeness and compactness......Page 153
10.2 Examples and exercises......Page 159
10.3 The Compactness Theorem and topology*......Page 162
10.4 The Omitting Types Theorem*......Page 165
11.1 Countable models and beyond......Page 173
11.2 Examples and exercises Exercise 11.36......Page 186
11.3 Cardinal arithmetic*......Page 189
12.1 In.nitesimal numbers......Page 195
12.2 Examples and exercises Exercise 12.3......Page 199
12.3 Overspill and applications*......Page 200
References......Page 212
Index......Page 213
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Computation, Proof, Machine: Mathematics Enters a New Age
دانلود کتاب Combinatorial Identities for Stirling Numbers: The Unpublished Notes of H W Gould
دانلود کتاب Le chaos
دانلود کتاب Diffusion and telegraph equation
دانلود کتاب Riemannian Manifolds An Introduction To Curvature
دانلود کتاب Differential equations and control theory
دانلود کتاب The Nonlinear Schroedinger Equations Self-Focusing and Wave Collapse
دانلود کتاب Geometry of the Heat Equation First Paper
دانلود کتاب Higher Engineering Mathematics
