مجله علمی تفریحی بیبیس
0

دانلود کتاب حساب دیفرانسیل و انتگرال، منطق های چند ارزشی

بازدید 588
  • عنوان کتاب: R-Calculus, II Many-Valued Logics
  • نویسنده: Michael Corral
  • حوزه: حساب, حساب دیفرانسیل
  • سال انتشار: 2022
  • تعداد صفحه: 281
  • زبان اصلی: انگلیسی
  • نوع فایل: pdf
  • حجم فایل: 3.32 مگابایت

منطق‌های ریاضی کلاسیک (منطق گزاره‌ای، منطق مرتبه اول و منطق مدال) و منطق‌های کاربردی (منطق زمانی، منطق پویا، حساب موقعیت و غیره) به استنتاج، فرآیندی منطقی از گزاره‌های جهانی به گزاره‌های خاص مربوط می‌شوند. منطق توصیف به مفاهیمی مربوط می شود که و استنتاج از منطق های کلی تشکیل می شوند. استقرا و بازنگری باور، مباحث منطق عمومی و منطق فلسفی است و تکامل یک حوزه تحقیقاتی جدید در علوم کامپیوتر است. رسمی کردن استقرا، تجدید نظر و تکامل هدف این مجموعه است. تجدید نظر در علوم همه جا وجود دارد. یک نظریه جدید معمولاً تجدید نظر یک نظریه قدیمی یا چندین نظریه قدیمی است. تئوری هیلوسنتریک کوپرنیک تجدید نظر در سیستم تیکنیک است. نظریه نسبیت تجدید نظر در نظریه کلاسیک حرکت است. نظریه کوانتومی تجدید نظر مکانیک کلاسیک است. فرضیه های AGM مجموعه ای از شرایط است که یک اپراتور بازنگری منطقی باید برآورده کند. پروفسور لی یک حساب دیفرانسیل و انتگرال برای منطق مرتبه اول به نام حساب R پیشنهاد کرد که با توجه به حداکثر زیرمجموعه های سازگار، صحیح و کامل است. حساب R دارای انواع مختلفی است که می تواند در منطق های دیگر مانند منطق های غیر یکنواخت استفاده شود، می تواند مسائل جدیدی را در منطق های کلاسیک مطرح کند و در داده های بزرگ استفاده خواهد شد.

Classical mathematical logics (propositional logic, first-order logic and modal logic) and applied logics (temporal logic, dynamic logic, situation calculus, etc.) concern deduction, a logical process from universal statements to particular statements. Description logics concern conceptswhich and deduction compose of general logics. Induction and belief revision are the topics of general logics and philosophical logics, and evolution is a new research area in computer science. To formalize induction, revision and evolution is a goal of this series. Revision is omnipresent in sciences. A new theory usually is a revision of an old theory or several old theories. Copernicus’ heliocentric theory is a revision of the Tychonic system; the theory of relativity is a revision of the classical theory ofmovement; the quantum theory is a revision of classical mechanics; etc.. The AGM postulates is a set of conditions a reasonable revision operator should satisfy. Professor Li proposed a calculus for first-order logic, called R-calculus, which is sound and complete with respect to maximal consistent subsets. R-calculus has several variants which can be used in other logics, such as nonmonotonic logics, can propose new problems in classical logics, and will be used in bigdata.

این کتاب را میتوانید از لینک زیر بصورت رایگان دانلود کنید:

Download: R-Calculus, II Many-Valued Logics

نظرات کاربران

  •  چنانچه دیدگاه شما توهین آمیز باشد تایید نخواهد شد.
  •  چنانچه دیدگاه شما جنبه تبلیغاتی داشته باشد تایید نخواهد شد.

دیدگاهتان را بنویسید

نشانی ایمیل شما منتشر نخواهد شد.

بیشتر بخوانید