دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Metalogic: An Introduction to the Metatheory of Standard First Order Logic
دانلود کتاب متالوژیک: مقدمه ای بر فرضیه منطق درجه یک استاندارد
مشخصات کتاب
Metalogic: An Introduction to the Metatheory of Standard First Order Logic
ویرایش:
نویسندگان: Geoffrey Hunter
سری:
ISBN (شابک) : 0333115902, 9780333115909
ناشر: Palgrave
سال نشر: 1971
تعداد صفحات: 304
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 37,000
در صورت تبدیل فایل کتاب Metalogic: An Introduction to the Metatheory of Standard First Order Logic به فرمت های 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.
فهرست مطالب
Front Matter....Pages i-xiii
Introduction: General Notions....Pages 1-41
Truth-functional Propositional Logic....Pages 43-134
First Order Predicate Logic: Consistency and Completeness....Pages 135-215
First Order Predicate Logic: Undecidability....Pages 217-261
Back Matter....Pages 262-288
