دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب An Introduction to the Technique of Formative Processes in Set Theory
دانلود کتاب مقدمه ای بر تکنیک فرآیندهای تکوینی در نظریه مجموعه ها
مشخصات کتاب
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 مگابایت
قیمت کتاب (تومان) : 47,000
در صورت تبدیل فایل کتاب 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
