دانلود کتاب Logic for Concurrency and Synchronisation (به فارسی: منطق برای همزمانی و همگام سازی) نوشته شده توسط «Ruy J.G.B. de Queiroz (ed.)»
اطلاعات کتاب منطق برای همزمانی و همگام سازی
موضوع اصلی: علوم (عمومی)
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Ruy J.G.B. de Queiroz (ed.)
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2003
تعداد صفحه: 308
حجم فایل: 7.66 مگابایت
کد کتاب: 1402012705 , 9781402012709
توضیحات کتاب منطق برای همزمانی و همگام سازی
مطالعه اقدامات و فرآیندهای مبتنی بر اطلاعات برای چندین دهه رابط پر جنب و جوش بین منطق و علم کامپیوتر بوده است. فصول جداگانه این کتاب وضعیت هنر را در تحقیقات فعلی محاسبات فرآیند با دو پارادایم اصلی در کار نشان می دهد: منطق خطی و منطق مدال. با مشاهده با هم، فصل‌ها همچنین اجمالی هیجان‌انگیز از ادغام آینده را با پیوندهای واضح از جمله منطق‌های مدال برای نمودارهای اثبات، منطق مودال و خطی ادغام استنتاج برچسب‌گذاری شده، تئوری اثبات و نظریه مدل به فضاهای چو و معادل‌های سبک شبیه‌سازی برای تحلیل فرآیندهای اثبات ارائه می‌دهند. ترکیبی از رویکردها و نشانگرها برای ادغام بیشتر نیز چشم انداز بزرگ تری را برای این زمینه نشان می دهد. در تئوری محاسبات کلاسیک، تز چرچ یک نیروی متحد کننده و محرک ارائه کرد. به همین ترتیب، نظریه فرآیند مدرن از ترکیبی که پارادایم هایی مانند منطق مدال، جبر فرآیند و منطق خطی را گرد هم می آورد، بسیار سود می برد. اگر این سنتز بزرگ قرار است اتفاق بیفتد، به کتاب هایی مانند این نیاز است!
این کتاب برای محققان علوم کامپیوتر، منطق ریاضی و منطق فلسفی است. این وضعیت هنر را در تحقیقات فعلی محاسبات فرآیند با دو پارادایم اصلی در کار نشان می دهد: منطق خطی و منطق مدال. ترکیبی از رویکردها و نشانگرها برای ادغام بیشتر نیز چشم انداز بزرگ تری را برای این زمینه نشان می دهد.
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.
دانلود کتاب «منطق برای همزمانی و همگام سازی»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.