دانلود کتاب Metalogic
دسته: منطق
کتاب وابسته به فلز شناسی نسخه زبان اصلی
دانلود کتاب وابسته به فلز شناسی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Metalogic
نام کتاب : Metalogic
عنوان ترجمه شده به فارسی : وابسته به فلز شناسی
سری :
نویسندگان : Geoffrey Hunter
ناشر : Macmillan
سال نشر : 1971
تعداد صفحات : 300
ISBN (شابک) : 0333115899 , 9780333115893
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 6 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این اثر بدون آموزش تخصصی در ریاضیات، اثباتهای کاملی از فرا قضیههای اساسی منطق مرتبه اول استاندارد (یعنی اصولاً حقیقت-عملکردی) در دسترس خوانندگان قرار میدهد. شامل اثبات کاملی است که برای غیرریاضیدانان قابل دسترسی است، مبنی بر غیرقابل تصمیم گیری منطق مرتبه اول، مهم ترین واقعیتی که در مورد منطق از کار نیم قرن گذشته پدیدار شده است. هانتر مفاهیم ریاضیات و نظریه مجموعه ها را در طول مسیر به نفع غیرریاضیدانان توضیح می دهد. او همچنین تمرین های فراوانی را با پاسخ های جامع ارائه می دهد.
توضیحاتی در مورد کتاب به زبان اصلی :
This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.
پست ها تصادفی