دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Gabriele Puppis (auth.)
سری: Lecture Notes in Computer Science 5955 : Lecture Notes in Artificial Intelligence
ISBN (شابک) : 9783642118807, 9783642118814
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2010
تعداد صفحات: 212
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
کلمات کلیدی مربوط به کتاب Automata برای شاخه بندی و ساختارهای زمانی لایه ای: بررسی قوانین سیستم های انتقال نامحدود: هوش مصنوعی (شامل رباتیک)، منطق و معانی برنامهها، مهندسی نرمافزار، منطق ریاضی و زبانهای رسمی، زبانهای برنامهنویسی، کامپایلرها، مترجمان، تحلیل الگوریتم و پیچیدگی مسائل
در صورت تبدیل فایل کتاب Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Automata برای شاخه بندی و ساختارهای زمانی لایه ای: بررسی قوانین سیستم های انتقال نامحدود نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
از سال 2002، FoLLI یک جایزه سالانه برای پایان نامه برجسته در زمینه های منطق، زبان و اطلاعات اعطا می کند. این کتاب بر اساس دکتری. پایان نامه گابریل پوپیس، که برنده جایزه پایان نامه E.W. Beth برای سال 2007 بود.
پایان نامه پوپیس بر منطق و محاسبات و به طور خاص، بر تکنیک های تصمیم پذیری مبتنی بر خودکار برای دانه بندی زمان و بر روی یک تمرکز دارد. روش جدید برای تصمیمگیری نظریههای مرتبه دوم مونادیک درختان. نتایج ارائه شده نشان دهنده گامی مهم به سوی درک بهتر تغییرات در سطوح دانه بندی است که انسان ها به راحتی در شناخت زمان، مکان و سایر پدیده ها ایجاد می کنند، در حالی که ساختار منطقی و محاسباتی آنها چالش های مفهومی و محاسباتی دشواری را ایجاد می کند.
Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the Ph.D. thesis of Gabriele Puppis, who was the winner of the E.W. Beth dissertation award for 2007.
Puppis' thesis focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a new method for deciding Monadic Second Order theories of trees. The results presented represent a significant step towards a better understanding of the changes in granularity levels that humans make so easily in cognition of time, space, and other phenomena, whereas their logical and computational structure poses difficult conceptual and computational challenges.
Front Matter....Pages -
Introduction....Pages 1-3
Word Automata and Time Granularities....Pages 5-88
Tree Automata and Logics....Pages 89-167
Summary....Pages 169-170
Back Matter....Pages -