دانلود کتاب Deducibility and decidability (به فارسی: کسر پذیری و تصمیم پذیری) نوشته شده توسط «R. R. Rockingham Gill»
اطلاعات کتاب کسر پذیری و تصمیم پذیری
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Routledge
نویسنده: R. R. Rockingham Gill
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1990
تعداد صفحه: 168
حجم کتاب: 5 مگابایت
کد کتاب: 0415000335 , 9780415000338 , 9780203015094
نوبت چاپ: 1
توضیحات کتاب کسر پذیری و تصمیم پذیری
نتایج کلاسیکی که گودل، تارسکی، کلین و چرچ در اوایل دهه سی به دست آوردند، بهترین گل های منطق نمادین هستند. آنها از اهمیت اساسی در تحقیقات مبانی ریاضیات از طریق مفهوم یک سیستم رسمی که توسط فرگه افتتاح شد، و اهمیت آشکاری برای رشته های ریاضی، مانند نظریه محاسبات، که از آنها ایجاد شد، هستند.
برگرفته از دروسی که نویسنده در طی چندین سال تدریس می کند، این توضیح جدید همه نتایج را با براهین اصلی و مفاهیم اصلی آنها به شیوه ای ارائه می کند که با یک زمینه سیستماتیک مفهوم اثربخشی در معنای شناسی کمیت وجودی متحد می شود. منطق‌دانان و غیرریاضی‌دانان، که با جزئیاتی که آشکارا در کتاب‌های درسی استاندارد مرتبط نیستند دفع می‌شوند، می‌توانند با حداقل سر و صدا به اصل موضوع برسند.
Derived from courses taught by the author over several years, this new exposition presents all of the results with their original proofs and central concepts in a manner that is unified by a systematic grounding of the notion of effectiveness in the semantics of the existential quantifier. Logicians and non-mathematicians, repelled by detail which is not obviously relevant in the standard textbooks, will be able to reach the heart of the matter with a minimum of fuss.
دانلود کتاب «کسر پذیری و تصمیم پذیری»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.