دانلود کتاب Logic for Concurrency and Synchronisation
49,000 تومان
منطق برای همزمانی و همگام سازی
| موضوع اصلی | علوم (عمومی) |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 308 |
| حجم فایل | 7.66 مگابایت |
| کد کتاب | 1402012705 , 9781402012709 |
| نویسنده | Ruy J.G.B. de Queiroz (ed.) |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2003 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
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.
ترجمه فارسی (ترجمه ماشینی)
مطالعه اقدامات و فرآیندهای مبتنی بر اطلاعات برای چندین دهه رابط پر جنب و جوش بین منطق و علم کامپیوتر بوده است. فصول جداگانه این کتاب وضعیت هنر را در تحقیقات فعلی محاسبات فرآیند با دو پارادایم اصلی در کار نشان می دهد: منطق خطی و منطق مدال. با مشاهده با هم، فصلها همچنین اجمالی هیجانانگیز از ادغام آینده را با پیوندهای واضح از جمله منطقهای مدال برای نمودارهای اثبات، منطق مودال و خطی ادغام استنتاج برچسبگذاری شده، تئوری اثبات و نظریه مدل به فضاهای چو و معادلهای سبک شبیهسازی برای تحلیل فرآیندهای اثبات ارائه میدهند. ترکیبی از رویکردها و نشانگرها برای ادغام بیشتر نیز چشم انداز بزرگ تری را برای این زمینه نشان می دهد. در تئوری محاسبات کلاسیک، تز چرچ یک نیروی متحد کننده و محرک ارائه کرد. به همین ترتیب، نظریه فرآیند مدرن از ترکیبی که پارادایم هایی مانند منطق مدال، جبر فرآیند و منطق خطی را گرد هم می آورد، بسیار سود می برد. اگر این سنتز بزرگ قرار است اتفاق بیفتد، به کتاب هایی مانند این نیاز است!
این کتاب برای محققان علوم کامپیوتر، منطق ریاضی و منطق فلسفی است. این وضعیت هنر را در تحقیقات فعلی محاسبات فرآیند با دو پارادایم اصلی در کار نشان می دهد: منطق خطی و منطق مدال. ترکیبی از رویکردها و نشانگرها برای ادغام بیشتر نیز چشم انداز بزرگ تری را برای این زمینه نشان می دهد.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.