کتاب R-Calculus, II: Many-Valued Logics اثر Wei Li AND Yuefei Sui انتشارات مؤلفین طلایی
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
انتشارات مؤلفین طلاییویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
مشخصات محصول
این جلد دوم از سری کتاب نشان می دهد که حساب R ترکیبی از یک سیستم اثبات تابلوی یکنواخت و یک سیستم غیر یکنواخت است. حساب R یک سیستم استنتاج از نوع Gentzen است که غیر یکنواخت است و یک عملگر بازنگری باور عینی است که ثابت شده است که فرضیه های AGM و فرضیه های DP را برآورده می کند. این مقاله خواص جبری و منطقی سیستمهای اثبات تابلو و محاسبات R را در منطقهای چند ارزشی مورد بحث قرار میدهد.
این کتاب ترکیبی غنی از تئوری و عمل را ارائه می دهد. این برای دانشجویان، محققین و دست اندرکاران در زمینه منطق مناسب است. همچنین برای همه کسانی که به داده ها، دیجیتالی کردن و صحت و ثبات اطلاعات، در منطق های مدال، منطق های غیر یکنواخت، منطق های تصمیم پذیر-غیرقابل تصمیم، برنامه نویسی منطقی، منطق های توصیف، منطق های پیش فرض و شبکه های وراثت معنایی علاقه مند هستند، بسیار مفید است.
این کتاب آخرین ویرایش این کتاب میباشد که توسط انتشارات مؤلفین طلایی به صورت اختصاصی در کشور به چاپ و نشر رسیده است.
نویسنده
Wei Li AND Yuefei Sui
ناشر
مؤلفین طلایی
موضوع
ریاضیات
قطع
وزیری
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
281
