مشخصات کتاب

An Introduction to the Technique of Formative Processes in Set Theory

ویرایش:  
نویسندگان: Domenico Cantone. Pietro Ursino  
سری:  
ISBN (شابک) : 9783319747781 
ناشر: Springer 
سال نشر: 2018 
تعداد صفحات: 157 
زبان: english 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

در صورت تبدیل فایل کتاب An Introduction to the Technique of Formative Processes in Set Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب مقدمه ای بر تکنیک فرآیندهای تکوینی در نظریه مجموعه ها

این کتاب یک رویکرد تصویر محور بصری به تکنیک فرآیندهای شکل‌گیری و کاربردهای آن ارائه می‌کند. در بخش اول، نویسندگان اصطلاحات و ویژگی‌های نظری مجموعه‌ها، مسئله تصمیم‌گیری در نظریه مجموعه‌ها و فرآیندهای شکل‌دهنده را معرفی می‌کنند. بخش دوم کتاب به کاربردهای تکنیک فرآیندهای تکوینی در مسائل تصمیم گیری اختصاص دارد. تمام فصول شامل تمرینات است و کتاب مناسب برای محققین و دانشجویان تحصیلات تکمیلی در زمینه منطق علوم کامپیوتر می باشد.

توضیحاتی درمورد کتاب به خارجی

This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications. In the first part the authors introduce basic set-theoretic terminology and properties, the decision problem in set theory, and formative processes. The second part of the book is devoted to applications of the technique of formative processes to decision problems. All chapters contain exercises and the book is appropriate for researchers and graduate students in the area of computer science logic.

فهرست مطالب

Front Matter ....Pages i-xii
Front Matter ....Pages 1-1
 Basics of Set Theory  (Domenico Cantone, Pietro Ursino)....Pages 3-20
 The Decision Problem in Set Theory  (Domenico Cantone, Pietro Ursino)....Pages 21-58
 Formative Processes  (Domenico Cantone, Pietro Ursino)....Pages 59-92
Front Matter ....Pages 93-93
 Decidability of MLSSP  (Domenico Cantone, Pietro Ursino)....Pages 95-112
 Decidability of MLSSPF  (Domenico Cantone, Pietro Ursino)....Pages 113-143
Back Matter ....Pages 145-154

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

کتاب های تصادفی

دانلود کتاب Wie schreibe ich meine Erinnerungen? Memoiren schreiben - aber richtig!

دانلود کتاب The illustrated easy way to stop smoking : a smoker's guide to just how easy it is to quit

دانلود کتاب Metadata and Semantic Research: 5th International Conference, MTSR 2011, Izmir, Turkey, October 12-14, 2011. Proceedings

دانلود کتاب The Idea of Hegel’s "Science of Logic"

دانلود کتاب Difficult Decisions in Endocrine Surgery: An Evidence-Based Approach