توضیحات
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
————————————————————–
ترجمه ماشینی :
این کار بدون آموزش تخصصی در ریاضیات ، اثبات کاملی از متاتوریم های اساسی استاندارد (یعنی اساساً حقیقت-عملکردی) در اختیار خوانندگان قرار می گیرد. شامل یک اثبات کامل ، در دسترس برای غیر ریاضیات ، از عدم پذیرش منطق مرتبه اول ، مهمترین واقعیت در مورد منطق ناشی از کار نیم قرن گذشته است. هونتر مفاهیم ریاضیات را توضیح می دهد و نظریه را در این مسیر تعیین می کند. فواید غیر ریاضیات. او همچنین با پاسخ های جامع تمرینات کافی را ارائه می دهد
tag : دانلود کتاب مقدمه ای مختصر بر منطق , Download مقدمه ای مختصر بر منطق , دانلود مقدمه ای مختصر بر منطق , Download A concise introduction to logic Book , مقدمه ای مختصر بر منطق دانلود , buy مقدمه ای مختصر بر منطق , خرید کتاب مقدمه ای مختصر بر منطق , دانلود کتاب A concise introduction to logic , کتاب A concise introduction to logic , دانلود A concise introduction to logic , خرید A concise introduction to logic , خرید کتاب A concise introduction to logic ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.