کتاب R-Calculus, III: Post Three-Valued Logic اثر Wei Li AND Yuefei Sui انتشارات مؤلفین طلایی
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
انتشارات مؤلفین طلاییویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
مشخصات محصول
این جلد سوم از سری کتاب نشان می‌دهد که حساب R یک سیستم قیاسی از نوع Gentzen است که غیر یکنواخت است و یک عملگر بازنگری باور عینی است که ثابت شده است فرضیه‌های AGM و فرضیه‌های DP را برآورده می‌کند. در این کتاب، حساب R به‌عنوان Tableau-based/Sequent-based/Multisequent-based برای حفظ رضایت‌پذیری نظریه/تعدادی/چند پی در پی برای تجدیدنظر، یا مبتنی بر ترتیب، برای حفظ رضایت‌پذیری دنباله‌ای برای تجدیدنظر در نظر گرفته شده است. R-calculi برای Post و منطق سه مقداری داده شده است.
این کتاب آخرین ویرایش این کتاب میباشد که توسط انتشارات مؤلفین طلایی به صورت اختصاصی در کشور به چاپ و نشر رسیده است.
نویسنده
Wei Li AND Yuefei Sui
ناشر
مؤلفین طلایی
موضوع
ریاضیات
قطع
وزیری
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
284
