برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Lectures in Logic and Set Theory. Volume 1: Mathematical Logic

دانلود کتاب سخنرانی در منطق و نظریه تنظیم. دوره 1: منطق ریاضی

مشخصات کتاب

Lectures in Logic and Set Theory. Volume 1: Mathematical Logic

دسته بندی: منطق
ویرایش:  
نویسندگان: George Tourlakis  
سری: Cambridge Studies in Advanced Mathematics 82 
ISBN (شابک) : 0521753732, 0511066589 
ناشر: Cambridge University Press 
سال نشر: 2003 
تعداد صفحات: 342 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت

قیمت کتاب (تومان) : 57,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 13

در صورت تبدیل فایل کتاب Lectures in Logic and Set Theory. Volume 1: Mathematical Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سخنرانی در منطق و نظریه تنظیم. دوره 1: منطق ریاضی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب سخنرانی در منطق و نظریه تنظیم. دوره 1: منطق ریاضی

نظر من این است که این کتاب خواندنی ترین و کاربرپسندترین کتاب پیشرفته در نظریه مجموعه امروزی است. مخصوصاً برخورد اجباری (کوهن) ارزشمند است، زیرا توضیحات دیگر در مورد این موضوع برای دانشجویان تازه‌کار در مقطع کارشناسی ارشد مناسب نبود (Kunnen - بسیار خوب، اما بسیار پیچیده، Jech - همچنین خوب است، اما اجبار از طریق جبر بولی را ارائه می‌کند، که کمتر گسترده است. امروزه استفاده می شود و کتاب به عنوان مقدمه بسیار طولانی است). همچنین سبک یا نوشتار دعوت کننده است و نه ترسناک. کتاب بسیار مهم از نظر آموزشی.

توضیحاتی درمورد کتاب به خارجی

My opinion is that this is the most readable and user friendly advanced book on Set Theory today. Especially the treatment of (Cohen's) Forcing is valuable, since other expositions on this subject were not suitable for beginning graduate students (Kunnen - very good, but very sophisticated, Jech - also good, but presents Forcing via Boolean Algebra, which is less widely used today, and the book is too long as an advance introduction). Also the style or writing is inviting, and not intimidating. Very significant book, pedagogically.

فهرست مطالب

Cover......Page 1
Half-title......Page 3
Series-title......Page 4
Title......Page 5
Copyright......Page 6
Contents......Page 9
Preface......Page 11
I Basic Logic......Page 15
I.1. First Order Languages......Page 19
Logical Symbols......Page 21
Nonlogical Symbols......Page 22
I.2. A Digression into the Metatheory: Informal Induction and Recursion......Page 33
I.3. Axioms and Rules of Inference......Page 42
I.4. Basic Metatheorems......Page 56
I.5. Semantics; Soundness, Completeness, Compactness......Page 66
I.6. Substructures, Diagrams, and Applications......Page 89
I.7. Defined Symbols......Page 126
I.8. Computability and Uncomputability......Page 137
I.9. Arithmetic, Definability, Undefinability, and Incompletableness......Page 169
I.10. Exercises......Page 205
II The Second Incompleteness Theorem......Page 219
II.1. Peano Arithmetic......Page 220
II.2. A Formal Beta-Function......Page 246
II.3. Formal Primitive Recursion......Page 262
II.4. The Boldface Delta and Sigma......Page 270
II.5. Arithmetization......Page 279
II.6. Derivability Conditions; Fixed Points......Page 286
II.7. Exercises......Page 330
Bibliography......Page 333
List of Symbols......Page 335
Index......Page 337