دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic and automata: History and perspectives
دانلود کتاب منطق و اتومات: تاریخچه و چشم اندازها
مشخصات کتاب
Logic and automata: History and perspectives
ویرایش: نویسندگان: Flum. Jörg, Grädel. Erich, Wilke. Thomas (eds.) سری: Texts in logic and games 2 ISBN (شابک) : 9789053565766 ناشر: Amsterdam University Press سال نشر: 2008 تعداد صفحات: 736 [737] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 50,000
در صورت تبدیل فایل کتاب 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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Executive Decisionmaking Process: Identifying Problems and Assessing Outcomes
دانلود کتاب Nachhaltige Entwicklung durch Qualität: Konzepte, Aufbau, Optimierung von Qualitätsmanagement für Unternehmen und Regionen
دانلود کتاب Trade in the Ancient Mediterranean: Private Order and Public Institutions (The Princeton Economic History of the Western World (89))
دانلود کتاب Re-Visioning Public Health Approaches for Protecting Children
