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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Non-Well-Founded Sets

دانلود کتاب مجموعه های غیر مبتنی بر

مشخصات کتاب

Non-Well-Founded Sets

دسته بندی: منطق
ویرایش:  
نویسندگان: Peter Aczel  
سری: Center for the Study of Language and Information - CSLI Lecture Notes 14 
ISBN (شابک) : 0937073229, 9780937073223 
ناشر: CSLI Publications 
سال نشر: 1988 
تعداد صفحات: 159 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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

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

در صورت تبدیل فایل کتاب Non-Well-Founded Sets به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب مجموعه های غیر مبتنی بر

پیشگفتار از دیدگاه من، منطق ریاضی شاخه ای از کاربرد است ریاضیات این ریاضیات را برای مدل سازی و مطالعه مختلف به کار می برد انواع سیستم های نمادین: بدیهیات، برهان ها، برنامه ها، رایانه ها، یا افرادی که با هم صحبت می کنند و استدلال می کنند. این تنها دیدگاه است منطق ریاضی که شهود منطق دان را رعایت می کند که منطق واقعاً یک میدان است، نه فقط اتحاد چندین نامرتبط زمینه های. انتظار می رود که منطق، 88 شاخه ای از ریاضیات کاربردی، نه تنها از ابزارهای موجود از ریاضیات استفاده خواهد کرد، بلکه از آن نیز استفاده خواهد کرد منجر به ایجاد ابزارهای جدید ریاضی خواهد شد، ابزارهایی که ناشی از نیاز به مدل‌سازی برخی از پدیده‌های دنیای واقعی است نه تبلیغ به طور مساوی توسط ساختارهای ریاضی شناخته شده قبلی مدل شده است. تحلیل تورینگ از مفهوم الگوریتم با استفاده از تورینگ ماشین ها یک مثال واضح است. به این ترتیب با دست درازی و مطالعه فنمونای جدید، ریاضیات کاربردی به طور کلی، و به ویژه منطق ریاضی، نه تنها ریاضیات را غنی می کند با قضایای جدید، بلکه با ساختارهای جدید ریاضی، ساختارهایی برای مطالعه ریاضیدان و برای استفاده دیگران در حوزه های جدید تئوری مجموعه‌های دایره‌ای و غیرعادی قبل از ارسال شده در این کتاب نمونه ای عالی از این هم افزایی است روند. کار Aczel W88 با انگیزه کار رابین میلنر در مدلسازی فرآیندهای همزمان علوم کامپیوتر این حقیقت که این فرآیندها ذاتاً دایره ای هستند و آنها را ناخوشایند می کند مدل در نظریه مجموعه‌های سنتی، از آنجایی که اکثر ایده‌های ساده هستند با اصل مبنا مخالفت کنید. در نتیجه، خود میلنر درمان به شدت نحوی بود. هدف اولیه Aczel این بود که پیدا کند نسخه ای از نظریه مجموعه ها که در آن این پدیده های دایره ای می توانند باشند مدل سازی شده به روشی ساده و با استفاده از تکنیک های استاندارد از نظریه مجموعه ها این او را مجبور به ایجاد یک مفهوم جایگزین کرد مجموعه، مفهومی که در قلب این کتاب نهفته است. اکزل در فصل پایانی این کتاب به نقطه شروع خود باز می گردد. قبل از یادگیری کار Aczel، من با مشابه روبرو شده بودم مشکلات در کار من در نظریه موقعیت و وضعیت معنایی تیک ها به نظر می رسید که برای درک دانش رایج (یک ویژگی مهم ارتباط)، گزاره های دایره ای، متغیر ما جنبه های دانش ادراکی و خودآگاهی را داشتیم اعتراف به این که شرایطی وجود دارد که به خوبی قابل قبول نیستند این بدان معنی است که طبیعی ترین رابطه مسیر رسیدن به موقعیت‌های مدل‌سازی توسط اصل پایه مسدود شد یون. در نتیجه یا مجبور شدیم از ابزار نظریه مجموعه ها دست برداریم که در منطق ریاضی بسیار مورد علاقه هستند، یا مجبور بودیم غنی سازی کنیم مفهوم مجموعه، پیدا کردن مجموعه ای که مجموعه های دایره ای را بپذیرد، در کمترین. من بیش از یک سال قبل با این معضل دست و پنجه نرم کردم من برای حرکت دوم بحث کردم (Barwise 1986). در همین ساعت بود این نکته که Aczel از CSLI بازدید کرد و سمیناری را ارائه کرد که اساس این کتاب را تشکیل داد. از آن زمان، من چندین مورد را پیدا کردم کاربردهای تئوری مجموعه های Aczel، به دور از مشکلات است در علوم کامپیوتر که در اصل انگیزه Aczel بود. دیگران دارند به انجام کارهای جالب با ماهیت کاملاً ریاضی پرداخت کاوش در این جهان منبسط شده از مجموعه ها. من کاملاً مطمئن هستم که هنوز کارهای زیادی برای انجام دادن با این موضوع وجود دارد جهانی از مجموعه ها، در هر دو جبهه، که مسئله ریاضی وجود دارد مسائل حل شود و کاربردهای بیشتری پیدا شود. با این حال، یک مانع زبانی جدی برای این کار وجود دارد که از آن ناشی می شود تسلط مفهوم تجمعی مجموعه. همونطور که اونجا قبلاً در مورد اشاره به اعداد مختلط به عنوان شکایت بود اعداد، بنابراین ایراداتی برای ارجاع به غیر موجه وجود دارد مجموعه به عنوان مجموعه در حالی که این امر توجیه تاریخی روشنی دارد استفاده، اعتراض پابرجاست و توجه را از علاقه و اهمیت موضوع با این حال، من متقاعد شده ام که خوانندگان کسانی که به این کتاب بدون محدودیت از این مشکل زبانی برخورد می کنند لم به خاطر تلاششان پاداش زیادی دریافت می کند. این تئوری AFA در مورد مجموعه‌های بی‌پایه، نظریه‌ای زیبا و پر از قدرت است. برای ریاضیات و کاربردهای آن در سیستم های نمادین. من خوشحالم که نقش کوچکی را به عنوان مدیر CSLI بازی کردم در طول اقامت آکزل، در کمک به ایجاد این کتاب. جان بارویز

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

