دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Handbook of Paraconsistency
دانلود کتاب کتابچه راهنمای Paraconsistency
مشخصات کتاب
Handbook of Paraconsistency
ویرایش: 0 نویسندگان: J. Y. Beziau, W. Carnielli, D. M. Gabbay سری: Studies in Logic: Logic and Cognitive Systems 9 ISBN (شابک) : 1904987737, 9781904987734 ناشر: College Publications سال نشر: 2007 تعداد صفحات: 526 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 46 مگابایت
قیمت کتاب (تومان) : 53,000
کلمات کلیدی مربوط به کتاب کتابچه راهنمای Paraconsistency: هوش و معناشناسی، هوش مصنوعی و یادگیری ماشین، علوم کامپیوتر، کامپیوتر و فناوری، منطق، ریاضیات محض، ریاضیات، علوم و ریاضی، منطق و زبان، فلسفه، سیاست و علوم اجتماعی، علوم کامپیوتر، الگوریتم ها، هوش مصنوعی، ذخیره سازی و طراحی پایگاه داده ,گرافیک و تجسم,شبکه سازی,طراحی نرم افزار شی گرا,سیستم عامل,زبان های برنامه نویسی,طراحی و مهندسی نرم افزار,کتاب های درسی جدید, مستعمل و اجاره ای,بوتیک تخصصی
در صورت تبدیل فایل کتاب Handbook of Paraconsistency به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کتابچه راهنمای Paraconsistency نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کتابچه راهنمای Paraconsistency
منطق‌های ناسازگار، منطق‌هایی هستند که با ارائه پشتوانه‌ای ریاضی و فلسفی برای نظریه‌های متناقض و در عین حال غیر پیش پاافتاده، استدلال قیاسی محکمی را تحت تضادها امکان‌پذیر می‌سازند. به دلیل نقش آن در مدل‌های استدلال علمی و پیامدهای فلسفی آن، و همچنین به دلیل ارتباط آن با موضوعاتی مانند آدم ربایی، استدلال خودکار، برنامه‌ریزی منطقی و بازنگری باورها، پاراسازگاری به یک حوزه در حال رشد تبدیل شده است. در جریان سومین کنگره جهانی پاراسازگاری (WCP3) که در تولوز، فرانسه، در ژوئیه 2003 برگزار شد، آشکار شد که نیاز به یک کتاب راهنما وجود دارد که آخرین نتایج را در مورد چندین جنبه از منطق پاراسازگار پوشش دهد، از جمله بحث‌های فلسفی در مورد پاراسازگاری و ارتباط آن با فلسفه زبان، نظریه استدلال، علوم کامپیوتر، نظریه اطلاعات و هوش مصنوعی. این کتاب یک ابزار اساسی برای کسانی است که می خواهند در مورد منطق پاراسازگار، تاریخچه و فلسفه آن، سیستم های مختلف منطق پاراسازگار و کاربردهای آن بیشتر بدانند. مجلد حاضر توسط ژان ایو بزیو، والتر کارنیلی و دوو گابای، منطق‌دانان متخصص و متبحر در انواع منطق، ویرایش شده است.
توضیحاتی درمورد کتاب به خارجی
Paraconsistent logics are logics which allow solid deductive reasoning under contradictions by offering a mathematical and philosophical support to contradictory yet non-trivial theories. Due to its role in models of scientific reasoning and to its philosophical implications, as well as to its connections to topics such as abduction, automated reasoning, logic programming, and belief revision, paraconsistency has becoming a fast growing area. During the III World Congress on Paraconsistency (WCP3) held in Toulouse, France, in July, 2003, it became apparent that there is a need for a Handbook covering the most recent results on several aspects of paraconsistent logic, including philosophical debates on paraconsistency and its connections to philosophy of language, argumentation theory, computer science, information theory, and artificial intelligence. This book is a basic tool for those who want to know more about paraconsistent logic, its history and philosophy, the various systems of paraconsistent logic and their applications. The present volume is edited by Jean-Yves Beziau, Walter Carnielli and Dov Gabbay, expert logicians versed in a variety of logics.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Islam and Mammon: The Economic Predicaments of Islamism
دانلود کتاب Psychostimulants (Volume 2) (Neurobiology of Addiction Series (Volume 2))
دانلود کتاب Das neue Kinder brauchen Grenzen
