توضیحات
The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical systems. Formal languages of these logics are extended with probabilistic operators. The aim is to provide a systematic overview and an accessible presentation of mathematical techniques used to obtain results on formalization, completeness, compactness and decidability.
The book will be of value to researchers in logic and it can be used as a supplementary text in graduate courses on non-classical logics.
————————————————————–
ترجمه ماشینی :
مشارکتهای موجود در این بررسی کتاب بر روی ترکیبی از سیستمهای منطقی احتمالی و دیگر کلاسیک، زمانی و توجیهی نتایج میدهد. زبان های رسمی این منطق ها با عملگرهای احتمالی بسط داده می شوند. هدف ارائه یک نمای کلی سیستماتیک و ارائه قابل دسترس از تکنیک های ریاضی مورد استفاده برای به دست آوردن نتایج در مورد رسمی سازی، کامل بودن، فشرده بودن و تصمیم پذیری است.
این کتاب برای محققان منطق ارزشمند خواهد بود و میتوان از آن به عنوان متن تکمیلی در دورههای تحصیلات تکمیلی در زمینه منطق غیر کلاسیک استفاده کرد.
tag : دانلود کتاب پسوندهای احتمالی سیستم های منطقی مختلف , Download پسوندهای احتمالی سیستم های منطقی مختلف , دانلود پسوندهای احتمالی سیستم های منطقی مختلف , Download Probabilistic Extensions of Various Logical Systems Book , پسوندهای احتمالی سیستم های منطقی مختلف دانلود , buy پسوندهای احتمالی سیستم های منطقی مختلف , خرید کتاب پسوندهای احتمالی سیستم های منطقی مختلف , دانلود کتاب Probabilistic Extensions of Various Logical Systems , کتاب Probabilistic Extensions of Various Logical Systems , دانلود Probabilistic Extensions of Various Logical Systems , خرید Probabilistic Extensions of Various Logical Systems , خرید کتاب Probabilistic Extensions of Various Logical Systems ,
دیدگاهها
هیچ دیدگاهی برای این محصول نوشته نشده است.