برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Proof Theory for Fuzzy Logics

دانلود کتاب نظریه اثبات منطق فازی

مشخصات کتاب

Proof Theory for Fuzzy Logics

دسته بندی: منطق
ویرایش:  
نویسندگان: George Metcalfe,  Nicola Olivetti,  Dov Gabbay  
سری: Applied Logic Series 36 
ISBN (شابک) : 9781402094088, 1402094086 
ناشر: Springer 
سال نشر: 2008 
تعداد صفحات: 285 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 33,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 18

در صورت تبدیل فایل کتاب Proof Theory for Fuzzy Logics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نظریه اثبات منطق فازی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب نظریه اثبات منطق فازی

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

توضیحاتی درمورد کتاب به خارجی

Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as fuzzy control, fuzzy databases, and fuzzy mathematics. This book provides an accessible and up-to-date introduction to this fast-growing and increasingly popular area. It focuses in particular on the development and applications of "proof-theoretic" presentations of fuzzy logics; the result of more than ten years of intensive work by researchers in the area, including the authors. In addition to providing alternative elegant presentations of fuzzy logics, proof-theoretic methods are useful for addressing theoretical problems (including key standard completeness results) and developing efficient deduction and decision algorithms. Proof-theoretic presentations also place fuzzy logics in the broader landscape of non-classical logics, revealing deep relations with other logics studied in Computer Science, Mathematics, and Philosophy. The book builds methodically from the semantic origins of fuzzy logics to proof-theoretic presentations such as Hilbert and Gentzen systems, introducing both theoretical and practical applications of these presentations.

فهرست مطالب

Front Matter....Pages I-VIII
Introduction....Pages 1-6
The Semantic Basis....Pages 7-35
Hilbert Systems....Pages 37-66
Gentzen Systems....Pages 67-100
Syntactic Eliminations....Pages 101-135
Fundamental Logics....Pages 137-175
Uniformity and Efficiency....Pages 177-199
First-Order Logics....Pages 201-228
Further Topics....Pages 229-258
Back Matter....Pages 259-276