کتاب الکترونیکی

منطق برای همزمانی و همگام سازی

Logic for Concurrency and Synchronisation

دانلود کتاب Logic for Concurrency and Synchronisation (به فارسی: منطق برای همزمانی و همگام سازی) نوشته شده توسط «R.J. De Queiroz»

اطلاعات کتاب منطق برای همزمانی و همگام سازی

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

ناشر: Kluwer Academic Publishers

نویسنده: R.J. De Queiroz

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2003

تعداد صفحه: 297

حجم کتاب: 7 مگابایت

کد کتاب: 1402012705 , 9781402012709 , 9780306480881

توضیحات کتاب منطق برای همزمانی و همگام سازی

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

The study of information-based actions and processes has been a vibrant interface between logic and computer science for decades now. The individual chapters of this book show the state of the art in current investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. Viewed together, the chapters also offer exciting glimpses of future integration with obvious links including modal logics for proof graphs, labelled deduction merging modal and linear logic, Chu spaces linking proof theory and model theory and bisimulation-style equivalences for analysing proof processes. The combination of approaches and pointers for further integration also suggests a grander vision for the field. In classical computation theory, Church’s Thesis provided a unifying and driving force. Likewise, modern process theory would benefit immensely from a synthesis bringing together paradigms like modal logic, process algebra, and linear logic. If this Grand Synthesis is ever going to happen, books like this are needed!

دانلود کتاب «منطق برای همزمانی و همگام سازی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان