برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Logic for Concurrency and Synchronisation

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

مشخصات کتاب

Logic for Concurrency and Synchronisation

دسته بندی: منطق
ویرایش:  
نویسندگان: Ruy J.G.B. de Queiroz (ed.)  
سری: Trends in Logic 18 
ISBN (شابک) : 1402012705, 9781402012709 
ناشر: Springer 
سال نشر: 2003 
تعداد صفحات: 308 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت

قیمت کتاب (تومان) : 31,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 24

در صورت تبدیل فایل کتاب Logic for Concurrency and Synchronisation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق برای همزمانی و همگام سازی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

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

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

توضیحاتی درمورد کتاب به خارجی

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! 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.

فهرست مطالب

Contents......Page 6
List of Figures......Page 12
List of Tables......Page 16
Foreword......Page 18
Preface......Page 20
Contributing Authors......Page 22
Part I From a Structural Perspective......Page 24
1 Geometry of Deduction via Graphs of Proofs......Page 26
1 Motivation......Page 27
2 The idea of studying proofs as geometric objects......Page 35
3 Proof-nets......Page 40
4 Logical flow graphs......Page 57
5 Multiple-conclusion classical calculi......Page 73
6 Finale......Page 93
1 Preface......Page 112
2 The trip translation......Page 116
3 Chu’s construction......Page 121
4 Proof-nets, trips and translations......Page 123
3 Two Paradigms of Logical Computation in Affine Logic?......Page 134
1 Introduction......Page 135
2 Sequent calculus of MAL + Mix......Page 142
3 Additive mix......Page 146
4 Proof-nets for MAL + Mix......Page 149
5 Cut-elimination modulo irrelevance......Page 161
6 Symmetric reductions require Mix......Page 164
4 Proof Systems for π-Calculus Logics......Page 168
1 Introduction......Page 169
2 Preliminaries on the π-calculus......Page 171
3 A π-μ-calculus......Page 176
4 Example specifications......Page 182
5 Proof system, modal fragment......Page 185
6 Soundness and completeness for the modal fragment......Page 202
7 Proof rules for recursive formulas......Page 203
8 Finite control completeness......Page 211
9 Natural numbers......Page 215
10 Buffers......Page 217
11 Conclusion......Page 219
Part II From a Descriptive Perspective......Page 236
1 Introduction......Page 238
2 Kripke structures......Page 239
3 Temporal logic model checking......Page 241
4 Symbolic model checking......Page 248
5 Conclusion......Page 256
1 Introduction......Page 262
2 Finite directed graphs......Page 264
3 Finite acyclic directed graphs......Page 267
5 Loopless undirected graphs......Page 280
6 Modal definability......Page 281
7 κ-Colourable graphs......Page 284
8 Conclusions......Page 289
1 Introduction......Page 292
2 Background......Page 293
3 Caucal’s hierarchy......Page 297
4 Richer logics......Page 299
5 Finite model theory......Page 301