دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Beyond Two: Theory and Applications of Multiple-Valued Logic
دانلود کتاب فراتر از دو: نظریه و کاربردهای منطق چند ارزشی
مشخصات کتاب
Beyond Two: Theory and Applications of Multiple-Valued Logic
ویرایش: 1 نویسندگان: Janusz Brzozowski, Zoltán Ésik, Yaacov Iland (auth.), Professor Dr. Melvin Fitting, Professor Dr. Ewa Orłowska (eds.) سری: Studies in Fuzziness and Soft Computing 114 ISBN (شابک) : 9783790825220, 9783790817690 ناشر: Physica-Verlag Heidelberg سال نشر: 2003 تعداد صفحات: 374 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 17 مگابایت
قیمت کتاب (تومان) : 33,000
کلمات کلیدی مربوط به کتاب فراتر از دو: نظریه و کاربردهای منطق چند ارزشی: منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، ریاضیات محاسبات، طراحی منطق، هوش مصنوعی (شامل رباتیک)، جبر
در صورت تبدیل فایل کتاب Beyond Two: Theory and Applications of Multiple-Valued Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب فراتر از دو: نظریه و کاربردهای منطق چند ارزشی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب فراتر از دو: نظریه و کاربردهای منطق چند ارزشی
این جلد نشان‌دهنده وضعیت هنر برای بسیاری از تحقیقات کنونی در منطق‌های بسیار ارزشمند است. پژوهشگران اولیه در این زمینه از جمله نویسندگان هستند. مسائل عمده روش شناختی منطق های چند ارزشی و همچنین کاربردهای منطق های چند ارزشی برای استدلال با اطلاعات فازی بررسی می شوند. حوزه‌های تحت پوشش عبارتند از: جبر منطق‌های چندگانه با ارزش و کاربردهای آنها، نظریه اثبات و استنتاج خودکار در منطق‌های چندگانه ارزشی، منطق فازی و کاربردهای آنها، و منطق‌های چندگانه با ارزش برای نظریه کنترل و باور عقلانی.
توضیحاتی درمورد کتاب به خارجی
This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics are treated, as well as applications of many-valued logics to reasoning with fuzzy information. Areas covered include: Algebras of multiple valued logics and their applications, proof theory and automated deduction in multiple valued logics, fuzzy logics and their applications, and multiple valued logics for control theory and rational belief.
فهرست مطالب
Front Matter....Pages I-X
Front Matter....Pages 1-1
Algebras for Hazard Detection....Pages 3-24
An Abstract Algebraic Logic View of Some Mutiple-valued Logics....Pages 25-57
Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving....Pages 59-100
An Algebraic Approach to Entropy and its Generalizations — A Survey....Pages 101-114
Front Matter....Pages 115-115
Classical Gentzen-type Methods in Propositional Many-valued Logics....Pages 117-155
Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-valued Logics....Pages 157-180
Polarity-based Stochastic Local Search Algorithms for Non-clausal Satisfiability....Pages 181-192
Model Checking for Multi-valued Computation Tree Logics....Pages 193-210
Complexity of Many-valued Logics....Pages 211-233
Front Matter....Pages 235-235
Ternary Kleenean Non-additive Measures....Pages 237-250
On the Hierarchy of t-norm Based Residuated Fuzzy Logics....Pages 251-272
A Development of Set Theory in Fuzzy Logic....Pages 273-285
A Fuzzy Generalisation of Information Relations....Pages 287-312
Front Matter....Pages 313-313
Weierstrass Approximation Theorem and Łukasiewicz Formulas with one Quantified Variable....Pages 315-335
A Łukasiewicz—style Many-valued Similarity Reasoning. Review....Pages 337-347
Two Values, Three Values, Many Values, No Values....Pages 349-374
