دانلود کتاب Deducibility and Decidability (به فارسی: کسر پذیری و تصمیم پذیری) نوشته شده توسط «Rockingham G. R.»
اطلاعات کتاب کسر پذیری و تصمیم پذیری
موضوع اصلی: 1
نوع: کتاب الکترونیکی
نویسنده: Rockingham G. R.
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1990
تعداد صفحه: 168
حجم کتاب: 5 مگابایت
توضیحات کتاب کسر پذیری و تصمیم پذیری
نتایج کلاسیکی که گودل، تارسکی، کلین و چرچ در اوایل دهه سی به دست آوردند، بهترین گل های منطق نمادین هستند. آنها برای آن دسته از تحقیقات مبانی ریاضیات از طریق مفهوم یک سیستم رسمی که توسط فرگه افتتاح شد، و اهمیت آشکاری برای رشته های ریاضی، مانند نظریه محاسبات، که از آنها توسعه یافته است، اهمیت اساسی دارند. برگرفته از دروس تدریس شده توسط نویسنده در طی چندین سال، این شرح جدید همه نتایج را با براهین اصلی و مفاهیم محوری آنها به گونه‌ای ارائه می‌کند که با مبنایی نظام‌مند از مفهوم اثربخشی در معناشناسی کمیت وجودی متحد می‌شود. منطق‌دانان و غیرریاضی‌دانان، که با جزئیاتی که آشکارا در کتاب‌های درسی استاندارد مرتبط نیستند دفع می‌شوند، می‌توانند با حداقل سر و صدا به اصل موضوع برسند.
دانلود کتاب «کسر پذیری و تصمیم پذیری»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.