ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems

دانلود کتاب Automata برای شاخه بندی و ساختارهای زمانی لایه ای: بررسی قوانین سیستم های انتقال نامحدود

Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems

مشخصات کتاب

Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems

ویرایش: 1 
نویسندگان:   
سری: 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 مگابایت 

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



کلمات کلیدی مربوط به کتاب Automata برای شاخه بندی و ساختارهای زمانی لایه ای: بررسی قوانین سیستم های انتقال نامحدود: هوش مصنوعی (شامل رباتیک)، منطق و معانی برنامه‌ها، مهندسی نرم‌افزار، منطق ریاضی و زبان‌های رسمی، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، تحلیل الگوریتم و پیچیدگی مسائل



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب 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 -




نظرات کاربران