Foreword To my way of thinking, mathemtical logic is a branch of applied mathematics. It applies mathematics to model and study various sorts of symbolic systems: axioms, proofs, programs, computers, or people talking and reasoning together. This is the only view of mathematical logic which does justice to the logician's intuition that logic really is a field, not just the union of several unrelated fields. One expects that logic, 88 a branch of applied mathematics, will not only use existing tools from mathematics, but also that it will lead to the creation of new mathematical tools, tools that arise out of the need to model some real world phenomena not ad- equately modeled by previously known mathematical structures. Turing's analysis of the notion of algorithm by means of Turing machines is an obvious example. In this way, by reaching out and studying new pheonemona, applied mathematics in general, and mathematical logic in particular, enriches mathematics, not only with new theorems, but also with new mathematical structures, structures for the mathematician to study and for others to apply in new domains. The theory of circular and otherwise extra-ordinary sets pre- sented in this book is an excellent example of this synergistic process. Aczel's work W88 motivated by work of Robin Milner in computer science modeling concurrent processes. The fact that these processes are inherently circular makes them awkward to model in traditonal set theory, since most straightforward ideas run afoul of the axiom of foundation. As a result, Milner's own treatment was highly syntactic. Aczel's original aim was to find a version of set theory where these circular phenomena could be modeled in a straightforward way, using standard techniques from set theory. This forced him to develop an alternative conception of set, the conception that lies at the heart of this book. Aczel returns to his starting point in the final chapter of this book. Before learning of Aczel's work, I had run up against similar difficulties in my work in situation theory and situation seman- tics. It seemed that in order to understand common knowledge (a crucial feature of communication), circular propositions, vari- ous aspects of perceptual knowledge and self-awareness, we had to admit that there are situations that are not wellfounded under the "constituent of' relation. This meant that the most natural route to modeling situations was blocked by the axiom of founda- tion. As a result, we either had to give up the tools of set theory which are so well loved in mathematical logic, or we had to enrich the conception of set, finding one that admits of circular sets, at least. I wrestled with this dilemma for well over a year before I argued for the latter move in (Barwise 1986). It was at just this point that Aczel visited CSLI and gave the seminar which formed the basis of this book. Since then, I have found several applications of Aczel's set theory, far removed from the problems in computer science that originally motivated Aczel. Others have gone on to do interesting work of a strictly mathematical nature exploring this expanded universe of sets. I feel quite certain that there is still a lot to be done with this universe of sets, on both fronts, that there are mathematical prob- lems to be solved, and further applications to be found. However, there is a serious linguistic obstacle to this work, arising out of the dominance of the cumulative conception of set. Just as there used to be complaints about referring to complex numbers as numbers, so there are objections to referring to non-well-founded sets as sets. While there is clear historical justification for this usage, the objection persists and distracts from the interest and importance of the subject. However, I am convinced that readers who approach this book unencumbered by this linguistic prob- lem will find themselves amply rewarded for their effort. The AFA theory of non-well-founded sets is a beautiful one, full of po- tential for mathematics and its applications to symbolic systems. I am delighted to have played a small role, as Director of CSLI during Aczel's stay, in helping to bring this book into existence. JON BARWISE