This book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. The combination of approaches and pointers for further integration also suggests a grander vision for the field.
ترجمه فارسی (ترجمه ماشینی)
مطالعه اقدامات و فرآیندهای مبتنی بر اطلاعات برای چندین دهه رابط پر جنب و جوش بین منطق و علم کامپیوتر بوده است. فصول جداگانه این کتاب وضعیت هنر را در تحقیقات فعلی محاسبات فرآیند با دو پارادایم اصلی در کار نشان می دهد: منطق خطی و منطق مدال. با مشاهده با هم، فصل‌ها همچنین اجمالی هیجان‌انگیز از ادغام آینده را با پیوندهای واضح از جمله منطق‌های مدال برای نمودارهای اثبات، منطق مودال و خطی ادغام استنتاج برچسب‌گذاری شده، تئوری اثبات و نظریه مدل به فضاهای چو و معادل‌های سبک شبیه‌سازی برای تحلیل فرآیندهای اثبات ارائه می‌دهند. ترکیبی از رویکردها و نشانگرها برای ادغام بیشتر نیز چشم انداز بزرگ تری را برای این زمینه نشان می دهد. در تئوری محاسبات کلاسیک، تز چرچ یک نیروی متحد کننده و محرک ارائه کرد. به همین ترتیب، نظریه فرآیند مدرن از ترکیبی که پارادایم هایی مانند منطق مدال، جبر فرآیند و منطق خطی را گرد هم می آورد، بسیار سود می برد. اگر این سنتز بزرگ قرار است اتفاق بیفتد، به کتاب هایی مانند این نیاز است!
این کتاب برای محققان علوم کامپیوتر، منطق ریاضی و منطق فلسفی است. این وضعیت هنر را در تحقیقات فعلی محاسبات فرآیند با دو پارادایم اصلی در کار نشان می دهد: منطق خطی و منطق مدال. ترکیبی از رویکردها و نشانگرها برای ادغام بیشتر نیز چشم انداز بزرگ تری را برای این زمینه نشان می دهد.
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.