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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Logic and Automata: History and Perspectives

دانلود کتاب منطق و خودکار: تاریخچه و دیدگاه ها

مشخصات کتاب

Logic and Automata: History and Perspectives

دسته بندی: منطق
ویرایش:  
نویسندگان: Jorg Flum,  Erich Gradel,  Thomas Wilke  
سری: Texts in Logic and Games, Volume 2 
ISBN (شابک) : 9789048501281, 9053565760 
ناشر: Amsterdam University Press 
سال نشر: 2008 
تعداد صفحات: 737 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد

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

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

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

توضیحاتی در مورد کتاب منطق و خودکار: تاریخچه و دیدگاه ها

منطق ریاضی و نظریه اتوماتا دو رشته علمی هستند که اساساً رابطه نزدیکی دارند. نویسندگان Logic and Automata به مناسبت شصتمین سالگرد تولد ولفگانگ توماس به ارائه توری از افق تئوری و منطق اتوماتا می پردازند. بیست مقاله در این مجلد جنبه‌های مختلف منطق و نظریه خودکار را پوشش می‌دهد و بر ارتباط با رشته‌های دیگر مانند بازی‌ها، الگوریتم‌ها و نظریه نیمه‌گروهی تاکید می‌کند و همچنین چالش‌های فعلی در این زمینه را مورد بحث قرار می‌دهد.

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

Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d’horizon of automata theory and logic. The twenty papers in this volume cover many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field.

فهرست مطالب

Table of Contents......Page 6

Preface......Page 8

1. On the topological complexity of tree languages......Page 10

2. Nonederministic controllers of nondeterministic preocesses......Page 30

3. Reachability in continuous-time Markov reward decision processes......Page 54

4. Logical theories and compatible operations......Page 74

5. Forest algebras......Page 108

6. Automata and semigroups recognizing infinite words......Page 134

7. Deterministic graph grammars......Page 170

8. Quantifier-free definable graph opreations preserving recognizability......Page 252

9. First-order definable languages......Page 262

10. Matrix-based complexity functions and recognizable picture languages......Page 308

11. Apllying Blackwell optimality: priority mean-payoff games as limits of multi-discounted games......Page 332

12. Logic, graphs and algorithms......Page 358

13. Non-regular fixed-points logics and games......Page 424

14. The universal automaton......Page 458

15. Deterministic top-down tree automata: past, present, and future......Page 506

16. Expressive power of monadic logics on words, trees, pictures and graphs......Page 532

17. Structured strategies in games on graphs......Page 554

18. Counting in trees......Page 576

19. Modular quantifiers......Page 614

20. Automata: from logics to algorithms......Page 630