برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Metalogic

دانلود کتاب متالوژی

مشخصات کتاب

Metalogic

دسته بندی: منطق
ویرایش:  
نویسندگان: Geoffrey Hunter  
سری:  
ISBN (شابک) : 0333115899, 9780333115893 
ناشر: Macmillan 
سال نشر: 1971 
تعداد صفحات: 300 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت

قیمت کتاب (تومان) : 43,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 10

در صورت تبدیل فایل کتاب Metalogic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب متالوژی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب متالوژی

این اثر بدون آموزش تخصصی در ریاضیات، اثبات‌های کاملی از فرا قضیه‌های اساسی منطق مرتبه اول استاندارد (یعنی اصولاً حقیقت-عملکردی) در دسترس خوانندگان قرار می‌دهد. شامل اثبات کاملی است که برای غیرریاضیدانان قابل دسترسی است، مبنی بر غیرقابل تصمیم گیری منطق مرتبه اول، مهم ترین واقعیتی که در مورد منطق از کار نیم قرن گذشته پدیدار شده است. هانتر مفاهیم ریاضیات و نظریه مجموعه ها را در طول مسیر به نفع غیرریاضیدانان توضیح می دهد. او همچنین تمرین های فراوانی را با پاسخ های جامع ارائه می دهد.

توضیحاتی درمورد کتاب به خارجی

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.