مشخصات کتاب

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

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

در صورت تبدیل فایل کتاب 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.

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

کتاب های تصادفی

دانلود کتاب Ethical Issues in Pediatric Organ Transplantation

دانلود کتاب Assembler- Programmierung mit dem PC: Eine schrittweise und praxisnahe Einführung

دانلود کتاب Maintenance Fundamentals, Second Edition (Plant Engineering)

دانلود کتاب M109 155mm Self-Propelled Howitzer 1960-2005

دانلود کتاب Influence of Temperature on Microelectronics and System Reliability-A Physics of Failure Approach