دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Heinrich Wansing سری: Advances in Logic 1 ISBN (شابک) : 9810247354, 9789812799746 ناشر: World Scientific سال نشر: 2001 تعداد صفحات: 275 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
در صورت تبدیل فایل کتاب Essays on Non-Classical Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مقالاتی در مورد منطق غیر کلاسیک نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب طیف گسترده ای از مسائل به روز در منطق غیر کلاسیک را پوشش می دهد که نه تنها برای منطق دانان فلسفی و ریاضی، بلکه برای دانشمندان کامپیوتر و محققان هوش مصنوعی نیز مورد توجه است. مشکلات پرداخته شده طیف وسیعی از مسائل روش شناختی در منطق پاراسازگار و دیونتیک گرفته تا نظریه تجدید نظر حقیقت و ماشین های تورینگ نامحدود است. این کتاب تعدادی از روندهای مهم فعلی در منطق غیر کلاسیک معاصر را شناسایی می کند. از جمله آنها می توان به منطق گفتگوی و زیرساختی، طبقه بندی مفاهیم نفی، نظریه حقیقت ساز، و جنبه های ریاضی و بنیادی منطق وجهی و زمانی اشاره کرد.
This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence. The problems addressed range from methodological issues in paraconsistent and deontic logic to the revision theory of truth and infinite Turing machines. The book identifies a number of important current trends in contemporary non-classical logic. Among them are dialogical and substructural logic, the classification of concepts of negation, truthmaker theory, and mathematical and foundational aspects of modal and temporal logic.