دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Mathematical Logic
دانلود کتاب منطق ریاضی
مشخصات کتاب
Mathematical Logic
ویرایش: [3 ed.] نویسندگان: Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas سری: Graduate Texts in Mathematics ISBN (شابک) : 9783030738389, 9783030738396 ناشر: Springer Nature Switzerland سال نشر: 2021 تعداد صفحات: 304 [305] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 Mb
قیمت کتاب (تومان) : 31,000
در صورت تبدیل فایل کتاب Mathematical Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق ریاضی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق ریاضی
این کتاب درسی با بررسی سوالات اساسی به معرفی منطق مرتبه اول و نقش آن در مبانی ریاضیات می پردازد. اثبات ریاضی چیست؟ چگونه می توان اثبات های ریاضی را توجیه کرد؟ آیا محدودیت هایی برای اثبات پذیری وجود دارد؟ ماشین ها تا چه حد می توانند اثبات های ریاضی را انجام دهند؟ در پاسخ به این سوالات، این کتاب درسی به بررسی قابلیت ها و محدودیت های الگوریتم ها و روش های اثبات در ریاضیات و علوم کامپیوتر می پردازد. فصل‌ها به دقت سازمان‌دهی شده‌اند و دارای شواهد کامل و مثال‌های متعدد در سراسر آن هستند. با شروع مثال‌های انگیزشی، این کتاب به ارائه نحو و معناشناسی منطق مرتبه اول می‌پردازد. پس از ارائه یک حساب متوالی برای این منطق، یک اثبات از نوع هنکین برای قضیه کامل بودن ارائه می شود. این فصل‌های مقدماتی خواننده را برای موضوعات پیشرفته‌ای که در پی می‌آیند، مانند قضایای ناتمام بودن گودل، قضیه غیرقابل تصمیم‌پذیری تراختنبروت، قضایای لیندستروم در مورد حداکثر بودن منطق مرتبه اول، و نتایجی که منطق را با نظریه خودکار پیوند می‌دهند، آماده می‌کنند. این نسخه جدید دارای بسیاری از مدرن‌سازی‌ها، و همچنین دو نتیجه مهم دیگر است: تصمیم‌پذیری محاسبات پرزبرگر، و تصمیم‌پذیری نظریه مونادیک ضعیف تابع جانشین. منطق ریاضی برای دانش آموزانی که شروع به تحصیل در منطق و مبانی ریاضی می کنند ایده آل است. اگرچه مخاطبان اصلی این کتاب درسی دانشجویان کارشناسی ارشد یا کارشناسی ارشد ریاضیات یا علوم کامپیوتر خواهند بود، اما در واقع این کتاب پیش نیازهای رسمی کمی دارد. از خواننده فقط بلوغ ریاضی و تجربه با ساختارهای انتزاعی اساسی، مانند ساختارهایی که در ریاضیات گسسته یا جبر با آن مواجه می‌شوند، می‌طلبد.
توضیحاتی درمورد کتاب به خارجی
This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In answering these questions, this textbook explores the capabilities and limitations of algorithms and proof methods in mathematics and computer science. The chapters are carefully organized, featuring complete proofs and numerous examples throughout. Beginning with motivating examples, the book goes on to present the syntax and semantics of first-order logic. After providing a sequent calculus for this logic, a Henkin-type proof of the completeness theorem is given. These introductory chapters prepare the reader for the advanced topics that follow, such as Gödel's Incompleteness Theorems, Trakhtenbrot's undecidability theorem, Lindström's theorems on the maximality of first-order logic, and results linking logic with automata theory. This new edition features many modernizations, as well as two additional important results: The decidability of Presburger arithmetic, and the decidability of the weak monadic theory of the successor function. Mathematical Logic is ideal for students beginning their studies in logic and the foundations of mathematics. Although the primary audience for this textbook will be graduate students or advanced undergraduates in mathematics or computer science, in fact the book has few formal prerequisites. It demands of the reader only mathematical maturity and experience with basic abstract structures, such as those encountered in discrete mathematics or algebra.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Medicine: Preserving the Passion in the 21st Century
