دانلود کتاب Mathematical Logic (به فارسی: منطق ریاضی) نوشته شده توسط «H.-D. Ebbinghaus – J. Flum – W. Thomas»
اطلاعات کتاب منطق ریاضی
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: H.-D. Ebbinghaus – J. Flum – W. Thomas
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1984
تعداد صفحه: 216
حجم کتاب: 2 مگابایت
کد کتاب: 9780387908953 , 0387908951
نوبت چاپ: 1st
توضیحات کتاب منطق ریاضی
این متن در سطح متوسطه/ ارشد به مطالعه منطق مرتبه اول و نقش آن در مبانی ریاضیات اختصاص دارد: اثبات چیست؟ چگونه می توان یک دلیل را توجیه کرد؟ تا چه حد می توان یک اثبات را یک روش کاملاً مکانیکی ساخت؟ چقدر می توانیم به دلیلی که آنقدر پیچیده است ایمان داشته باشیم که هیچ کس نتواند آن را در طول عمر دنبال کند؟ اولین پاسخ های اساسی برای این پرسش ها تنها در این قرن به دست آمده است. قابل توجه ترین نتایج در کار گودل آمده است: اول، می توان مجموعه ساده ای از قوانین را ارائه داد که برای انجام تمام اثبات های ریاضی کافی است. اما، ثانیاً، این قوانین لزوماً ناقص هستند – برای مثال، اثبات تمام گزاره های درست حسابی غیرممکن است. کتاب با مقدمه ای بر منطق مرتبه اول، قضیه گودل و نظریه مدل آغاز می شود. بخش دوم توسعه های منطق مرتبه اول و محدودیت های روش های رسمی را پوشش می دهد. این کتاب چندین موضوع پیشرفته را پوشش میدهد که معمولاً در متون مقدماتی به آن پرداخته نمیشود، مانند قضیه غیرقابل تصمیمپذیری تراختنبروت. هم ارزی ابتدایی فرایسه و قضیه لیندستروم در مورد بیشینه بودن منطق مرتبه اول.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.