دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Foundations of Analysis: A Straightforward Introduction: Book 1, Logic, Sets and Numbers
دانلود کتاب مبانی تحلیل: مقدمه مستقیم: کتاب 1، منطق، مجموعه ها و اعداد
مشخصات کتاب
Foundations of Analysis: A Straightforward Introduction: Book 1, Logic, Sets and Numbers
دسته بندی: منطق ویرایش: 1 نویسندگان: K.G. Binmore سری: ISBN (شابک) : 0521299152, 9780521299152 ناشر: سال نشر: 1981 تعداد صفحات: 141 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 33,000
در صورت تبدیل فایل کتاب Foundations of Analysis: A Straightforward Introduction: Book 1, Logic, Sets and Numbers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی تحلیل: مقدمه مستقیم: کتاب 1، منطق، مجموعه ها و اعداد نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی تحلیل: مقدمه مستقیم: کتاب 1، منطق، مجموعه ها و اعداد
در مقدمه های ابتدایی تجزیه و تحلیل ریاضی، پرداختن به مبانی منطقی و جبری موضوع لزوماً تقریباً اسکلتی است. این کتاب تلاش می‌کند تا با ارائه گزارشی غیررسمی اما سیستماتیک از مبانی تحلیل ریاضی که در سطح ابتدایی نوشته شده است، استخوان‌های چنین رفتاری را تقویت کند. این کتاب کاملاً مستقل است، اما همانطور که در بالا ذکر شد، برای دانشجویان دانشگاه یا کالج که در حال گذراندن یا گذراندن دوره مقدماتی تحلیل هستند، بیشترین کاربرد را خواهد داشت. چنین دوره ای به طور خودکار تمام مطالبی را که در این کتاب به آنها پرداخته می شود پوشش نمی دهد و بنابراین دقت خاصی در ارائه مطالب به گونه ای صورت گرفته است که آن را برای مطالعه شخصی مناسب کند. به طور خاص، تعداد زیادی مثال و تمرین وجود دارد و در صورت لزوم، نکاتی به راه حل ها ارائه می شود. البته این سبک ارائه، کتاب را برای کسانی که مستقل از دوره تدریس شده مطالعه می کنند مفید می کند.
توضیحاتی درمورد کتاب به خارجی
In elementary introductions to mathematical analysis, the treatment of the logical and algebraic foundations of the subject is necessarily rather skeletal. This book attempts to flesh out the bones of such treatment by providing an informal but systematic account of the foundations of mathematical analysis written at an elementary level. This book is entirely self-contained but, as indicated above, it will be of most use to university or college students who are taking, or who have taken, an introductory course in analysis. Such a course will not automatically cover all the material dealt with in this book and so particular care has been taken to present the material in a manner which makes it suitable for self-study. In a particular, there are a large number of examples and exercises and, where necessary, hints to the solutions are provided. This style of presentation, of course, will also make the book useful for those studying the subject independently of taught course.
فهرست مطالب
CONTENTS\0......Page 5
Introduction\0......Page 9
1.1 What is a proof?\0......Page 11
1.5 Mathematical proof\0......Page 13
1.8 The interpretation of a mathematical theory\0......Page 15
2.4 Equivalence\0......Page 17
2.7 And, or\0......Page 18
2.10 Implies\0......Page 19
2.12 If and only if\0......Page 21
2.13 Proof schema\0......Page 22
3.1 Predicates and sets\0......Page 24
3.4 Quantifiers\0......Page 26
3.6 Manipulations with quantifiers\0......Page 27
3.10 More on contradictories\0......Page 28
3.13 Examples and counter-examples\0......Page 29
4.1 Subsets\0......Page 31
4.4 Complements\0......Page 32
4.7 Unions and intersections\0......Page 33
4.13 Zermelo-Fraenkel set theory\0......Page 35
5.2 Cartesian products\0......Page 38
5.3 Relations\0......Page 39
5.5 Equivalence relations\0......Page 40
5.8 Orderings\0......Page 41
6.1 Formal definition\0......Page 43
6.2 Terminology\0......Page 45
6.5 Composition\0......Page 49
6.6 Binary operations and groups\0......Page 50
6.8 Axiom of choice\0......Page 51
7.2 Real numbers and length\0......Page 54
7.3 Axioms of arithmetic\0......Page 56
7.6 Some theorems in arithmetic\0......Page 59
7.10 Axioms of order\0......Page 60
7.13 Intervals\0......Page 61
8.2 The natural numbers\0......Page 64
8.7 Inductive definitions\0......Page 66
8.10 Properties of N\0......Page 69
8.14 Rational numbers\0......Page 70
9.2 The method of exhaustion\0......Page 73
9.4 Continuum axiom\0......Page 76
9.7 Supremum and infimum\0......Page 77
9.11 Dedekind sections\0......Page 80
9.13 Powers\0......Page 81
9.16 Infinity\0......Page 83
9.19 Denseness of the rationals\0......Page 84
9.21- Uniqueness of the real numbers\0......Page 85
10.1- Models\0......Page 88
10.31 Natural numbers\0......Page 89
10.61 Arithmetic and order\0......Page 90
10.10 Measuring lengths\0......Page 93
10.11 Positive rational numbers\0......Page 94
10.13 Positive real numbers\0......Page 96
10.16 Negative numbers and displacements\0......Page 98
10.17 Real numbers\0......Page 99
10.19 Linear and quadratic equations\0......Page 101
10.20 Complex numbers\0......Page 102
10.22 Cubic equations\0......Page 104
10.23 Polynomials\0......Page 106
11.1 Introduction\0......Page 108
11.3 Division algorithm\0......Page 110
11.9 Primes\0......Page 111
11.13 Rational numbers\0......Page 112
11.16 Ruler and compass constructions\0......Page 114
11.20 Radicals\0......Page 117
11.21 Transcendental numbers\0......Page 118
12.1 Counting\0......Page 119
12.2 Cardinality\0......Page 120
12.4 Countable sets\0......Page 122
12.14 Uncountable sets\0......Page 128
12.17 Decimal expansions\0......Page 129
12.20 Transcendental numbers\0......Page 131
12.23 Counting the uncountable\0......Page 132
12.24 Ordinal numbers\0......Page 134
12.25 Cardinals\0......Page 136
12.26 Continuum hypothesis\0......Page 137
Notation\0......Page 138
Index......Page 139
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Theories, Sites, Toposes
دانلود کتاب Logica: dimostrazioni e modelli al primo ordine
دانلود کتاب Informacao e sentido : o estatuto epistemologico da informacao
دانلود کتاب Complexity in Interaction [PhD Thesis]
دانلود کتاب The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981
دانلود کتاب Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
