دانلود کتاب Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems
36,000 تومان
اتومات برای انشعاب و ساختارهای زمانی لایه ای: تحقیقی در مورد نظم سیستم های انتقال بی نهایت
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 206 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3642118801,9783642118807 |
| نوبت چاپ | 1 |
| نویسنده | |
|---|---|
| زبان |
انگلیسی |
| فرمت |
|
| سال انتشار |
2010 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
اتومات برای انشعاب و ساختارهای زمانی لایه ای: تحقیقی در مورد نظم سیستم های انتقال بی نهایت
از سال 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.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2019 International Workshops, DPM 2019 and CBT 2019, Luxembourg, September 26–27, 2019, Proceedings
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer International Publishing |
| تعداد صفحه | 404 |
| حجم فایل | 22.75 مگابایت |
| کد کتاب | 3030315002 , 9783030315009 |
| نوبت چاپ | ویرایش اول. 2019 |
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.