دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 (شابک) : 0520023560, 9780520023567
ناشر: University of California Press
سال نشر: 1996
تعداد صفحات: 299
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 21 مگابایت
قیمت کتاب (تومان) : 54,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.
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.
فهرست مطالب
Contents......Page 5
Preface......Page 10
Introduction: general notions......Page 13
Truth-functional propositional logic......Page 55
First order predicate logic: consistency and completeness......Page 146
First order predicate logic: undecidability......Page 227
References......Page 273
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Language Evolution - Contact, Competition and Change
دانلود کتاب Terminator and Philosophy: I’ll Be Back, Therefore I Am
