دانلود کتاب Rudiments of μ-Calculus
49,000 تومان
مبانی μ-حساب
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | North Holland |
| تعداد صفحه | 297 |
| حجم فایل | 12 مگابایت |
| کد کتاب | 9780444506207,0444506209 |
| نوبت چاپ | 1 |
| نویسنده | A. Arnold, D. Niwinski |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2001 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
مبانی μ-حساب
این کتاب آنچه را که به نظر ما مبنای تئوری mu-calculus را تشکیل میدهد، ارائه میکند که بهجای منطق، به عنوان یک سیستم جبری در نظر گرفته میشود. ما می خواستیم موضوع را به صورت یکپارچه و به شکلی تا حد امکان عمومی ارائه کنیم. بنابراین، تأکید ما بر کلیت نماد نقطه ثابت، و بر روی ارتباط بین mu-calculus، بازیها و خودکارها است که به روش جبری نیز توضیح میدهیم. این کتاب باید برای دانشجویان کارشناسی ارشد یا پیشرفته هم در ریاضیات و هم در علوم کامپیوتر قابل دسترسی باشد. ما این کتاب را بهویژه برای محققان و دانشجویان علاقهمند به منطق در علوم کامپیوتر، تأیید به کمک رایانه و جنبههای کلی نظریه اتوماتا طراحی کردهایم. هدف ما جمعآوری نتایج بنیادی این نظریه در یک مکان واحد است که در حال حاضر در ادبیات بسیار پراکنده است و اغلب برای خوانندگان علاقهمند به سختی قابل دسترسی است. ارائه مستقل است، به جز اثبات قضیه تعیین مک ناتون (به عنوان مثال، [97] را ببینید. با این حال، ما فرض می کنیم که خواننده از قبل با برخی از نظریه های اولیه اتوماتا و جبر جهانی آشنا است. منابع، اعتبارات. و پیشنهاداتی برای مطالعه بیشتر در پایان هر فصل ارائه شده است.<br
Rudiments of μ-Calculus
This book presents what in our opinion constitutes the basis of the theory of the mu-calculus, considered as an algebraic system rather than a logic. We have wished to present the subject in a unified way, and in a form as general as possible. Therefore, our emphasis is on the generality of the fixed-point notation, and on the connections between mu-calculus, games, and automata, which we also explain in an algebraic way. This book should be accessible for graduate or advanced undergraduate students both in mathematics and computer science. We have designed this book especially for researchers and students interested in logic in computer science, comuter aided verification, and general aspects of automata theory. We have aimed at gathering in a single place the fundamental results of the theory, that are currently very scattered in the literature, and often hardly accessible for interested readers. The presentation is self-contained, except for the proof of the Mc-Naughton’s Determinization Theorem (see, e.g., [97]. However, we suppose that the reader is already familiar with some basic automata theory and universal algebra. The references, credits, and suggestions for further reading are given at the end of each chapter.<br
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.