دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theoretische Informatik: Petri-Netze
دانلود کتاب علوم کامپیوتر نظری: شبکه های پتری
مشخصات کتاب
Theoretische Informatik: Petri-Netze
ویرایش: نویسندگان: Prof. Dr. Lutz Priese, Dr. Harro Wimmel (auth.) سری: Springer-Lehrbuch ISBN (شابک) : 9783540442899, 9783662104279 ناشر: Springer Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 377 زبان: German فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 14 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب علوم کامپیوتر نظری: شبکه های پتری: منطق ریاضی و زبان های رسمی، تجزیه و تحلیل الگوریتم و پیچیدگی مسئله، محاسبات با دستگاه های انتزاعی، ریاضیات محاسبات، منطق و مبانی ریاضی، ترکیبیات
در صورت تبدیل فایل کتاب Theoretische Informatik: Petri-Netze به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب علوم کامپیوتر نظری: شبکه های پتری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب علوم کامپیوتر نظری: شبکه های پتری
شبکه های پتری به طور گسترده شناخته شده ترین و مطالعه شده ترین مدل برای محاسبات همزمان و موازی هستند. در این کتاب درسی، برای اولین بار، نتایج متعددی از ادبیات اصلی در مورد غیرممکن‌ها، امکان‌ها و پیچیدگی ابزار بیان شبکه‌های پتری به صورت آموزشی پردازش شده و به تفصیل در اختیار مخاطبان وسیع‌تری قرار می‌گیرد. تمام تکنیک ها و اصطلاحات ریاضی لازم برای اثبات توضیح داده شده است. هدف این کتاب دانش آموزان و معلمان و محققان است. علاوه بر ارائه اصطلاحات اساسی و ارتباطات آنها، محتوا به طور خاص بر روی الگوریتمی برای سؤال دسترسی، بیان شرایط محاسباتی مختلف، سؤالات انتخاب شده در مورد تصمیم پذیری و پیچیدگی، و همچنین معناشناسی شبکه پتری با استفاده از زبان ها تمرکز دارد. و مجموعه های جزئی مرتب شده و خصوصیات جبری آنها.
توضیحاتی درمورد کتاب به خارجی
Petri-Netze sind das meist beachtete und am besten untersuchte Modell f?r nebenl?ufige, parallele Rechnungen. In diesem Lehrbuch werden zum ersten Mal zahlreich Resultate der Originalliteratur ?ber Unm?glichkeiten, M?glichkeiten und die Komplexit?t der Ausdrucksmittel von Petri-Netzen didaktisch aufgearbeitet und im Detail einer breiteren Leserschaft vorgestellt. Alle f?r die Beweise notwendigen Techniken und mathematischen Begriffe werden erl?utert. Damit wendet sich das Buch sowohl an Studierende als auch an Lehrende und Forscher. Der Inhalt konzentriert sich neben einer Darstellung der Grundbegriffe und deren Zusammenh?nge insbesondere auf einen Algorithmus f?r die Erreichbarkeitsfrage, die Ausdrucksf?higkeit verschiedener Berechnungsbegriffe, ausgew?hlte Fragen zur Entscheidbarkeit und Komplexit?t, sowie Petri-Netz Semantiken mittels Sprachen und partiell geordneten Mengen und deren algebraische Charakterisierung.
فهرست مطالب
Front Matter....Pages I-IX
Einleitung....Pages 1-26
Mathematische Grundlagen....Pages 27-46
Front Matter....Pages 47-47
Grundlegende Eigenschaften....Pages 49-91
Die Entscheidbarkeit des Erreichbarkeitsproblems....Pages 93-118
Berechenbarkeit, Erreichbarkeit, Erzeugbarkeit....Pages 119-188
Petri-Netz-Sprachen....Pages 189-241
Front Matter....Pages 243-243
Pomset- und Stepsprachen....Pages 245-292
Algebraische Charakterisierungen....Pages 293-341
Back Matter....Pages 343-376
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Gruppen Von Linearen Transformationen - Ergebnisse Der Mathematik Und Ihrer Grenzegebiete
دانلود کتاب Meta Math - The Quest for Omega
دانلود کتاب Between Time and Space
