دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Raymond Smullyan (Author)
سری:
ISBN (شابک) : 9781568814438, 9780429064937
ناشر: A K Peters/CRC Press
سال نشر: 2008
تعداد صفحات: 332
زبان:
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
کلمات کلیدی مربوط به کتاب هزارتوهای منطقی: ریاضیات و آمار، ریاضیات پیشرفته، ریاضیات گسسته، نظریه مجموعه ها، مبانی و قضایا
در صورت تبدیل فایل کتاب Logical Labyrinths به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب هزارتوهای منطقی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب با قرار دادن آن در چارچوب معماها و پارادوکس های زبان رایج و تفکر عقلانی، رویکردی منحصر به فرد به آموزش منطق ریاضی دارد. این به عنوان پلی از کتاب های پازل نویسنده به نوشتن فنی او در زمینه جذاب منطق ریاضی عمل می کند. نویسنده با استفاده از منطق دروغگویی و راستگویی، خوانندگان را با استدلال غیررسمی آشنا می کند تا آنها را برای مطالعه رسمی منطق نمادین، از منطق گزاره ای تا منطق درجه اول، موضوعی که کاربردهای مهم بسیاری در فلسفه، ریاضیات و ریاضیات دارد، آماده کند. علوم کامپیوتر. این کتاب شامل سفری در هزارتوهای شگفتانگیز بینهایت است که تخیل بشریت را بیش از هر موضوع دیگری برانگیخته است.
This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author’s puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the author introduces the readers to informal reasoning preparing them for the formal study of symbolic logic, from propositional logic to first-order logic, a subject that has many important applications to philosophy, mathematics, and computer science. The book includes a journey through the amazing labyrinths of infinity, which have stirred the imagination of mankind as much, if not more, than any other subject.
Contents......Page 6
Preface......Page 8
I. Be Wise, Generalize!......Page 11
1. The Logic of Lying and Truth-Telling......Page 13
2. Male or Female?......Page 27
3. Silent Knights and Knaves......Page 31
4. Mad or Sane?......Page 35
5. The Difficulties Double......Page 41
6. A Unification......Page 47
II. Be Wise, Symbolize!......Page 51
7. Beginning Propositional Logic......Page 53
8. Liars, Truth-Tellers, and Propositional Logic......Page 65
9. Variable Liars......Page 77
10. Logical Connectives and Variable Liars......Page 83
11. The Tableau Method......Page 93
12. All and Some......Page 109
13. Beginning First-Order Logic......Page 121
III. Infinity......Page 143
14. The Nature of Infinity......Page 145
15. Mathematical Induction......Page 167
16. Generalized Induction, König\'s Lemma, Compactness......Page 183
IV. Fundamental Results in First-Order Logic......Page 199
17. Fundamental Results in Propositional Logic......Page 201
18. First-Order Logic: Completeness, Compactness,Skolem-Löwenheim Theorem......Page 215
19. The Regularity Theorem......Page 227
V. Axiom Systems......Page 237
20. Beginning Axiomatics......Page 238
21. More Propositional Axiomatics......Page 255
22. Axiom Systems for First-Order Logic......Page 277
VI. More on First-Order Logic......Page 285
23. Craig’s Interpolation Lemma......Page 287
24. Robinson\'s Theorem......Page 295
25. Beth\'s Definability Theorem......Page 301
26. A Unification......Page 307
27. Looking Ahead......Page 319
References......Page 331
Index......Page 333