دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: J. Barkley Rosser سری: International Series in Pure and Applied Mathematics ناشر: McGraw-Hill سال نشر: 1953 تعداد صفحات: 544 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب منطق برای ریاضیدانان: ریاضیات، منطق ریاضی
در صورت تبدیل فایل کتاب Logic for Mathematicians به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق برای ریاضیدانان نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد که توسط بولتن انجمن ریاضی آمریکا به عنوان «بیتردید افزودهای مهم به ادبیات منطق ریاضی» ستایش میشود، موضوعات و قضایای اساسی استدلال ریاضی را بررسی میکند. هیچ پیش زمینه ای در منطق فرض نمی شود و مثال ها از انواع رشته های ریاضی انتخاب می شوند. با مقدمهای بر منطق نمادین، هشت فصل اول منطق را از طریق محاسبات محمول محدود توسعه میدهند. موضوعات شامل حساب بیانیه، استفاده از نام ها، رفتار بدیهی حساب بیانیه، توصیف ها و برابری است. فصلهای بعدی نظریه مجموعههای انتزاعی را - با بررسی عضویت در کلاس و همچنین روابط و توابع - محاسبات اصلی و ترتیبی و اصل انتخاب را بررسی میکنند. این متن یک کتاب مرجع ارزشمند برای همه ریاضیدانان است، این متن مناسب برای دانشجویان پیشرفته در مقطع کارشناسی و کارشناسی ارشد است. تمرین های متعدد آن را به ویژه برای استفاده در کلاس درس مناسب می کند.
Hailed by the Bulletin of the American Mathematical Society as "undoubtedly a major addition to the literature of mathematical logic," this volume examines the essential topics and theorems of mathematical reasoning. No background in logic is assumed, and the examples are chosen from a variety of mathematical fields. Starting with an introduction to symbolic logic, the first eight chapters develop logic through the restricted predicate calculus. Topics include the statement calculus, the use of names, an axiomatic treatment of the statement calculus, descriptions, and equality. Succeeding chapters explore abstract set theory—with examinations of class membership as well as relations and functions—cardinal and ordinal arithmetic, and the axiom of choice. An invaluable reference book for all mathematicians, this text is suitable for advanced undergraduates and graduate students. Numerous exercises make it particularly appropriate for classroom use.
Cover ......Page 1
Preface ......Page 7
Contents ......Page 9
List of Symbols ......Page 12
1. A hypothetical interview ......Page 15
2. The role of symbolic logic ......Page 17
3. General nature of symbolic logic ......Page 19
4. Advantages and disadvantages of a symbolic logic ......Page 23
1. Statement functions ......Page 26
2. The dot notation ......Page 33
3. The use of truth-value tables ......Page 37
4. Applications to mathematical reasoning ......Page 44
5. Summary of logical principles ......Page 60
Chapter III. The Use of Names ......Page 63
1. The axiomatic method of defining valid statements ......Page 68
2. The truth-value axioms ......Page 69
3. Properties of ├ ......Page 73
4. Preliminary theorems ......Page 74
5. The truth value theorem ......Page 82
6. The deduction theorem ......Page 89
Chapter V. Clarification ......Page 91
1. Variables and unknowns ......Page 96
2. Quantifiers ......Page 101
3. Axioms for the restricted predicate calculus ......Page 115
4. The generalization principle ......Page 117
5. The equivalence and substitution theorems ......Page 121
6. Useful equivalences ......Page 126
7. The formal analogue of an act of choice ......Page 137
8. Restricted quantification ......Page 154
9. Applications to everyday mathematics ......Page 164
10. Church’s theorem ......Page 175
11. A convention concerning bound variables ......Page 176
1. General properties ......Page 177
2. Enumerative quantifiers ......Page 180
3. Applications ......Page 186
1. Axioms for descriptions ......Page 195
2. Definition by cases ......Page 201
3. Uses of descriptions in everyday mathematics ......Page 209
1. The notion of a class ......Page 211
2. Axioms for classes ......Page 221
3. Formalism for classes ......Page 233
4. The calculus of classes ......Page 240
5. Manifold products and sums ......Page 252
6. Unit classes and subclasses ......Page 263
7. Variables over the range 2 ......Page 270
8. Applications ......Page 277
1. The axiom of infinity ......Page 289
2. Ordered pairs and triples ......Page 294
3. The calculus of relations ......Page 298
4. Special properties of relations ......Page 308
5. Functions ......Page 319
6. Ordered sets ......Page 344
7. Equivalence relations ......Page 353
8. Applications ......Page 358
1. Cardinal similarity ......Page 359
2. Elementary properties of cardinal numbers ......Page 385
3. Finite classes and mathematical induction ......Page 404
4. Denumerable classes ......Page 443
5. The cardinal number of the continuum ......Page 458
6. Applications ......Page 465
1. Ordinal similarity ......Page 470
2. Well-ordering relations ......Page 473
3. Elementary properties of ordinal numbers ......Page 484
4. The cardinal number associated with an ordinal number ......Page 491
5. Applications ......Page 495
1. Preliminaries ......Page 497
2. The axiom of counting ......Page 499
3. The pigeonhole principle ......Page 501
4. Applications ......Page 502
1. The general axiom of choice ......Page 504
2. How indispensable is the axiom of choice? ......Page 524
3. The denumerable axiom of choice ......Page 526
Chapter XV. We Rest Our Case ......Page 531
Bibliography ......Page 537
Index ......Page 541