ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

دانلود کتاب دانش ، اثبات و پویایی: چهارمین کارگاه آسیایی منطق فلسفی (منطق در آسیا: کتابخانه Studia Logica)

Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

مشخصات کتاب

Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

ویرایش: 1 
نویسندگان: , ,   
سری:  
ISBN (شابک) : 9811522200, 9789811522208 
ناشر: Springer 
سال نشر: 2020 
تعداد صفحات: 219 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

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



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب دانش ، اثبات و پویایی: چهارمین کارگاه آسیایی منطق فلسفی (منطق در آسیا: کتابخانه Studia Logica) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب دانش ، اثبات و پویایی: چهارمین کارگاه آسیایی منطق فلسفی (منطق در آسیا: کتابخانه Studia Logica)

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


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

This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018. The contributions cover a wide variety of topics in modal logic (epistemic logic, temporal logic and dynamic logic), proof theory, algebraic logic, game logics, and philosophical foundations of logic. They also reflect the interdisciplinary nature of logic – a subject that has been studied in fields as diverse as philosophy, linguistics, mathematics, computer science and artificial intelligence. More specifically. The book also presents the latest developments in logic both in Asia and beyond.





نظرات کاربران