دانلود کتاب A Friendly Introduction to Mathematical Logic (به فارسی: مقدمه ای دوستانه بر منطق ریاضی) نوشته شده توسط «Christopher C. Leary – Lars Kristiansen»
اطلاعات کتاب مقدمه ای دوستانه بر منطق ریاضی
موضوع اصلی: ریاضیات
نوع: کتاب الکترونیکی
ناشر: Milne Library SUNY Geneseo
نویسنده: Christopher C. Leary – Lars Kristiansen
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2015
تعداد صفحه: 380
حجم فایل: 1.54 مگابایت
کد کتاب: 1942341326 , 9781942341321
نوبت چاپ: 2ed.
توضیحات کتاب مقدمه ای دوستانه بر منطق ریاضی
در تقاطع ریاضیات، علوم کامپیوتر و فلسفه، منطق ریاضی قدرت و محدودیت های تفکر ریاضی رسمی را بررسی می کند. در این بسط نسخه اول کاربرپسند لیری، خوانندگانی که هیچ مطالعه قبلی در این زمینه نداشته اند با مبانی نظریه مدل، نظریه اثبات و نظریه محاسبات آشنا می شوند. این متن به گونه ای طراحی شده است که در یک کلاس درس در مقطع کارشناسی ارشد یا برای مطالعه شخصی مورد استفاده قرار گیرد. ویرایش اول با به‌روزرسانی زبان‌ها، ساختارها و استنتاج‌ها، که منجر به اثبات دقیق قضایای ناتمامیت اول و دوم گودل می‌شود، نسخه دوم توسعه‌یافته شامل مقدمه‌ای جدید برای ناتمام بودن از طریق محاسبه‌پذیری و همچنین راه‌حل‌هایی برای تمرین‌های انتخاب شده است.
دانلود کتاب «مقدمه ای دوستانه بر منطق ریاضی»
