دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity
دانلود کتاب روش‌های نظری مجموعه‌های توصیفی در نظریه اتوماتا: تصمیم‌پذیری و پیچیدگی توپولوژیکی
مشخصات کتاب
Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity
ویرایش: 1
نویسندگان: Michał Skrzypczak (auth.)
سری: Lecture Notes in Computer Science 9802
ISBN (شابک) : 9783662529478, 9783662529461
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2016
تعداد صفحات: 212
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 28,000
کلمات کلیدی مربوط به کتاب روش‌های نظری مجموعه‌های توصیفی در نظریه اتوماتا: تصمیم‌پذیری و پیچیدگی توپولوژیکی: منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، محاسبات با دستگاه های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، ریاضیات گسسته در علوم کامپیوتر، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش‌های نظری مجموعه‌های توصیفی در نظریه اتوماتا: تصمیم‌پذیری و پیچیدگی توپولوژیکی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش‌های نظری مجموعه‌های توصیفی در نظریه اتوماتا: تصمیم‌پذیری و پیچیدگی توپولوژیکی
این کتاب بر اساس پایان‌نامه دکتری «روش‌های نظری مجموعه‌های
توصیفی در تئوری خودکار» است که در سال ۲۰۱۵ جایزه E.W. Beth را
برای پایان‌نامه‌های برجسته در زمینه‌های منطق، زبان و اطلاعات
دریافت کرد. این پایان‌نامه ارتباطات غیرمنتظره‌ای را بین
مفاهیم پیشرفته در منطق، نظریه مجموعه‌های توصیفی، توپولوژی و
نظریه خودکار نشان می‌دهد و بینش عمیق بسیاری را در مورد تعامل
بین این زمینه‌ها ارائه می‌دهد. این دیدگاه‌های جدیدی را در
مورد مسائل محوری در نظریه اتومات روی کلمات و درختان بی‌نهایت
باز می‌کند و پیشرفت‌های بسیار چشمگیری را در این نظریه از نقطه
نظر توپولوژی ارائه می‌دهد.
\"…تز Michał Skrzypczak قطعاً آنچه را که ما از ریاضیات عالی انتظار داریم ارائه می دهد: ارتباطات غیرمنتظره جدید بین مفاهیم متمایز پیشینی، و اثبات هایی که شامل ایده های روشنگرانه است. توماس کولکام.
توضیحاتی درمورد کتاب به خارجی
The book is based on the PhD thesis “Descriptive Set
Theoretic Methods in Automata Theory,” awarded the E.W. Beth
Prize in 2015 for outstanding dissertations in the fields of
logic, language, and information. The thesis reveals
unexpected connections between advanced concepts in logic,
descriptive set theory, topology, and automata theory and
provides many deep insights into the interplay between these
fields. It opens new perspectives on central problems in the
theory of automata on infinite words and trees and offers
very impressive advances in this theory from the point of
view of topology.
"…the thesis of Michał Skrzypczak offers certainly what we expect from excellent mathematics: new unexpected connections between a priori distinct concepts, and proofs involving enlightening ideas.” Thomas Colcombet.
فهرست مطالب
Front Matter....Pages I-XIII
Basic Notions....Pages 1-26
Front Matter....Pages 27-27
Introduction....Pages 29-36
Collapse for Unambiguous Automata....Pages 37-43
When a Büchi Language Is Definable in wmso ....Pages 45-69
Index Problems for Game Automata....Pages 71-89
Front Matter....Pages 91-91
When a Thin Language Is Definable in wmso ....Pages 93-119
Recognition by Thin Algebras....Pages 121-135
Uniformization on Thin Trees....Pages 137-156
Front Matter....Pages 157-157
Descriptive Complexity of mso+u ....Pages 159-171
Undecidability of mso+u ....Pages 173-181
Separation for \(\omega \mathrm {B}\) - and \(\omega \mathrm {S}\) -regular Languages....Pages 183-203
Conclusions....Pages 205-206
Back Matter....Pages 207-211
